title: NGTS-28Ab: A short period transiting brown dwarf

abstract: We report the discovery of a brown dwarf orbiting a M1 host star. We first identified the brown dwarf within the Next Generation Transit Survey data, with supporting observations found in TESS sectors 11 and 38. We confirmed the discovery with follow-up photometry from the South African Astronomical Observatory, SPECULOOS-S, and TRAPPIST-S, and radial velocity measurements from HARPS, which allowed us to characterise the system. We find an orbital period of ~1.25 d, a mass of 69.0+5.3-4.8 MJ, close to the Hydrogen burning limit, and a radius of 0.95 +- 0.05 RJ. We determine the age to be >0.5 Gyr, using model isochrones, which is found to be in agreement with SED fitting within errors. NGTS-28Ab is one of the shortest period systems found within the brown dwarf desert, as well as one of the highest mass brown dwarfs that transits an M dwarf. This makes NGTS-28Ab another important discovery within this scarcely populated region.


title: Loopy-SLAM: Dense Neural SLAM with Loop Closures

abstract: Neural RGBD SLAM techniques have shown promise in dense Simultaneous Localization And Mapping (SLAM), yet face challenges such as error accumulation during camera tracking resulting in distorted maps. In response, we introduce Loopy-SLAM that globally optimizes poses and the dense 3D model. We use frame-to-model tracking using a data-driven point-based submap generation method and trigger loop closures online by performing global place recognition. Robust pose graph optimization is used to rigidly align the local submaps. As our representation is point based, map corrections can be performed efficiently without the need to store the entire history of input frames used for mapping as typically required by methods employing a grid based mapping structure. Evaluation on the synthetic Replica and real-world TUM-RGBD and ScanNet datasets demonstrate competitive or superior performance in tracking, mapping, and rendering accuracy when compared to existing dense neural RGBD SLAM methods. Project page: notchla.github.io/Loopy-SLAM.


title: Probing $Ca_3Ti_2O_7$ crystal structure at the atomic level: Insights from $^{111m}Cd/^{111}Cd$ PAC spectroscopy and ab-initio studies

abstract: Perturbed angular correlation spectroscopy combined with $ab-initio$ electronic structure calculations is used to unravel the structural phase transition path from the low-temperature polar structure to the high-temperature structural phase in $Ca_3Ti_2O_7$, a hybrid improper ferroelectric. This procedure explores the unique features of a local probe environment approach by monitoring the evolution of the electric field gradient tensor at the calcium sites. The local environments, observed above 1057 K, confirm a structural phase transition from the $A2_1am$ symmetry to an orthorhombic $Acaa$ symmetry in the $Ca_3Ti_2O_7$ crystal lattice, disagreeing with the frequently reported avalanche structural transition from the polar $A2_1am$ phase to the aristotype $I4/mmm$ phase. Moreover, the EFG temperature dependency, within the $A2_1am$ temperature stability, is shown to be sensitive to the recently proposed $Ca_3Ti_2O_7$ ferroelectric polarization decrease within the 500-800~K temperature range.


title: What can we learn from nonequilibrium response of a strange metal?

abstract: We critically address the recent experiment [Science 382, 907 (2023)] on nonequilibrium transport and noise in a strange metal YbRh2Si2 patterned into the nanowire shape. In the long device, resistivity, differential resistance and current noise data seem to be consistent allowing us to extract electron-phonon coupling and the temperature dependence of electron-phonon scattering length. The obtained values can be reconciled with the experimental data for the short device only assuming the significant contact resistance. We discuss its possible origin as due to the current redistribution between YbRh2Si2 and its gold covering, and reveal that this redistribution contact resistance should be proportional to the YbRh2Si2 resistivity. We also discuss some subtleties of the noise measurements. Overall, neglecting electron-phonon energy relaxation even in the shortest devices is arguable so that the observed shot noise suppression can hardly be attributed to the failure of quasiparticle concept.


title: Explaining Probabilistic Models with Distributional Values

abstract: A large branch of explainable machine learning is grounded in cooperative game theory. However, research indicates that game-theoretic explanations may mislead or be hard to interpret. We argue that often there is a critical mismatch between what one wishes to explain (e.g. the output of a classifier) and what current methods such as SHAP explain (e.g. the scalar probability of a class). This paper addresses such gap for probabilistic models by generalising cooperative games and value operators. We introduce the distributional values, random variables that track changes in the model output (e.g. flipping of the predicted class) and derive their analytic expressions for games with Gaussian, Bernoulli and Categorical payoffs. We further establish several characterising properties, and show that our framework provides fine-grained and insightful explanations with case studies on vision and language models.


title: Neural 5G Indoor Localization with IMU Supervision

abstract: Radio signals are well suited for user localization because they are ubiquitous, can operate in the dark and maintain privacy. Many prior works learn mappings between channel state information (CSI) and position fully-supervised. However, that approach relies on position labels which are very expensive to acquire. In this work, this requirement is relaxed by using pseudo-labels during deployment, which are calculated from an inertial measurement unit (IMU). We propose practical algorithms for IMU double integration and training of the localization system. We show decimeter-level accuracy on simulated and challenging real data of 5G measurements. Our IMU-supervised method performs similarly to fully-supervised, but requires much less effort to deploy.


title: Multi-word Tokenization for Sequence Compression

abstract: Large Language Models have proven highly successful at modelling a variety of tasks. However, this comes at a steep computational cost that hinders wider industrial uptake. In this paper, we present MWT: a Multi-Word Tokenizer that goes beyond word boundaries by representing frequent multi-word expressions as single tokens. MWTs produce a more compact and efficient tokenization that yields two benefits: (1) Increase in performance due to a greater coverage of input data given a fixed sequence length budget; (2) Faster and lighter inference due to the ability to reduce the sequence length with negligible drops in performance. Our results show that MWT is more robust across shorter sequence lengths, thus allowing for major speedups via early sequence truncation.


title: A convenient setting for infinite-dimensional analysis

abstract: In this work, we propose a convenient framework for infinite-dimensional analysis (including real and complex analysis), in which differentiation (in some weak sense) and integration operations can be easily performed, integration by parts can be conveniently established under rather weak conditions, and especially some nice properties and consequences obtained by convolution in Euclidean spaces can be extended to infinite-dimensional spaces in some sense by taking the limit. Compared to the existing tools in infinite-dimensional analysis, our framework enjoys more convenient and clearer links with that of finite dimensions, and hence it is more suitable for computation and studying some analysis problems in infinite-dimensional spaces.


title: Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality

abstract: We investigate the `local consistency implies global consistency' principle of strict width among structures within the scope of the Bodirsky-Pinsker dichotomy conjecture for infinite-domain Constraint Satisfaction Problems (CSPs). Our main result implies that for certain CSP templates within the scope of that conjecture, having bounded strict width has a concrete consequence on the expressive power of the template called implicational simplicity. This in turn yields an explicit bound on the relational width of the CSP, i.e., the amount of local consistency needed to ensure the satisfiability of any instance. Our result applies to first-order expansions of any homogeneous $k$-uniform hypergraph, but more generally to any CSP template under the assumption of finite duality and general abstract conditions mainly on its automorphism group. In particular, it overcomes the restriction to binary signatures in the pioneering work of Wrona.


title: NSI effects on tripartite entanglement in neutrino oscillations

abstract: In this study, we investigate the impact of new physics on different measures of tripartite entanglement within the context of three-flavor neutrino oscillations. These measures encompass concurrence, entanglement of formation, and negativity. We analyze the influence of new physics on these measures across a range of experimental setups involving both reactors and accelerators. Reactor experiments under consideration include Daya Bay, JUNO, and KamLAND setups, while accelerator experiments encompass T2K, MINOS, and DUNE. Our analysis reveals that accelerator experiments demonstrate greater sensitivity to NSI, with the most pronounced impact observed in the DUNE experiment. Negativity, while a weaker metric compared to EOF and concurrence, exhibits maximal sensitivity to NSI effects, particularly evident when neutrinos possess moderate to high energies. Conversely, reactor experiments demonstrate less sensitivity to NSI, with concurrence and EOF displaying more prominent effects.


title: Evaluation of the effectiveness of sonification for time series data exploration

abstract: Astronomy is a discipline primarily reliant on visual data. However, alternative data representation techniques are being explored, in particular ''sonification'', namely, the representation of data into sound. While there is increasing interest in the astronomical community in using sonification in research and educational contexts, its full potential is still to be explored. This study measured the performance of astronomers and non-astronomers to detect a transit-like feature in time series data (i.e., light curves), that were represented visually or auditorily, adopting different data-to-sound mappings. We also assessed the bias that participants exhibited in the different conditions. We simulated the data of 160 light curves with different signal-to-noise ratios (SNR). We represented them as visual plots or auditory streams with different sound parameters to represent brightness: pitch, duration, or the redundant duration & pitch. We asked the participants to identify the presence of transit-like features in these four conditions in a session that included an equal number of stimuli with and without transit-like features. With auditory stimuli, participants detected transits with performances above the chance level. However, visual stimuli led to overall better performances compared to auditory stimuli and astronomers outperformed non-astronomers. Visualisations led to a conservative response bias (reluctance to answer ''yes, there is a transit''), whereas sonifications led to more liberal responses (proneness to respond ''yes, there is a transit''). Overall, this study contributes to understanding how different representations (visual or auditory) and sound mappings (pitch, duration, duration & pitch) of time series data affect detection accuracy and biases.


title: Crafting a Good Prompt or Providing Exemplary Dialogues? A Study of In-Context Learning for Persona-based Dialogue Generation

abstract: Previous in-context learning (ICL) research has focused on tasks such as classification, machine translation, text2table, etc., while studies on whether ICL can improve human-like dialogue generation are scarce. Our work fills this gap by systematically investigating the ICL capabilities of large language models (LLMs) in persona-based dialogue generation, conducting extensive experiments on high-quality real human Chinese dialogue datasets. From experimental results, we draw three conclusions: 1) adjusting prompt instructions is the most direct, effective, and economical way to improve generation quality; 2) randomly retrieving demonstrations (demos) achieves the best results, possibly due to the greater diversity and the amount of effective information; counter-intuitively, retrieving demos with a context identical to the query performs the worst; 3) even when we destroy the multi-turn associations and single-turn semantics in the demos, increasing the number of demos still improves dialogue performance, proving that LLMs can learn from corrupted dialogue demos. Previous explanations of the ICL mechanism, such as $n$-gram induction head, cannot fully account for this phenomenon.


title: Ad interim recommendations for the Higgs boson production cross sections at $\sqrt{s} = 13.6$ TeV

abstract: This note documents predictions for the inclusive production cross sections of the Standard Model Higgs boson at the Large Hadron Collider at a centre of mass energy of 13.6 TeV. The predictions here are based on simple extrapolations of previously documented predictions published in the CERN Yellow Report "Deciphering the Nature of the Higgs Sector". The predictions documented in this note should serve as a reference while a more complete and update-to-date derivation of cross section predictions is in progress.


title: A Quantum Approach to News Verification from the Perspective of a News Aggregator

abstract: In the dynamic landscape of digital information, the rise of misinformation and fake news presents a pressing challenge. This paper takes a completely new approach to verifying news, inspired by how quantum actors can reach agreement even when they are spatially spread out. We propose a radically new, to the best of our knowledge, algorithm that uses quantum ``entanglement'' (think of it as a special connection) to help news aggregators sniff out bad actors, whether they be other news sources or even fact-checkers trying to spread misinformation. This algorithm doesn't rely on quantum signatures, it just uses basic quantum technology we already have, in particular, special pairs of particles called ``EPR pairs'' that are much easier to create than other options. More complex entangled states are like juggling too many balls - they're hard to make and slow things down, especially when many players are involved. For instance, bigger, more complex states like ``GHZ states'' work for small groups, but they become messy with larger numbers. So, we stick with Bell states, the simplest form of entanglement, which are easy to generate no matter how many players are in the game. This means our algorithm is faster to set up, works for any number of participants, and is more practical for real-world use. Bonus points: it finishes in a fixed number of steps, regardless of how many players are involved, making it even more scalable. This new approach may lead to a powerful and efficient way to fight misinformation in the digital age, using the weird and wonderful world of quantum mechanics.


title: On Designing Features for Condition Monitoring of Rotating Machines

abstract: Various methods for designing input features have been proposed for fault recognition in rotating machines using one-dimensional raw sensor data. The available methods are complex, rely on empirical approaches, and may differ depending on the condition monitoring data used. Therefore, this article proposes a novel algorithm to design input features that unifies the feature extraction process for different time-series sensor data. This new insight for designing/extracting input features is obtained through the lens of histogram theory. The proposed algorithm extracts discriminative input features, which are suitable for a simple classifier to deep neural network-based classifiers. The designed input features are given as input to the classifier with end-to-end training in a single framework for machine conditions recognition. The proposed scheme has been validated through three real-time datasets: a) acoustic dataset, b) CWRU vibration dataset, and c) IMS vibration dataset. The real-time results and comparative study show the effectiveness of the proposed scheme for the prediction of the machine's health states.


title: Optimal design of fast topological pumping

abstract: Utilizing synthetic dimensions generated by spatial or temporal modulation, topological pumping enables the exploration of higher-dimensional topological phenomena through lower-dimensional physical systems. In this letter, we propose a rational design paradigm of fast topological pumping based on 1D and 2D time-modulated discrete elastic lattices for the first time. Firstly, the realization of topological pumping is ensured by introducing quantitative indicators to drive a transition of the edge or corner state in the lattice spectrum. Meanwhile, with the help of limiting speed for adiabaticity to calculate the modulation time, a mathematical formulation of designing topological pumping with the fastest modulation speed is presented. By applying the proposed design paradigm, topological edge-bulk-edge and corner-bulk-corner energy transport are successfully achieved, with 11.2 and 4.0 times of improvement in modulation speed compared to classical pumping systems in the literature. In addition, applying to 1D and 2D space-modulated systems, the optimized modulation schemes can reduce the number of stacks to 5.3% and 26.8% of the classical systems while ensuring highly concentrated energy transport. This design paradigm is expected to be extended to the rational design of fast topological pumping in other physical fields.


title: LLM-based Federated Recommendation

abstract: Large Language Models (LLMs), with their advanced contextual understanding abilities, have demonstrated considerable potential in enhancing recommendation systems via fine-tuning methods. However, fine-tuning requires users' behavior data, which poses considerable privacy risks due to the incorporation of sensitive user information. The unintended disclosure of such data could infringe upon data protection laws and give rise to ethical issues. To mitigate these privacy issues, Federated Learning for Recommendation (Fed4Rec) has emerged as a promising approach. Nevertheless, applying Fed4Rec to LLM-based recommendation presents two main challenges: first, an increase in the imbalance of performance across clients, affecting the system's efficiency over time, and second, a high demand on clients' computational and storage resources for local training and inference of LLMs. To address these challenges, we introduce a Privacy-Preserving LLM-based Recommendation (PPLR) framework. The PPLR framework employs two primary strategies. First, it implements a dynamic balance strategy, which involves the design of dynamic parameter aggregation and adjustment of learning speed for different clients during the training phase, to ensure relatively balanced performance across all clients. Second, PPLR adopts a flexible storage strategy, selectively retaining certain sensitive layers of the language model on the client side while offloading non-sensitive layers to the server. This approach aims to preserve user privacy while efficiently saving computational and storage resources. Experimental results demonstrate that PPLR not only achieves a balanced performance among clients but also enhances overall system performance in a manner that is both computationally and storage-efficient, while effectively protecting user privacy.


title: Rationality of extended unipotent characters

abstract: We determine the rationality properties of unipotent characters of finite reductive groups arising as fixed points of disconnected reductive groups under a Frobenius map. In the proof we use realisations of characters in $\ell$-adic cohomology groups of Deligne--Lusztig varieties as well as block theoretic considerations.


title: Enhancing Courier Scheduling in Crowdsourced Last-Mile Delivery through Dynamic Shift Extensions: A Deep Reinforcement Learning Approach

abstract: Crowdsourced delivery platforms face complex scheduling challenges to match couriers and customer orders. We consider two types of crowdsourced couriers, namely, committed and occasional couriers, each with different compensation schemes. Crowdsourced delivery platforms usually schedule committed courier shifts based on predicted demand. Therefore, platforms may devise an offline schedule for committed couriers before the planning period. However, due to the unpredictability of demand, there are instances where it becomes necessary to make online adjustments to the offline schedule. In this study, we focus on the problem of dynamically adjusting the offline schedule through shift extensions for committed couriers. This problem is modeled as a sequential decision process. The objective is to maximize platform profit by determining the shift extensions of couriers and the assignments of requests to couriers. To solve the model, a Deep Q-Network (DQN) learning approach is developed. Comparing this model with the baseline policy where no extensions are allowed demonstrates the benefits that platforms can gain from allowing shift extensions in terms of reward, reduced lost order costs, and lost requests. Additionally, sensitivity analysis showed that the total extension compensation increases in a nonlinear manner with the arrival rate of requests, and in a linear manner with the arrival rate of occasional couriers. On the compensation sensitivity, the results showed that the normal scenario exhibited the highest average number of shift extensions and, consequently, the fewest average number of lost requests. These findings serve as evidence of the successful learning of such dynamics by the DQN algorithm.


title: ViGEO: an Assessment of Vision GNNs in Earth Observation

abstract: Satellite missions and Earth Observation (EO) systems represent fundamental assets for environmental monitoring and the timely identification of catastrophic events, long-term monitoring of both natural resources and human-made assets, such as vegetation, water bodies, forests as well as buildings. Different EO missions enables the collection of information on several spectral bandwidths, such as MODIS, Sentinel-1 and Sentinel-2. Thus, given the recent advances of machine learning, computer vision and the availability of labeled data, researchers demonstrated the feasibility and the precision of land-use monitoring systems and remote sensing image classification through the use of deep neural networks. Such systems may help domain experts and governments in constant environmental monitoring, enabling timely intervention in case of catastrophic events (e.g., forest wildfire in a remote area). Despite the recent advances in the field of computer vision, many works limit their analysis on Convolutional Neural Networks (CNNs) and, more recently, to vision transformers (ViTs). Given the recent successes of Graph Neural Networks (GNNs) on non-graph data, such as time-series and images, we investigate the performances of a recent Vision GNN architecture (ViG) applied to the task of land cover classification. The experimental results show that ViG achieves state-of-the-art performances in multiclass and multilabel classification contexts, surpassing both ViT and ResNet on large-scale benchmarks.


title: Why are Sensitive Functions Hard for Transformers?

abstract: Empirical studies have identified a range of learnability biases and limitations of transformers, such as a persistent difficulty in learning to compute simple formal languages such as PARITY, and a bias towards low-degree functions. However, theoretical understanding remains limited, with existing expressiveness theory either overpredicting or underpredicting realistic learning abilities. We prove that, under the transformer architecture, the loss landscape is constrained by the input-space sensitivity: Transformers whose output is sensitive to many parts of the input string inhabit isolated points in parameter space, leading to a low-sensitivity bias in generalization. We show theoretically and empirically that this theory unifies a broad array of empirical observations about the learning abilities and biases of transformers, such as their generalization bias towards low sensitivity and low degree, and difficulty in length generalization for PARITY. This shows that understanding transformers' inductive biases requires studying not just their in-principle expressivity, but also their loss landscape.


title: Walsh-domain Neural Network for Power Amplifier Behavioral Modelling and Digital Predistortion

abstract: This paper investigates the use of Neural Network (NN) nonlinear modelling for Power Amplifier (PA) linearization in the Walsh-Hadamard transceiver architecture. This novel architecture has recently been proposed for ultra-high bandwidth systems to reduce the transceiver power consumption by extensive parallelization of the digital baseband hardware. The parallelization is achieved by replacing two-dimensional quadrature modulation with multi-dimensional Walsh-Hadamard modulation. The open research question for this architecture is whether conventional baseband signal processing algorithms can be similarly parallelized while retaining their performance. A key baseband algorithm, digital predistortion using NN models for PA linearization, will be adapted to the parallel Walsh architecture. A straighforward parallelization of the state-of-the-art NN architecture is extended with a cross-domain Knowledge Distillation pre-training method to achieve linearization performance on par with the quadrature implementation. This result paves the way for the entire baseband processing chain to be adapted into ultra-high bandwidth, low-power Walsh transceivers.


title: Hierarchy Representation of Data in Machine Learnings

abstract: When there are models with clear-cut judgment results for several data points, it is possible that most models exhibit a relationship where if they correctly judge one target, they also correctly judge another target. Conversely, if most models incorrectly judge one target, they may also incorrectly judge another target. We propose a method for visualizing this hierarchy among targets. This information is expected to be beneficial for model improvement.


title: Textual Localization: Decomposing Multi-concept Images for Subject-Driven Text-to-Image Generation

abstract: Subject-driven text-to-image diffusion models empower users to tailor the model to new concepts absent in the pre-training dataset using a few sample images. However, prevalent subject-driven models primarily rely on single-concept input images, facing challenges in specifying the target concept when dealing with multi-concept input images. To this end, we introduce a textual localized text-to-image model (Texual Localization) to handle multi-concept input images. During fine-tuning, our method incorporates a novel cross-attention guidance to decompose multiple concepts, establishing distinct connections between the visual representation of the target concept and the identifier token in the text prompt. Experimental results reveal that our method outperforms or performs comparably to the baseline models in terms of image fidelity and image-text alignment on multi-concept input images. In comparison to Custom Diffusion, our method with hard guidance achieves CLIP-I scores that are 7.04%, 8.13% higher and CLIP-T scores that are 2.22%, 5.85% higher in single-concept and multi-concept generation, respectively. Notably, our method generates cross-attention maps consistent with the target concept in the generated images, a capability absent in existing models.


title: Case Study: Testing Model Capabilities in Some Reasoning Tasks

abstract: Large Language Models (LLMs) excel in generating personalized content and facilitating interactive dialogues, showcasing their remarkable aptitude for a myriad of applications. However, their capabilities in reasoning and providing explainable outputs, especially within the context of reasoning abilities, remain areas for improvement. In this study, we delve into the reasoning abilities of LLMs, highlighting the current challenges and limitations that hinder their effectiveness in complex reasoning scenarios.


title: Some counting formulas for $\lambda$-quiddities over the rings $\mathbb{Z}/2^{m}\mathbb{Z}$

abstract: The $\lambda$-quiddities of size $n$ are $n$-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter's friezes. Their number and their properties are closely linked to the structure and the cardinality of the chosen set. The main objective of this text is to obtain an explicit formula giving the number of $\lambda$-quiddities of odd size, and a lower and upper bound for the number of $\lambda$-quiddities of even size, over the rings $\mathbb{Z}/2^{m}\mathbb{Z}$ ($m \geq 2$). We also give explicit formulas concerning the number of $\lambda$-quiddities of size $n$ over $\mathbb{Z}/8\mathbb{Z}$.


title: On the kernel of actions on asymptotic cones

abstract: Any finitely generated group $G$ acts on its asymptotic cones in natural ways. The purpose of this paper is to calculate the kernel of such actions. First, we show that when $G$ is acylindrically hyperbolic, the kernel of the natural action on every asymptotic cone coincides with the unique maximal finite normal subgroup $K(G)$ of $G$. Secondly, we use this equivalence to interpret the kernel of the actions on asymptotic cones as the kernel of the actions on many spaces at "infinity". For instance, if $G \curvearrowright M$ is a non-elementary convergence group, then we show that the kernel of actions on the limit set $L(G)$ coincides with the kernel of the action on asymptotic cones. Similar results can also be established for the non-trivial Floyd boundary and the $\mathrm{CAT}(0)$ groups with the visual boundary, contracting boundary, and sublinearly Morse boundary. Additionally, the results are extended to another action on asymptotic cones, called Paulin's construction. In the last section, we calculate the kernel on asymptotic cones for various groups, and as an application, we show that the cardinality of the kernel can determine whether the group admits non-elementary action under some mild assumptions.


title: Accelerating Parallel Sampling of Diffusion Models

abstract: Diffusion models have emerged as state-of-the-art generative models for image generation. However, sampling from diffusion models is usually time-consuming due to the inherent autoregressive nature of their sampling process. In this work, we propose a novel approach that accelerates the sampling of diffusion models by parallelizing the autoregressive process. Specifically, we reformulate the sampling process as solving a system of triangular nonlinear equations through fixed-point iteration. With this innovative formulation, we explore several systematic techniques to further reduce the iteration steps required by the solving process. Applying these techniques, we introduce ParaTAA, a universal and training-free parallel sampling algorithm that can leverage extra computational and memory resources to increase the sampling speed. Our experiments demonstrate that ParaTAA can decrease the inference steps required by common sequential sampling algorithms such as DDIM and DDPM by a factor of 4$\sim$14 times. Notably, when applying ParaTAA with 100 steps DDIM for Stable Diffusion, a widely-used text-to-image diffusion model, it can produce the same images as the sequential sampling in only 7 inference steps. The code is available at https://github.com/TZW1998/ParaTAA-Diffusion.


title: Parameterized Vertex Integrity Revisited

abstract: Vertex integrity is a graph parameter that measures the connectivity of a graph. Informally, its meaning is that a graph has small vertex integrity if it has a small separator whose removal disconnects the graph into connected components which are themselves also small. Graphs with low vertex integrity are extremely structured; this renders many hard problems tractable and has recently attracted interest in this notion from the parameterized complexity community. In this paper we revisit the NP-complete problem of computing the vertex integrity of a given graph from the point of view of structural parameterizations. We present a number of new results, which also answer some recently posed open questions from the literature. Specifically: We show that unweighted vertex integrity is W[1]-hard parameterized by treedepth; we show that the problem remains W[1]-hard if we parameterize by feedback edge set size (via a reduction from a Bin Packing variant which may be of independent interest); and complementing this we show that the problem is FPT by max-leaf number. Furthermore, for weighted vertex integrity, we show that the problem admits a single-exponential FPT algorithm parameterized by vertex cover or by modular width, the latter result improving upon a previous algorithm which required weights to be polynomially bounded.


title: Enhanced Schmidt number criteria based on correlation trace norms

abstract: The Schmidt number represents the genuine entanglement dimension of a bipartite quantum state. We derive simple criteria for the Schmidt number of a density matrix in arbitrary local dimensions. They are based on the trace norm of correlations obtained from seminal families of quantum measurements, specifically symmetric informationally complete measurements and mutually unbiased bases. Our criteria are strictly stronger than both the well-known fidelity witness criterion and the computable cross-norms or realignment criterion.


title: TSTEM: A Cognitive Platform for Collecting Cyber Threat Intelligence in the Wild

abstract: The extraction of cyber threat intelligence (CTI) from open sources is a rapidly expanding defensive strategy that enhances the resilience of both Information Technology (IT) and Operational Technology (OT) environments against large-scale cyber-attacks. While previous research has focused on improving individual components of the extraction process, the community lacks open-source platforms for deploying streaming CTI data pipelines in the wild. To address this gap, the study describes the implementation of an efficient and well-performing platform capable of processing compute-intensive data pipelines based on the cloud computing paradigm for real-time detection, collecting, and sharing CTI from different online sources. We developed a prototype platform (TSTEM), a containerized microservice architecture that uses Tweepy, Scrapy, Terraform, ELK, Kafka, and MLOps to autonomously search, extract, and index IOCs in the wild. Moreover, the provisioning, monitoring, and management of the TSTEM platform are achieved through infrastructure as a code (IaC). Custom focus crawlers collect web content, which is then processed by a first-level classifier to identify potential indicators of compromise (IOCs). If deemed relevant, the content advances to a second level of extraction for further examination. Throughout this process, state-of-the-art NLP models are utilized for classification and entity extraction, enhancing the overall IOC extraction methodology. Our experimental results indicate that these models exhibit high accuracy (exceeding 98%) in the classification and extraction tasks, achieving this performance within a time frame of less than a minute. The effectiveness of our system can be attributed to a finely-tuned IOC extraction method that operates at multiple stages, ensuring precise identification of relevant information with low false positives.


title: Interference Mitigation for Network-Level ISAC: An Optimization Perspective

abstract: Future wireless networks are envisioned to simultaneously provide high data-rate communication and ubiquitous environment-aware services for numerous users. One promising approach to meet this demand is to employ network-level integrated sensing and communications (ISAC) by jointly designing the signal processing and resource allocation over the entire network. However, to unleash the full potential of network-level ISAC, some critical challenges must be tackled. Among them, interference management is one of the most significant ones. In this article, we build up a bridge between interference mitigation techniques and the corresponding optimization methods, which facilitates efficient interference mitigation in network-level ISAC systems. In particular, we first identify several types of interference in network-level ISAC systems, including self-interference, mutual interference, crosstalk, clutter, and multiuser interference. Then, we present several promising techniques that can be utilized to suppress specific types of interference. For each type of interference, we discuss the corresponding problem formulation and identify the associated optimization methods. Moreover, to illustrate the effectiveness of the proposed interference mitigation techniques, two concrete network-level ISAC systems, namely coordinated cellular network-based and distributed antenna-based ISAC systems, are investigated from interference management perspective. Experiment results indicate that it is beneficial to collaboratively employ different interference mitigation techniques and leverage the network structure to achieve the full potential of network-level ISAC. Finally, we highlight several promising future research directions for the design of ISAC systems.


title: Current and future roles of artificial intelligence in retinopathy of prematurity

abstract: Retinopathy of prematurity (ROP) is a severe condition affecting premature infants, leading to abnormal retinal blood vessel growth, retinal detachment, and potential blindness. While semi-automated systems have been used in the past to diagnose ROP-related plus disease by quantifying retinal vessel features, traditional machine learning (ML) models face challenges like accuracy and overfitting. Recent advancements in deep learning (DL), especially convolutional neural networks (CNNs), have significantly improved ROP detection and classification. The i-ROP deep learning (i-ROP-DL) system also shows promise in detecting plus disease, offering reliable ROP diagnosis potential. This research comprehensively examines the contemporary progress and challenges associated with using retinal imaging and artificial intelligence (AI) to detect ROP, offering valuable insights that can guide further investigation in this domain. Based on 89 original studies in this field (out of 1487 studies that were comprehensively reviewed), we concluded that traditional methods for ROP diagnosis suffer from subjectivity and manual analysis, leading to inconsistent clinical decisions. AI holds great promise for improving ROP management. This review explores AI's potential in ROP detection, classification, diagnosis, and prognosis.


title: Sensing-assisted Robust SWIPT for Mobile Energy Harvesting Receivers

abstract: Simultaneous wireless information and power transfer (SWIPT) has been proposed to offer communication services and transfer power to the energy harvesting receiver (EHR) concurrently. However, existing works mainly focused on static EHRs, without considering the location uncertainty caused by the movement of EHRs and location estimation errors. To tackle this issue, this paper considers the sensing-assisted SWIPT design in a networked integrated sensing and communication (ISAC) system in the presence of location uncertainty. A two-phase robust design is proposed to reduce the location uncertainty and improve the power transfer efficiency. In particular, each time frame is divided into two phases, i.e., sensing and WPT phases, via time-splitting. The sensing phase performs collaborative sensing to localize the EHR, whose results are then utilized in the WPT phase for efficient WPT. To minimize the power consumption with given communication and power transfer requirements, a two-layer optimization framework is proposed to jointly optimize the time-splitting ratio, coordinated beamforming policy, and sensing node selection. Simulation results validate the effectiveness of the proposed design and demonstrate the existence of an optimal time-splitting ratio for given location uncertainty.


title: Fast Vocabulary Transfer for Language Model Compression

abstract: Real-world business applications require a trade-off between language model performance and size. We propose a new method for model compression that relies on vocabulary transfer. We evaluate the method on various vertical domains and downstream tasks. Our results indicate that vocabulary transfer can be effectively used in combination with other compression techniques, yielding a significant reduction in model size and inference time while marginally compromising on performance.


title: Deep learning for the design of non-Hermitian topolectrical circuits

abstract: Non-Hermitian topological phases can produce some remarkable properties, compared with their Hermitian counterpart, such as the breakdown of conventional bulk-boundary correspondence and the non-Hermitian topological edge mode. Here, we introduce several algorithms with multi-layer perceptron (MLP), and convolutional neural network (CNN) in the field of deep learning, to predict the winding of eigenvalues non-Hermitian Hamiltonians. Subsequently, we use the smallest module of the periodic circuit as one unit to construct high-dimensional circuit data features. Further, we use the Dense Convolutional Network (DenseNet), a type of convolutional neural network that utilizes dense connections between layers to design a non-Hermitian topolectrical Chern circuit, as the DenseNet algorithm is more suitable for processing high-dimensional data. Our results demonstrate the effectiveness of the deep learning network in capturing the global topological characteristics of a non-Hermitian system based on training data.


title: Insights into the magnetocaloric effect of Gadolinium: A DFT Exploration of Structural, Electronic, and Magnetic Features in Bulk and Film configurations

abstract: Gadolinium stand as the favored choice among magnetic refrigerant materials for numerous active magnetic regenerator (AMR) prototypes due to its remarkable ability to exhibit a substantial change in magnetic entropy. This unique characteristic arises from its status as one of the elemental ferromagnets with a high Curie temperature, closely aligning with room temperature conditions, and undergoing a second-order magnetic phase transition. In this comprehensive study, we employ density functional theory (DFT) calculations to explore the structural, electronic, and magnetic properties of both Gadolinium bulk and film configurations. Our primary objective is to gain a deeper understanding of the intricate physics underlying the intriguing magnetocaloric features observed in Gadolinium. This investigation provides valuable insights into the potential applications and the broader implications of Gadolinium in the realm of magnetic refrigeration technology.


title: Do Rogue Wave Exist in the Kadomtesv-Petviashivili I Equation ?

abstract: There is considerable fundamental theoretical and applicative interest in obtaining two-dimensional rogue wave similar to one-dimensional rogue wave of the nonlinear Schr\"odinger equation. Here, we first time proposes a self-mapping transformation and analytically predict the existence of a family of novel spatio-temporal rogue wave solutions for the Kadomtesv-Petviashivili equation. We discover that these spatio-temporal rogue waves showing a strong analogy characteristics of the short-lives with rogue waves of the NLS equation. Our fingdings can also provide a solid mathematical basis for theory and application in shallow water, plasma and optics. This technique could be available to construct rogue-like waves of (2+1)-dimensional nonlinear wave models. Also, these studies could be helpful to deepen our understandings and enrich our knowledge about rogue waves.


title: Resurgence in Lorentzian quantum cosmology: no-boundary saddles and resummation of quantum gravity corrections around tunneling saddles

abstract: We revisit the path-integral approach to the wave function of the universe by utilizing Lefschetz thimble analyses and resurgence theory. The traditional Euclidean path-integral of gravity has the notorious ambiguity of the direction of Wick rotation. In contrast, the Lorentzian method can be formulated concretely with the Picard-Lefschetz theory. Yet, a challenge remains: the physical parameter space lies on a Stokes line, meaning that the Lefschetz-thimble structure is still unclear. Through complex deformations, we resolve this issue by uniquely identifying the thimble structure. This leads to the tunneling wave function, as opposed to the no-boundary wave function, offering a more rigorous proof of the previous results. Further exploring the parameter space, we discover rich structures: the ambiguity of the Borel resummation of perturbative series around the tunneling saddle points is exactly cancelled by the ambiguity of the contributions from no-boundary saddle points. This indicates that resurgence works also in quantum cosmology, particularly in the minisuperspace model.


title: Data Augmentation and Transfer Learning Approaches Applied to Facial Expressions Recognition

abstract: The face expression is the first thing we pay attention to when we want to understand a person's state of mind. Thus, the ability to recognize facial expressions in an automatic way is a very interesting research field. In this paper, because the small size of available training datasets, we propose a novel data augmentation technique that improves the performances in the recognition task. We apply geometrical transformations and build from scratch GAN models able to generate new synthetic images for each emotion type. Thus, on the augmented datasets we fine tune pretrained convolutional neural networks with different architectures. To measure the generalization ability of the models, we apply extra-database protocol approach, namely we train models on the augmented versions of training dataset and test them on two different databases. The combination of these techniques allows to reach average accuracy values of the order of 85\% for the InceptionResNetV2 model.


title: Optimistix: modular optimisation in JAX and Equinox

abstract: We introduce Optimistix: a nonlinear optimisation library built in JAX and Equinox. Optimistix introduces a novel, modular approach for its minimisers and least-squares solvers. This modularity relies on new practical abstractions for optimisation which we call search and descent, and which generalise classical notions of line search, trust-region, and learning-rate algorithms. It provides high-level APIs and solvers for minimisation, nonlinear least-squares, root-finding, and fixed-point iteration. Optimistix is available at https://github.com/patrick-kidger/optimistix.


title: Symmetry-Breaking Augmentations for Ad Hoc Teamwork

abstract: In many collaborative settings, artificial intelligence (AI) agents must be able to adapt to new teammates that use unknown or previously unobserved strategies. While often simple for humans, this can be challenging for AI agents. For example, if an AI agent learns to drive alongside others (a training set) that only drive on one side of the road, it may struggle to adapt this experience to coordinate with drivers on the opposite side, even if their behaviours are simply flipped along the left-right symmetry. To address this we introduce symmetry-breaking augmentations (SBA), which increases diversity in the behaviour of training teammates by applying a symmetry-flipping operation. By learning a best-response to the augmented set of teammates, our agent is exposed to a wider range of behavioural conventions, improving performance when deployed with novel teammates. We demonstrate this experimentally in two settings, and show that our approach improves upon previous ad hoc teamwork results in the challenging card game Hanabi. We also propose a general metric for estimating symmetry-dependency amongst a given set of policies.


title: Semi-parametric financial risk forecasting incorporating multiple realized measures

abstract: A semi-parametric joint Value-at-Risk (VaR) and Expected Shortfall (ES) forecasting framework employing multiple realized measures is developed. The proposed framework extends the realized exponential GARCH model to be semi-parametrically estimated, via a joint loss function, whilst extending existing quantile time series models to incorporate multiple realized measures. A quasi-likelihood is built, employing the asymmetric Laplace distribution that is directly linked to a joint loss function, which enables Bayesian inference for the proposed model. An adaptive Markov Chain Monte Carlo method is used for the model estimation. The empirical section evaluates the performance of the proposed framework with six stock markets from January 2000 to June 2022, covering the period of COVID-19. Three realized measures, including 5- minute realized variance, bi-power variation, and realized kernel, are incorporated and evaluated in the proposed framework. One-step-ahead VaR and ES forecasting results of the proposed model are compared to a range of parametric and semi-parametric models, lending support to the effectiveness of the proposed framework.


title: Testing the Instanton Approach to the Large Amplification Limit of a Diffraction-Amplification Problem

abstract: The validity of the instanton analysis approach is tested numerically in the case of the diffraction-amplification problem $\partial_z\psi -\frac{i}{2m}\nabla_{\perp}^2 \psi =g\vert S\vert^2\, \psi$ for $\ln U\gg 1$, where $U=\vert\psi(0,L)\vert^2$. Here, $S(x,z)$ is a complex Gaussian random field, $z$ and $x$ respectively are the axial and transverse coordinates, with $0\le z\le L$, and both $m\ne 0$ and $g>0$ are real parameters. To sample the rare and extreme amplification values of interest ($\ln U\gg 1$), we devise a specific biased sampling procedure by which $p(U)$, the probability distribution of $U$, is obtained down to values less than $10^{-2270}$ in the far right tail. We find that the agreement of our numerical results with the instanton analysis predictions in Mounaix (2023 {\it J. Phys. A: Math. Theor.} {\bf 56} 305001) is remarkable. Both the predicted algebraic tail of $p(U)$ and concentration of the realizations of $S$ onto the leading instanton are clearly confirmed, which validates the instanton analysis numerically in the large $\ln U$ limit.


title: Measuring the angle $\alpha_{ds}$ of the flattest Unitary Triangle with $\overline{B}_{d}\to \phi \overline{K}^{(*)0},\overline{B}_{s}\to \phi{K}^{(*)0}$ decays

abstract: We show that the angle $\alpha_{ds}$ of the ``flattest'' unitarity triange can be directly measured using the decays $\overline{B}_{d}\to \phi \overline{K}^{(*)0}$ and $\overline{B}_{s}\to \phi{K}^{(*)0}$. Using both $\overline{B}_{d}$ and $\overline{B}_{s}$ enables a further consistency test since the expected time-dependent CP violating asymmetries are identical though with opposite signs. Since large statistics of $\overline{B}_{d}$ and $\overline{B}_{s}$ are needed for accurate measurements, FCC-ee and its environment at the Z-pole is well suited for such studies. These measurements, the precision of which could reach the sub-degree level, will contribute to probe further the consistency of the CP sector of the Standard Model with unprecedented level of accuracy. The main detector requirements that are set by these measurements are also outlined.


title: One-shot omnidirectional pressure integration through matrix inversion

abstract: In this work, we present a method to perform 2D and 3D omnidirectional pressure integration from velocity measurements with a single-iteration matrix inversion approach. This work builds upon our previous work, where the rotating parallel ray approach was extended to the limit of infinite rays by taking continuous projection integrals of the ray paths and recasting the problem as an iterative matrix inversion problem. This iterative matrix equation is now "fast-forwarded" to the "infinity" iteration, leading to a different matrix equation that can be solved in a single iteration, thereby presenting the same computational complexity as the Poisson equation. We observe computational speedups of $\sim10^6$ when compared to brute-force omnidirectional integration methods, enabling the treatment of grids of $\sim 10^9$ points and potentially even larger in a desktop setup at the time of publication. Further examination of the boundary conditions of our one-shot method shows that omnidirectional pressure integration implements a new type of boundary condition, which treats the boundary points as interior points to the extent that information is available. Finally, we show how the method can be extended from the regular grids typical of particle image velocimetry to the unstructured meshes characteristic of particle tracking velocimetry data.


title: LLMs as Bridges: Reformulating Grounded Multimodal Named Entity Recognition

abstract: Grounded Multimodal Named Entity Recognition (GMNER) is a nascent multimodal task that aims to identify named entities, entity types and their corresponding visual regions. GMNER task exhibits two challenging properties: 1) The weak correlation between image-text pairs in social media results in a significant portion of named entities being ungroundable. 2) There exists a distinction between coarse-grained referring expressions commonly used in similar tasks (e.g., phrase localization, referring expression comprehension) and fine-grained named entities. In this paper, we propose RiVEG, a unified framework that reformulates GMNER into a joint MNER-VE-VG task by leveraging large language models (LLMs) as a connecting bridge. This reformulation brings two benefits: 1) It maintains the optimal MNER performance and eliminates the need for employing object detection methods to pre-extract regional features, thereby naturally addressing two major limitations of existing GMNER methods. 2) The introduction of entity expansion expression and Visual Entailment (VE) module unifies Visual Grounding (VG) and Entity Grounding (EG). It enables RiVEG to effortlessly inherit the Visual Entailment and Visual Grounding capabilities of any current or prospective multimodal pretraining models. Extensive experiments demonstrate that RiVEG outperforms state-of-the-art methods on the existing GMNER dataset and achieves absolute leads of 10.65%, 6.21%, and 8.83% in all three subtasks.


title: TIAViz: A Browser-based Visualization Tool for Computational Pathology Models

abstract: Digital pathology has gained significant traction in modern healthcare systems. This shift from optical microscopes to digital imagery brings with it the potential for improved diagnosis, efficiency, and the integration of AI tools into the pathologists workflow. A critical aspect of this is visualization. Throughout the development of a machine learning (ML) model in digital pathology, it is crucial to have flexible, openly available tools to visualize models, from their outputs and predictions to the underlying annotations and images used to train or test a model. We introduce TIAViz, a Python-based visualization tool built into TIAToolbox which allows flexible, interactive, fully zoomable overlay of a wide variety of information onto whole slide images, including graphs, heatmaps, segmentations, annotations and other WSIs. The UI is browser-based, allowing use either locally, on a remote machine, or on a server to provide publicly available demos. This tool is open source and is made available at: https://github.com/TissueImageAnalytics/tiatoolbox and via pip installation (pip install tiatoolbox) and conda as part of TIAToolbox.


title: On the Quasi-Moment-Method as a Rain Attenuation Prediction Modeling Algorithm

abstract: A computationally inexpensive, analytically simple, and remarkably efficient rain attenuation prediction algorithm is presented in this paper. The algorithm, here referred to as the Quasi-Moment-Method, has only two main requirements for its implementation. First, rain attenuation measurement data for bit terrestrial or slant paths for the site of interest must be available; and second, a model referred to as the base model, known to have predicted attenuation for any site to a reasonable level of accuracy and whose analytical format can be expressed as a linear combination of its parameters, is also required. An important novelty introduced by the QMM algorithm is a normalization scheme, through which a modelling difficulty concerning exceedance probabilities outside a 1 percent and 100 percent is eliminated. Model validation and performance evaluation using a comprehensive set of data available from the literature clearly demonstrated that the QMM models consistently improved base model performance by more than 90 percent and outperformed all published best fit models with which they were compared.


title: Risk-Sensitive Soft Actor-Critic for Robust Deep Reinforcement Learning under Distribution Shifts

abstract: We study the robustness of deep reinforcement learning algorithms against distribution shifts within contextual multi-stage stochastic combinatorial optimization problems from the operations research domain. In this context, risk-sensitive algorithms promise to learn robust policies. While this field is of general interest to the reinforcement learning community, most studies up-to-date focus on theoretical results rather than real-world performance. With this work, we aim to bridge this gap by formally deriving a novel risk-sensitive deep reinforcement learning algorithm while providing numerical evidence for its efficacy. Specifically, we introduce discrete Soft Actor-Critic for the entropic risk measure by deriving a version of the Bellman equation for the respective Q-values. We establish a corresponding policy improvement result and infer a practical algorithm. We introduce an environment that represents typical contextual multi-stage stochastic combinatorial optimization problems and perform numerical experiments to empirically validate our algorithm's robustness against realistic distribution shifts, without compromising performance on the training distribution. We show that our algorithm is superior to risk-neutral Soft Actor-Critic as well as to two benchmark approaches for robust deep reinforcement learning. Thereby, we provide the first structured analysis on the robustness of reinforcement learning under distribution shifts in the realm of contextual multi-stage stochastic combinatorial optimization problems.


title: Scalability limitations of Kademlia DHTs when enabling Data Availability Sampling in Ethereum

abstract: Scalability in blockchain remains a significant challenge, especially when prioritizing decentralization and security. The Ethereum community has proposed comprehensive data-sharding techniques to overcome storage, computational, and network processing limitations. In this context, the propagation and availability of large blocks become the subject of research to achieve scalable data-sharding. This paper provides insights after exploring the usage of a Kademlia-based DHT to enable Data Availability Sampling (DAS) in Ethereum. It presents a DAS-DHT simulator to study this problem and validates the results of the simulator with experiments in a real DHT network, IPFS. Our results help us understand what parts of DAS can be achieved based on existing Kademlia DHT solutions and which ones cannot. We discuss the limitations of DHT solutions and discuss other alternatives.


title: Approximating Competitive Equilibrium by Nash Welfare

abstract: We explore the relationship between two popular concepts on allocating divisible items: competitive equilibrium (CE) and allocations with maximum Nash welfare, i.e., allocations where the weighted geometric mean of the utilities is maximal. When agents have homogeneous concave utility functions, these two concepts coincide: the classical Eisenberg-Gale convex program that maximizes Nash welfare over feasible allocations yields a competitive equilibrium. However, these two concepts diverge for non-homogeneous utilities. From a computational perspective, maximizing Nash welfare amounts to solving a convex program for any concave utility functions, computing CE becomes PPAD-hard already for separable piecewise linear concave (SPLC) utilities. We introduce the concept of Gale-substitute utility functions, an analogue of the weak gross substitutes (WGS) property for the so-called Gale demand system. For Gale-substitutes utilities, we show that any allocation maximizing Nash welfare provides an approximate-CE with surprisingly strong guarantees, where every agent gets at least half the maximum utility they can get at any CE, and is approximately envy-free. Gale-substitutes include examples of utilities where computing CE is PPAD hard: in particular, all separable concave utilities, and the previously studied non-separable class of Leontief-free utilities. We introduce a new, general class of utility functions called generalized network utilities based on the generalized flow model; this class includes SPLC and Leontief-free utilities. We show that all such utilities are Gale-substitutes. Conversely, although some agents may get much higher utility at a Nash welfare maximizing allocation than at a CE, we show a price of anarchy type result: for general concave utilities, every CE achieves at least $(1/e)^{1/e} > 0.69$ fraction of the maximum Nash welfare, and this factor is tight.


title: iJTyper: An Iterative Type Inference Framework for Java by Integrating Constraint- and Statistically-based Methods

abstract: Inferring the types of API elements in incomplete code snippets (e.g., those on Q&A forums) is a prepositive step required to work with the code snippets. Existing type inference methods can be mainly categorized as constraint-based or statistically-based. The former imposes higher requirements on code syntax and often suffers from low recall due to the syntactic limitation of code snippets. The latter relies on the statistical regularities learned from a training corpus and does not take full advantage of the type constraints in code snippets, which may lead to low precision. In this paper, we propose an iterative type inference framework for Java, called iJTyper, by integrating the strengths of both constraint- and statistically-based methods. For a code snippet, iJTyper first applies a constraint-based method and augments the code context with the inferred types of API elements. iJTyper then applies a statistically-based method to the augmented code snippet. The predicted candidate types of API elements are further used to improve the constraint-based method by reducing its pre-built knowledge base. iJTyper iteratively executes both methods and performs code context augmentation and knowledge base reduction until a termination condition is satisfied. Finally, the final inference results are obtained by combining the results of both methods. We evaluated iJTyper on two open-source datasets. Results show that 1) iJTyper achieves high average precision/recall of 97.31% and 92.52% on both datasets; 2) iJTyper significantly improves the recall of two state-of-the-art baselines, SnR and MLMTyper, by at least 7.31% and 27.44%, respectively; and 3) iJTyper improves the average precision/recall of the popular language model, ChatGPT, by 3.25% and 0.51% on both datasets.


title: Effect of crystallographic twins on the elastoplastic response of polycrystals

abstract: We investigate the influence of crystallographic twins on the elastoplastic response of $\gamma$-TiAl intermetallics via full-field FFT-based computations. We first introduce a hierarchical stochastic model, which is used to simulate synthetic polycrystalline microstructures containing twin grains with certain morphologies, and apply it to generate representative volume elements. Second, we develop a Fourier-based method with regularization for solving the effective and local mechanical response of polycrystalline media using the M\'eric-Cailletaud crystal plasticity constitutive law. Numerical results show that, across configurations of twinning, the corresponding average effective response is similar. Although differences were quantified, the effect of twins on the yield stress is negligible in practice (less than $1\%$).


title: LoraRetriever: Input-Aware LoRA Retrieval and Composition for Mixed Tasks in the Wild

abstract: Low-Rank Adaptation (LoRA) provides an effective yet efficient solution for fine-tuning large language models (LLM). The modular and plug-and-play nature of LoRA enables the integration of diverse domain-specific LoRAs to enhance the capabilities of LLMs. Previous research on exploiting multiple LoRAs either focuses on specific isolated downstream tasks or fixes the selection of LoRAs during training. However, in real-world scenarios, LLMs receive diverse prompts covering different tasks, and the pool of candidate LoRAs is often dynamically updated. To bridge this gap, we propose LoraRetriever, a retrieve-then-compose framework that adaptively retrieves and composes multiple LoRAs according to the input prompts. LoraRetriever contains three main components: firstly, identifying and retrieving LoRAs relevant to the given input; secondly, formulating strategies for effectively integrating the retrieved LoRAs; and thirdly, developing efficient batch inference to accommodate heterogeneous requests. Experimental results indicate that LoraRetriever consistently outperforms the baselines, highlighting its practical effectiveness and versatility.


title: Colouring graphs from random lists

abstract: Given positive integers $k \leq m$ and a graph $G$, a family of lists $L = \{L(v) : v \in V(G)\}$ is said to be a random $(k,m)$-list-assignment if for every $v \in V(G)$ the list $L(v)$ is a subset of $\{1, \ldots, m\}$ of size $k$, chosen uniformly at random and independently of the choices of all other vertices. An $n$-vertex graph $G$ is said to be a.a.s. $(k,m)$-colourable if $\lim_{n \to \infty} \mathbb{P}(G \textrm{ is } L-colourable) = 1$, where $L$ is a random $(k,m)$-list-assignment. We prove that if $m \gg n^{1/k^2} \Delta^{1/k}$ and $m \geq 3 k^2 \Delta$, where $\Delta$ is the maximum degree of $G$ and $k \geq 3$ is an integer, then $G$ is a.a.s. $(k,m)$-colourable. This is not far from being best possible, forms a continuation of the so-called palette sparsification results, and proves in a strong sense a conjecture of Casselgren. Additionally, we consider this problem under the additional assumption that $G$ is $H$-free for some graph $H$. For various graphs $H$, we estimate the smallest $m$ for which an $H$-free $n$-vertex graph $G$ is a.a.s. $(k,m)$-colourable. This extends and improves several results of Casselgren.


title: Davenport constant for finite abelian groups with higher rank

abstract: For a finite abelian group $G,$ the Davenport Constant, denoted by $D(G)$, is defined to be the least positive integer $k$ such that every sequence of length at least $k$ has a non-trivial zero-sum subsequence. A long-standing conjecture is that the Davenport constant of a finite abelian group $G =C_{n_1}\times\cdots\times C_{n_d}$ of rank $d \in \mathbb{N}$ is $1+\displaystyle\sum_{i=1}^d (n_i-1) $. This conjecture is false in general, but it remains to know for which groups it is true. In this paper, we consider groups of the form $G = (C_p)^{d-1} \times C_{pq},$ where $p$ is a prime and $q\in \mathbb{N}$ and provide sufficient condition when the conjecture holds true.


title: A computed 95% confidence interval does cover the true value with probability 0.95 if epistemically interpreted

abstract: Suppose the lifetime of a large sample of batteries in routine use is measured. A confidence interval is computed to 394 plus/minus 1.96 times 4.6 days. The standard interpretation is that if we repeatedly draw samples and compute confidence intervals, about 95% of the intervals will cover the unknown true lifetime. What can be said about the particular interval 394 plus/minus 1.96 times 4.6 has not been clear. We clarify this by using an epistemic interpretation of probability. The conclusion is that a realised (computed) confidence interval covers the parameter with the probability given by the confidence level is a valid statement, unless there are relevant and recognisable subsets of the sample.


title: Privacy Attacks in Decentralized Learning

abstract: Decentralized Gradient Descent (D-GD) allows a set of users to perform collaborative learning without sharing their data by iteratively averaging local model updates with their neighbors in a network graph. The absence of direct communication between non-neighbor nodes might lead to the belief that users cannot infer precise information about the data of others. In this work, we demonstrate the opposite, by proposing the first attack against D-GD that enables a user (or set of users) to reconstruct the private data of other users outside their immediate neighborhood. Our approach is based on a reconstruction attack against the gossip averaging protocol, which we then extend to handle the additional challenges raised by D-GD. We validate the effectiveness of our attack on real graphs and datasets, showing that the number of users compromised by a single or a handful of attackers is often surprisingly large. We empirically investigate some of the factors that affect the performance of the attack, namely the graph topology, the number of attackers, and their position in the graph.


title: MM-Point: Multi-View Information-Enhanced Multi-Modal Self-Supervised 3D Point Cloud Understanding

abstract: In perception, multiple sensory information is integrated to map visual information from 2D views onto 3D objects, which is beneficial for understanding in 3D environments. But in terms of a single 2D view rendered from different angles, only limited partial information can be provided.The richness and value of Multi-view 2D information can provide superior self-supervised signals for 3D objects. In this paper, we propose a novel self-supervised point cloud representation learning method, MM-Point, which is driven by intra-modal and inter-modal similarity objectives. The core of MM-Point lies in the Multi-modal interaction and transmission between 3D objects and multiple 2D views at the same time. In order to more effectively simultaneously perform the consistent cross-modal objective of 2D multi-view information based on contrastive learning, we further propose Multi-MLP and Multi-level Augmentation strategies. Through carefully designed transformation strategies, we further learn Multi-level invariance in 2D Multi-views. MM-Point demonstrates state-of-the-art (SOTA) performance in various downstream tasks. For instance, it achieves a peak accuracy of 92.4% on the synthetic dataset ModelNet40, and a top accuracy of 87.8% on the real-world dataset ScanObjectNN, comparable to fully supervised methods. Additionally, we demonstrate its effectiveness in tasks such as few-shot classification, 3D part segmentation and 3D semantic segmentation.


title: Sharp upper bound for anisotropic R\'enyi entropy and Heisenberg uncertainty principle

abstract: In this paper, we prove the anisotropic Shannon inequality for the Renyi entropy with the best constant on Folland-Stein homogeneous Lie groups. As a consequence, we also prove the optimal Shannon inequality in the same setting. Using a logarithmic Sobolev inequality in the setting of stratified groups, we prove a Heisenberg-type uncertainty principle in the latter setting.


title: Gauge-Independent Metric Reconstruction of Perturbations of Vacuum Spherically-Symmetric Spacetimes

abstract: Perturbation theory of vacuum spherically-symmetric spacetimes (including the cosmological constant) has greatly contributed to the understanding of black holes, relativistic compact stars and even inhomogeneous cosmological models. The perturbative equations can be decoupled in terms of (gauge-invariant) master functions satisfying $1+1$ wave equations. In this work, building on previous work on the structure of the space of master functions and equations, we study the reconstruction of the metric perturbations in terms of the master functions. To that end, we consider the general situation in which the perturbations are driven by an arbitrary energy-momentum tensor. Then, we perform the metric reconstruction in a completely general perturbative gauge. In doing so, we investigate the role of Darboux transformations and Darboux covariance, responsible for the isospectrality between odd and even parity in the absence of matter sources and also of the physical equivalence between the descriptions based on all the possible master equations. We also show that the metric reconstruction can be carried out in terms of any of the possible master functions and that the expressions admit an explicitly covariant form.


title: ML-ASPA: A Contemplation of Machine Learning-based Acoustic Signal Processing Analysis for Sounds, & Strains Emerging Technology

abstract: Acoustic data serves as a fundamental cornerstone in advancing scientific and engineering understanding across diverse disciplines, spanning biology, communications, and ocean and Earth science. This inquiry meticulously explores recent advancements and transformative potential within the domain of acoustics, specifically focusing on machine learning (ML) and deep learning. ML, comprising an extensive array of statistical techniques, proves indispensable for autonomously discerning and leveraging patterns within data. In contrast to traditional acoustics and signal processing, ML adopts a data-driven approach, unveiling intricate relationships between features and desired labels or actions, as well as among features themselves, given ample training data. The application of ML to expansive sets of training data facilitates the discovery of models elucidating complex acoustic phenomena such as human speech and reverberation. The dynamic evolution of ML in acoustics yields compelling results and holds substantial promise for the future. The advent of electronic stethoscopes and analogous recording and data logging devices has expanded the application of acoustic signal processing concepts to the analysis of bowel sounds. This paper critically reviews existing literature on acoustic signal processing for bowel sound analysis, outlining fundamental approaches and applicable machine learning principles. It chronicles historical progress in signal processing techniques that have facilitated the extraction of valuable information from bowel sounds, emphasizing advancements in noise reduction, segmentation, signal enhancement, feature extraction, sound localization, and machine learning techniques...


title: Globally solvable time-periodic evolution equations in Gelfand-Shilov classes

abstract: In this paper we consider a class of evolution operators with coefficients depending on time and space variables $(t,x) \in \mathbb{T} \times \mathbb{R}^n$, where $\mathbb{T}$ is the one-dimensional torus and prove necessary and sufficient conditions for their global solvability in (time-periodic) Gelfand-Shilov spaces. The argument of the proof is based on a characterization of these spaces in terms of the eigenfunction expansions given by a fixed self-adjoint, globally elliptic differential operator on $\mathbb{R}^n$.


title: The challenge of identifying INTEGRAL sources on the Galactic plane

abstract: The International Gamma-ray Astrophysics Laboratory (INTEGRAL) has been surveying the sky above 20 keV since its launch in 2002 providing new insights into the nature of the sources that populate our Universe at soft gamma-ray energies. The latest IBIS/ISGRI survey lists 929 hard X-ray sources, of which 113 are reported as unidentified, i.e. lacking a lower energy counterpart or simply not studied in other wavebands. To overcome this lack of information, we either browsed the X-ray archives, or, if no data in the X-ray band were available, we requested Target of Opportunity (ToO) observations with the X-ray Telescope (XRT) on-board the Neil Gehrels Swift Observatory. Following this approach, we selected a sample of 10 objects for which X-ray data were key to investigate their nature. We found a single X-ray association for all of the sources, except for IGR J16267-3303, for which two X-ray detections were spotted within the IBIS positional uncertainty. We then browsed multi-waveband archives to search for counterparts to these X-ray detections at other wavelengths and analysed X-ray spectral properties to determine their nature and association with the high-energy emitter. As a result of our analysis, we identified the most likely counterpart for 7 sources, although in some cases its nature/class could not be definitely assessed on the basis of the information collected. Interestingly, SWIFT J2221.6+5952, first reported in the 105-month Swift/Burst Alert Telescope (BAT) survey, is the only source of the sample for which we did not find any counterpart at radio/optical/IR wavebands. Finally, we found that two IBIS source, IGR J17449-3037 and IGR J17596-2315 are positionally associated with a Fermi Large Area Telescope (LAT) object.


title: An \'Etude on the Regularization and Renormalization of Divergences in Primordial Observables

abstract: Many cosmological observables of interest derive from primordial vacuum fluctuations evolved to late times. These observables represent statistical draws from some underlying quantum or statistical field theoretic framework where infinities arise and require regularization. After subtracting divergences, renormalization conditions must be imposed by measurements or observations at some scale, mindful of scheme and background dependence. We review this process on backgrounds that transition from finite duration inflation to radiation domination, and show how in spite of the ubiquity of scaleless integrals, UV divergences can still be meaningfully extracted from quantities that nominally vanish when dimensionally regularized. In this way, one can contextualize calculations with hard cutoffs, distinguishing between UV and IR scales corresponding to the beginning and end of inflation from UV and IR scales corresponding the unknown completion of the theory and its observables. This distinction has significance as observable quantities cannot depend on the latter although they will certainly depend on the former. One can also explicitly show the scheme independence of the coefficients of UV divergent logarithms. Furthermore, certain IR divergences can be shown to be an artifact of the de Sitter limit and are cured for finite duration inflation. For gravitational wave observables, we stress the need to regularize stress tensors that do not presume a prior scale separation in their construction (as with the standard Isaacson form), deriving an improved stress tensor fit to purpose. We conclude by highlighting the inextricable connection between inferring $N_{\rm eff}$ bounds from vacuum tensor perturbations and the process of background renormalization.


title: Zero-Shot Unsupervised and Text-Based Audio Editing Using DDPM Inversion

abstract: Editing signals using large pre-trained models, in a zero-shot manner, has recently seen rapid advancements in the image domain. However, this wave has yet to reach the audio domain. In this paper, we explore two zero-shot editing techniques for audio signals, which use DDPM inversion with pre-trained diffusion models. The first, which we coin ZEro-shot Text-based Audio (ZETA) editing, is adopted from the image domain. The second, named ZEro-shot UnSupervized (ZEUS) editing, is a novel approach for discovering semantically meaningful editing directions without supervision. When applied to music signals, this method exposes a range of musically interesting modifications, from controlling the participation of specific instruments to improvisations on the melody. Samples and code can be found in https://hilamanor.github.io/AudioEditing/ .


title: Enhancing signal detectability in learning-based CT reconstruction with a model observer inspired loss function

abstract: Deep neural networks used for reconstructing sparse-view CT data are typically trained by minimizing a pixel-wise mean-squared error or similar loss function over a set of training images. However, networks trained with such pixel-wise losses are prone to wipe out small, low-contrast features that are critical for screening and diagnosis. To remedy this issue, we introduce a novel training loss inspired by the model observer framework to enhance the detectability of weak signals in the reconstructions. We evaluate our approach on the reconstruction of synthetic sparse-view breast CT data, and demonstrate an improvement in signal detectability with the proposed loss.


abstract: We introduce Clifford Group Equivariant Simplicial Message Passing Networks, a method for steerable E(n)-equivariant message passing on simplicial complexes. Our method integrates the expressivity of Clifford group-equivariant layers with simplicial message passing, which is topologically more intricate than regular graph message passing. Clifford algebras include higher-order objects such as bivectors and trivectors, which express geometric features (e.g., areas, volumes) derived from vectors. Using this knowledge, we represent simplex features through geometric products of their vertices. To achieve efficient simplicial message passing, we share the parameters of the message network across different dimensions. Additionally, we restrict the final message to an aggregation of the incoming messages from different dimensions, leading to what we term shared simplicial message passing. Experimental results show that our method is able to outperform both equivariant and simplicial graph neural networks on a variety of geometric tasks.


title: Countably Colorful Hyperplane Transversal

abstract: Let $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ be an infinite sequence of families of compact connected sets in $\mathbb{R}^{d}$. An infinite sequence of compact connected sets $\left\{ B_{n} \right\}_{n\in \mathbb{N}}$ is called heterochromatic sequence from $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ if there exists an infinite sequence $\left\{ i_{n} \right\}_{n\in \mathbb{N}}$ of natural numbers satisfying the following two properties: (a) $\{i_{n}\}_{n\in \mathbb{N}}$ is a monotonically increasing sequence, and (b) for all $n \in \mathbb{N}$, we have $B_{n} \in \mathcal{F}_{i_n}$. We show that if every heterochromatic sequence from $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ contains $d+1$ sets that can be pierced by a single hyperplane then there exists a finite collection $\mathcal{H}$ of hyperplanes from $\mathbb{R}^{d}$ that pierces all but finitely many families from $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$. As a direct consequence of our result, we get that if every countable subcollection from an infinite family $\mathcal{F}$ of compact connected sets in $\mathbb{R}^{d}$ contains $d+1$ sets that can be pierced by a single hyperplane then $\mathcal{F}$ can be pierced by finitely many hyperplanes. To establish the optimality of our result we show that, for all $d \in \mathbb{N}$, there exists an infinite sequence $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ of families of compact connected sets satisfying the following two conditions: (1) for all $n \in \mathbb{N}$, $\mathcal{F}_{n}$ is not pierceable by finitely many hyperplanes, and (2) for any $m \in \mathbb{N}$ and every sequence $\left\{B_n\right\}_{n=m}^{\infty}$ of compact connected sets in $\mathbb{R}^d$, where $B_i\in\mathcal{F}_i$ for all $i \geq m$, there exists a hyperplane in $\mathbb{R}^d$ that pierces at least $d+1$ sets in the sequence.


title: Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length

abstract: Neural networks offer good approximation to many tasks but consistently fail to reach perfect generalization, even when theoretical work shows that such perfect solutions can be expressed by certain architectures. Using the task of formal language learning, we focus on one simple formal language and show that the theoretically correct solution is in fact not an optimum of commonly used objectives -- even with regularization techniques that according to common wisdom should lead to simple weights and good generalization (L1, L2) or other meta-heuristics (early-stopping, dropout). On the other hand, replacing standard targets with the Minimum Description Length objective (MDL) results in the correct solution being an optimum.


title: Trajectory Guidance: Enhanced Remote Driving of highly-automated Vehicles

abstract: Despite the rapid technological progress, autonomous vehicles still face a wide range of complex driving situations that require human intervention. Teleoperation technology offers a versatile and effective way to address these challenges. The following work puts existing ideas into a modern context and introduces a novel technical implementation of the trajectory guidance teleoperation concept. The presented system was developed within a high-fidelity simulation environment and experimentally validated, demonstrating a realistic ride-hailing mission with prototype autonomous vehicles and onboard passengers. The results indicate that the proposed concept can be a viable alternative to the existing remote driving options, offering a promising way to enhance teleoperation technology and improve overall operation safety.


title: A Piecewise Approach for the Analysis of Exact Algorithms

abstract: To analyze the worst-case running time of branching algorithms, the majority of work in exponential time algorithms focuses on designing complicated branching rules over developing better analysis methods for simple algorithms. In the mid-$2000$s, Fomin et al. [2005] introduced measure & conquer, an advanced general analysis method, sparking widespread adoption for obtaining tighter worst-case running time upper bounds for many fundamental NP-complete problems. Yet, much potential in this direction remains untapped, as most subsequent work applied it without further advancement. Motivated by this, we present piecewise analysis, a new general method that analyzes the running time of branching algorithms. Our approach is to define a similarity ratio that divides instances into groups and then analyze the running time within each group separately. The similarity ratio is a scale between two parameters of an instance I. Instead of relying on a single measure and a single analysis for the whole instance space, our method allows to take advantage of different intrinsic properties of instances with different similarity ratios. To showcase its potential, we reanalyze two $17$-year-old algorithms from Fomin et al. [2007] that solve $4$-Coloring and #$3$-Coloring respectively. The original analysis in their paper gave running times of $O(1.7272^n)$ and $O(1.6262^n)$ respectively for these algorithms, our analysis improves these running times to $O(1.7215^n)$ and $O(1.6232^n)$. Among the two improvements, our new running time $O(1.7215^n)$ is the first improvement in the best known running time for the 4-Coloring problem since 2007.


title: W-algebras and integrability

abstract: This is a short non-technical review focusing on the $\mathcal{W}_N$ family of $\mathcal{W}$-algebras and on their relation to quantum integrability. It is a summary of recently given seminars and workshop contributions.


title: More on graph pebbling number

abstract: Let $G=(V,E)$ be a simple graph. A function $\phi:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the quantity $\sum_{u\in V}\phi(u)$ is called the size of $\phi$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $\phi(u)$ by two and increases $\phi(v)$ by one. Given a specified target vertex $r$ we say that $\phi$ is $t$-fold $r$-solvable, if some sequence of pebbling steps places at least $t$ pebbles on $r$. Conversely, if no such steps exist, then $\phi$ is $r$-unsolvable. The minimum positive integer $m$ such that every configuration of size $m$ on the vertices of $G$ is $t$-fold $r$-solvable is denoted by $\pi_t(G,r)$. The $t$-fold pebbling number of $G$ is defined to be $\pi_t(G)= max_{r\in V(G)}\pi_t(G,r)$. When $t=1$, we simply write $\pi(G)$, which is the pebbling number of $G$. In this note, we study the pebbling number for some specific graphs. Also we investigate the pebbling number of corona and neighbourhood corona of two graphs.


title: Multi-Stage Algorithm for Group Testing with Prior Statistics

abstract: In this paper, we propose an efficient multi-stage algorithm for non-adaptive Group Testing (GT) with general correlated prior statistics. The proposed solution can be applied to any correlated statistical prior represented in trellis, e.g., finite state machines and Markov processes. We introduce a variation of List Viterbi Algorithm (LVA) to enable accurate recovery using much fewer tests than objectives, which efficiently gains from the correlated prior statistics structure. Our numerical results demonstrate that the proposed Multi-Stage GT (MSGT) algorithm can obtain the optimal Maximum A Posteriori (MAP) performance with feasible complexity in practical regimes, such as with COVID-19 and sparse signal recovery applications, and reduce in the scenarios tested the number of pooled tests by at least $25\%$ compared to existing classical low complexity GT algorithms. Moreover, we analytically characterize the complexity of the proposed MSGT algorithm that guarantees its efficiency.


title: Exploring 2D Materials by High Pressure Synthesis: hBN, Mg-hBN, b-P, b-AsP, and GeAs

abstract: In materials science, selecting the right synthesis technique for specific compounds is one of the most important steps. High-pressure conditions have a significant effect on the crystal growth processes, leading to the creation of unique structures and properties that usually are not possible under normal conditions. The prime objective of this article is to illustrate the benefits of using high-pressure, high-temperature (HPHT) technique when developing two-dimensional (2D) materials. We could successfully grow bulk single crystals of hexagonal boron nitride (hBN) and magnesium doped hexagonal boron nitride (Mg-hBN) from Mg-B-N solvent. Further exploration of the Mg-B-N system could lead to the crystallization of isotopically 10B and 11B enriched hBN crystals, and other doped variants of it. Black phosphorus (b-P) and black phosphorus doped with arsenic (b-AsP) were obtained by directly converting its elements into melt and subsequently crystallizing them under HPHT. Germanium arsenide (GeAs) bulk single crystals were also obtained from the melt at a pressure of 1 GPa. Upon crystallization, all these compounds exhibit the anticipated layered structures, which makes them easy to exfoliate into 2D flakes, thus providing opportunities to modify their electrical behavior and create new useful devices.


title: Three-dimensional active nematic turbulence: chirality, flow alignment and elastic anisotropy

abstract: Various active materials exhibit strong spatio-temporal variability of their orientational order known as active turbulence, characterised by irregular and chaotic motion of topological defects, including colloidal suspensions, biofilaments, and bacterial colonies. Here, we present a numerical study of three-dimensional (3D) active nematic turbulence, examining the influence of main material constants: (i) the flow-alignment viscosity, (ii) the magnitude and anisotropy of elastic deformation modes (elastic constants), and (iii) the chirality. Specifically, this main parameter space covers contractile or extensile, flow-aligning or flow tumbling, chiral or achiral elastically anisotropic active nematic fluids. The results are presented using time- and space-averaged fields of defect density and mean square velocity. The results also discuss defect density and mean square velocity as possible effective order parameters in chiral active nematics, distinguishing two chiral nematic states -- active nematic blue phase and chiral active turbulence. This research contributes to the understanding of active turbulence, providing a numerical main phase space parameter sweep to help guide future experimental design and use of active materials.


title: SAWEC: Sensing-Assisted Wireless Edge Computing

abstract: Emerging mobile virtual reality (VR) systems will require to continuously perform complex computer vision tasks on ultra-high-resolution video frames through the execution of deep neural networks (DNNs)-based algorithms. Since state-of-the-art DNNs require computational power that is excessive for mobile devices, techniques based on wireless edge computing (WEC) have been recently proposed. However, existing WEC methods require the transmission and processing of a high amount of video data which may ultimately saturate the wireless link. In this paper, we propose a novel Sensing-Assisted Wireless Edge Computing (SAWEC) paradigm to address this issue. SAWEC leverages knowledge about the physical environment to reduce the end-to-end latency and overall computational burden by transmitting to the edge server only the relevant data for the delivery of the service. Our intuition is that the transmission of the portion of the video frames where there are no changes with respect to previous frames can be avoided. Specifically, we leverage wireless sensing techniques to estimate the location of objects in the environment and obtain insights about the environment dynamics. Hence, only the part of the frames where any environmental change is detected is transmitted and processed. We evaluated SAWEC by using a 10K 360$^{\circ}$ with a Wi-Fi 6 sensing system operating at 160 MHz and performing localization and tracking. We considered instance segmentation and object detection as benchmarking tasks for performance evaluation. We carried out experiments in an anechoic chamber and an entrance hall with two human subjects in six different setups. Experimental results show that SAWEC reduces both the channel occupation and end-to-end latency by more than 90% while improving the instance segmentation and object detection performance with respect to state-of-the-art WEC approaches.


title: Reproducing, Extending, and Analyzing Naming Experiments

abstract: Naming is very important in software development, as names are often the only vehicle of meaning about what the code is intended to do. A recent study on how developers choose names collected the names given by different developers for the same objects. This enabled a study of these names' diversity and structure, and the construction of a model of how names are created. We reproduce different parts of this study in three independent experiments. Importantly, we employ methodological variations rather than striving of an exact replication. When the same results are obtained this then boosts our confidence in their validity by demonstrating that they do not depend on the methodology. Our results indeed corroborate those of the original study in terms of the diversity of names, the low probability of two developers choosing the same name, and the finding that experienced developers tend to use slightly longer names than inexperienced students. We explain name diversity by performing a new analysis of the names, classifying the concepts represented in them as universal (agreed upon), alternative (reflecting divergent views on a topic), or optional (reflecting divergent opinions on whether to include this concept at all). This classification enables new research directions concerning the considerations involved in naming decisions. We also show that explicitly using the model proposed in the original study to guide naming leads to the creation of better names, whereas the simpler approach of just asking participants to use longer and more detailed names does not.


title: Manifestations of CP Violation in the B Meson System: Theoretical Perspective

abstract: CP violation in the field of $B$ physics is a crucial topic for exploring the quark sector and search for New Physics, both for theorists and experimentalists. CP violation manifests itself in various ways and in this presentation, we will categorise the decays based on their different dynamics. We aim to present highlights related to the studies of CP violation in each category from a theoretical perspective.


title: Self-Augmented In-Context Learning for Unsupervised Word Translation

abstract: Recent work has shown that, while large language models (LLMs) demonstrate strong word translation or bilingual lexicon induction (BLI) capabilities in few-shot setups, they still cannot match the performance of 'traditional' mapping-based approaches in the unsupervised scenario where no seed translation pairs are available, especially for lower-resource languages. To address this challenge with LLMs, we propose self-augmented in-context learning (SAIL) for unsupervised BLI: starting from a zero-shot prompt, SAIL iteratively induces a set of high-confidence word translation pairs for in-context learning (ICL) from an LLM, which it then reapplies to the same LLM in the ICL fashion. Our method shows substantial gains over zero-shot prompting of LLMs on two established BLI benchmarks spanning a wide range of language pairs, also outperforming mapping-based baselines across the board. In addition to achieving state-of-the-art unsupervised BLI performance, we also conduct comprehensive analyses on SAIL and discuss its limitations.


title: An improved lower bound on the Shannon capacities of complements of odd cycles

abstract: Improving a 2003 result of Bohman and Holzman, we show that for $n \geq 1$, the Shannon capacity of the complement of the $2n+1$-cycle is at least $(2^{r_n} + 1)^{1/r_n} = 2 + \Omega(2^{-r_n}/r_n)$, where $r_n = \exp(O((\log n)^2))$ is the number of partitions of $2(n-1)$ into powers of $2$. We also discuss a connection between this result and work by Day and Johnson in the context of graph Ramsey numbers.