title: Muon $g-2$ and Proton Lifetime in SUSY SU(5) GUTs with Split Superpartners

abstract: We consider the interplay of the muon $g-2$ anomaly and the proton decay in the SUSY SU(5) GUTs with generation-independent scalar soft masses. In these scenarios, we introduce a number of $\bf 5+{\bar 5}$ messenger fields with doublet-triplet splitting in general gauge mediation to transmit SUSY breaking to the visible sector by gauge loops. As a result, squarks and sleptons receive generation-independent soft SUSY breaking masses, which are split already at the messenger scale. Taking into account the perturbative unification of gauge couplings as well as the bounds from electroweak precision and vacuum stability bounds, we showed the parameter space in general gauge mediation to explain the muon $g-2$ anomaly with smuon and sneutrino loops while evading the strong bounds on squarks and gluinos from the Large Hadron Collider. We also obtained the dominant Higgsino contributions to the proton decay mode, $p\to K^+{\bar\nu}$, with general generation-independent sparticle masses for squarks and sleptons. Even for split scalar soft masses in our model, however, we found that the bounds from the proton decay are satisfied only if the effective Yukawa couplings of the colored Higgsinos are suppressed further by a factor of order $10^{-4}-10^{-3}$. We illustrated how such a suppression factor is realized in orbifold GUTs in the extra dimension where the colored Higgsinos in the bulk are not coupled to the matter fields localized at the orbifold fixed points at the leading order.


title: Grand zigzag knight's paths

abstract: We study the enumeration of different classes of grand knight's paths in the plane. In particular, we focus on the subsets of zigzag knight's paths subject to constraints. These constraints include ending at ordinate 0, bounded by a horizontal line, confined within a tube, among other considerations. We present our results using generating functions or direct closed-form expressions. We derive asymptotic results, finding approximations for quantities such as the probability that a zigzag knight's path stays in some area of the plane, or for the average of the final height of such a path. Additionally, we exhibit some bijections between grand zigzag knight's paths and some pairs of compositions.


title: Multi-Patch Prediction: Adapting LLMs for Time Series Representation Learning

abstract: In this study, we present aLLM4TS, an innovative framework that adapts Large Language Models (LLMs) for time-series representation learning. Central to our approach is that we reconceive time-series forecasting as a self-supervised, multi-patch prediction task, which, compared to traditional contrastive learning or mask-and-reconstruction methods, captures temporal dynamics in patch representations more effectively. Our strategy encompasses two-stage training: (i). a causal continual pre-training phase on various time-series datasets, anchored on next patch prediction, effectively syncing LLM capabilities with the intricacies of time-series data; (ii). fine-tuning for multi-patch prediction in the targeted time-series context. A distinctive element of our framework is the patch-wise decoding layer, which departs from previous methods reliant on sequence-level decoding. Such a design directly transposes individual patches into temporal sequences, thereby significantly bolstering the model's proficiency in mastering temporal patch-based representations. aLLM4TS demonstrates superior performance in several downstream tasks, proving its effectiveness in deriving temporal representations with enhanced transferability and marking a pivotal advancement in the adaptation of LLMs for time-series analysis.


title: Leveraging LLMs for Unsupervised Dense Retriever Ranking

abstract: In this paper we present Large Language Model Assisted Retrieval Model Ranking (LARMOR), an effective unsupervised approach that leverages LLMs for selecting which dense retriever to use on a test corpus (target). Dense retriever selection is crucial for many IR applications that rely on using dense retrievers trained on public corpora to encode or search a new, private target corpus. This is because when confronted with domain shift, where the downstream corpora, domains, or tasks of the target corpus differ from the domain/task the dense retriever was trained on, its performance often drops. Furthermore, when the target corpus is unlabeled, e.g., in a zero-shot scenario, the direct evaluation of the model on the target corpus becomes unfeasible. Unsupervised selection of the most effective pre-trained dense retriever becomes then a crucial challenge. Current methods for dense retriever selection are insufficient in handling scenarios with domain shift. Our proposed solution leverages LLMs to generate pseudo-relevant queries, labels and reference lists based on a set of documents sampled from the target corpus. Dense retrievers are then ranked based on their effectiveness on these generated pseudo-relevant signals. Notably, our method is the first approach that relies solely on the target corpus, eliminating the need for both training corpora and test labels. To evaluate the effectiveness of our method, we construct a large pool of state-of-the-art dense retrievers. The proposed approach outperforms existing baselines with respect to both dense retriever selection and ranking. We make our code and results publicly available at https://github.com/ielab/larmor/.


title: Hierarchical Tree-structured Knowledge Graph For Academic Insight Survey

abstract: Research surveys have always posed a challenge for beginner researchers who lack of research training. These researchers struggle to understand the directions within their research topic, and the discovery of new research findings within a short time. One way to provide intuitive assistance to beginner researchers is by offering relevant knowledge graphs(KG) and recommending related academic papers. However, existing navigation knowledge graphs primarily rely on keywords in the research field and often fail to present the logical hierarchy among multiple related papers clearly. Moreover, most recommendation systems for academic papers simply rely on high text similarity, which can leave researchers confused as to why a particular article is being recommended. They may lack of grasp important information about the insight connection between "Issue resolved" and "Issue finding" that they hope to obtain. To address these issues, this study aims to support research insight surveys for beginner researchers by establishing a hierarchical tree-structured knowledge graph that reflects the inheritance insight of research topics and the relevance insight among the academic papers.


title: Dual-Path Coupled Image Deraining Network via Spatial-Frequency Interaction

abstract: Transformers have recently emerged as a significant force in the field of image deraining. Existing image deraining methods utilize extensive research on self-attention. Though showcasing impressive results, they tend to neglect critical frequency information, as self-attention is generally less adept at capturing high-frequency details. To overcome this shortcoming, we have developed an innovative Dual-Path Coupled Deraining Network (DPCNet) that integrates information from both spatial and frequency domains through Spatial Feature Extraction Block (SFEBlock) and Frequency Feature Extraction Block (FFEBlock). We have further introduced an effective Adaptive Fusion Module (AFM) for the dual-path feature aggregation. Extensive experiments on six public deraining benchmarks and downstream vision tasks have demonstrated that our proposed method not only outperforms the existing state-of-the-art deraining method but also achieves visually pleasuring results with excellent robustness on downstream vision tasks.


title: Explaining Learned Reward Functions with Counterfactual Trajectories

abstract: Learning rewards from human behaviour or feedback is a promising approach to aligning AI systems with human values but fails to consistently extract correct reward functions. Interpretability tools could enable users to understand and evaluate possible flaws in learned reward functions. We propose Counterfactual Trajectory Explanations (CTEs) to interpret reward functions in reinforcement learning by contrasting an original with a counterfactual partial trajectory and the rewards they each receive. We derive six quality criteria for CTEs and propose a novel Monte-Carlo-based algorithm for generating CTEs that optimises these quality criteria. Finally, we measure how informative the generated explanations are to a proxy-human model by training it on CTEs. CTEs are demonstrably informative for the proxy-human model, increasing the similarity between its predictions and the reward function on unseen trajectories. Further, it learns to accurately judge differences in rewards between trajectories and generalises to out-of-distribution examples. Although CTEs do not lead to a perfect understanding of the reward, our method, and more generally the adaptation of XAI methods, are presented as a fruitful approach for interpreting learned reward functions.


title: Advancing Video Anomaly Detection: A Concise Review and a New Dataset

abstract: Video Anomaly Detection (VAD) finds widespread applications in security surveillance, traffic monitoring, industrial monitoring, and healthcare. Despite extensive research efforts, there remains a lack of concise reviews that provide insightful guidance for researchers. Such reviews would serve as quick references to grasp current challenges, research trends, and future directions. In this paper, we present such a review, examining models and datasets from various perspectives. We emphasize the critical relationship between model and dataset, where the quality and diversity of datasets profoundly influence model performance, and dataset development adapts to the evolving needs of emerging approaches. Our review identifies practical issues, including the absence of comprehensive datasets with diverse scenarios. To address this, we introduce a new dataset, Multi-Scenario Anomaly Detection (MSAD), comprising 14 distinct scenarios captured from various camera views. Our dataset has diverse motion patterns and challenging variations, such as different lighting and weather conditions, providing a robust foundation for training superior models. We conduct an in-depth analysis of recent representative models using MSAD and highlight its potential in addressing the challenges of detecting anomalies across diverse and evolving surveillance scenarios. Our dataset is available here.


title: CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay

abstract: Large language models are increasingly solving tasks that are commonly believed to require human-level reasoning ability. However, these models still perform very poorly on benchmarks of general intelligence such as the Abstraction and Reasoning Corpus (ARC). In this paper, we approach ARC as a programming-by-examples problem, and introduce a novel and scalable method for language model self-improvement called Code Iteration (CodeIt). Our method iterates between 1) program sampling and hindsight relabeling, and 2) learning from prioritized experience replay. By relabeling the goal of an episode (i.e., the target program output given input) to the realized output produced by the sampled program, our method effectively deals with the extreme sparsity of rewards in program synthesis. Applying CodeIt to the ARC dataset, we demonstrate that prioritized hindsight replay, along with pre-training and data-augmentation, leads to successful inter-task generalization. CodeIt is the first neuro-symbolic approach that scales to the full ARC evaluation dataset. Our method solves 15% of ARC evaluation tasks, achieving state-of-the-art performance and outperforming existing neural and symbolic baselines.


title: Conditionality principle under unconstrained randomness

abstract: A very simple example demonstrates that Fisher's application of the conditionality principle to regression ("fixed $x$ regression"), endorsed by Sprott and many other followers, makes prediction impossible in the context of statistical learning theory. On the other hand, relaxing the requirement of conditionality makes it possible via, e.g., conformal prediction.


title: Inverted Microstrip Gap Waveguide Coplanar EBG Filter for Antenna Applications

abstract: The possibility of making compact stopband filters using coplanar-coupled EBG resonators in inverted microstrip gap waveguide technology is studied in this work. To do this, the filtering characteristics of different configurations of mushroom-type elements are shown in which the short-circuit element is placed on the edge of the resonator of the patch. The behavior of the structure as well as its main advantages such as: low losses, self-packaging, low level of complexity, flexibility and easy design are illustrated in the paper. To evaluate the possibility of integrating these structures in gap waveguide planar antennas feeding networks, a 5-cell EBG filter was designed and built at the X band. The proposed filter reached a maximum rejection level of minus 35.4 dB, had a stopband centered at 9 GHz and a relative fractional bandwidth below minus 20 dB of 10.6 percent. The new compact filter presented a flat passband in which it was well matched and had low insertion losses that, including the connectors, were close to 1.5 dB in most of the band. These results are enough to improve low-complexity future antenna designs with filter functionalities in this technology.


title: A candidate for central tidal disruption event in the broad line AGN SDSS J1605 with double-peaked broad H$\beta$

abstract: In this letter, motivated by double-peaked broad Balmer emission lines probably related to tidal disruption events (TDEs), a potential TDE candidate is reported in SDSS J160536+134838 (=SDSS J1605) at $z\sim0.44$ having quasar-like spectrum but with double-peaked broad H$\beta$. The long-term CSS light curve can be naturally described by a main-sequence star of $2.82_{-0.19}^{+0.20}{\rm M_\odot}$ disrupted by the central black hole (BH) of $144_{-21}^{+26}\times10^6{\rm M_\odot}$ in SDSS J1605. Meanwhile, the ASAS-SN light curves afterwards show none apparent trend variability, indicating the bright CSS flare in SDSS J1605 unique and different enough from variability of normal AGN. Furthermore, there is a consistency between the TDE model determined sizes of debris with the sizes of emission regions for the double-peaked broad H$\beta$ described by the accretion disk model, supporting the disk-like BLRs probably related to a central TDE in SDSS J1605. And the virial BH mass $\sim$7 times higher than the TDE model determined value can be naturally explained by R-L relation determined BLRs sizes very larger than the actual distance of emission regions related to TDEs debris in SDSS J1605. Although no clear conclusion on double-peaked broad lines absolutely related to TDEs, the results here provide clues to detect potential TDEs in AGN with double-peaked broad lines.


title: Tactile Ergodic Control Using Diffusion and Geometric Algebra

abstract: Continuous physical interaction between robots and their environment is a requirement in many industrial and household tasks, such as sanding and cleaning. Due to the complex tactile information, these tasks are notoriously difficult to model and to sense. In this article, we introduce a closed-loop control method that is constrained to surfaces. The applications that we target have in common that they can be represented by probability distributions on the surface that correlate to the time the robot should spend in a region. These surfaces can easily be captured jointly with the target distributions using coloured point clouds. We present the extension of an ergodic control approach that can be used with point clouds, based on heat equation-driven area coverage (HEDAC). Our method enables closed-loop exploration by measuring the actual coverage using vision. Unlike existing approaches, we approximate the potential field from non-stationary diffusion using spectral acceleration, which does not require complex preprocessing steps and achieves real-time closed-loop control frequencies. We exploit geometric algebra to stay in contact with the target surface by tracking a line while simultaneously exerting a desired force along that line. Our approach is suitable for fully autonomous and human-robot interaction settings where the robot can either directly measure the coverage of the target with its sensors or by being guided online by markings or annotations of a human expert. We tested the performance of the approach in kinematic simulation using point clouds, ranging from the Stanford bunny to a variety of kitchen utensils. Our real-world experiments demonstrate that the proposed approach can successfully be used to wash kitchenware with curved surfaces, by cleaning the dirt detected by vision in an online manner. Website: https://geometric-algebra.tobiloew.ch/tactile_ergodic_control


title: Automated Smart Contract Summarization via LLMs

abstract: Automatic code Summarization generation technology is widely used in the development and maintenance of smart contracts. In recent years, with the advent of Large Language Models (LLMs), Gemini has received a lot of attention as the first Large Multimodal Models (LMMs) to support multimodal input. However, it is unclear how LMMs can generate contract code summarization from multimodal inputs. In this paper, we focus on evaluating Gemini on real-world smart contracts, comparing it to the MMTrans, and exploring how to combine multimodal prompts to generate a contract code summarization. We adopt several widely used metrics (BLEU, METEOR, and ROUGE-L) to measure the quality of the generated summarization. Our experiments show that Gemini-Pro-Vision achieves 21.17\% and 21.05\% scores for code comments generated by three-shot prompts under METEOR and ROUGE-L metrics. The above scores are better than those generated by one-shot and five-shot prompts.


title: Equivariant Neural Network Force Fields for Magnetic Materials

abstract: Neural network force fields have significantly advanced ab initio atomistic simulations across diverse fields. However, their application in the realm of magnetic materials is still in its early stage due to challenges posed by the subtle magnetic energy landscape and the difficulty of obtaining training data. Here we introduce a data-efficient neural network architecture to represent density functional theory total energy, atomic forces, and magnetic forces as functions of atomic and magnetic structures. Our approach incorporates the principle of equivariance under the three-dimensional Euclidean group into the neural network model. Through systematic experiments on various systems, including monolayer magnets, curved nanotube magnets, and moir\'e-twisted bilayer magnets of $\text{CrI}_{3}$, we showcase the method's high efficiency and accuracy, as well as exceptional generalization ability. The work creates opportunities for exploring magnetic phenomena in large-scale materials systems.


title: Collaborative Computing in Non-Terrestrial Networks: A Multi-Time-Scale Deep Reinforcement Learning Approach

abstract: Constructing earth-fixed cells with low-earth orbit (LEO) satellites in non-terrestrial networks (NTNs) has been the most promising paradigm to enable global coverage. The limited computing capabilities on LEO satellites however render tackling resource optimization within a short duration a critical challenge. Although the sufficient computing capabilities of the ground infrastructures can be utilized to assist the LEO satellite, different time-scale control cycles and coupling decisions between the space- and ground-segments still obstruct the joint optimization design for computing agents at different segments. To address the above challenges, in this paper, a multi-time-scale deep reinforcement learning (DRL) scheme is developed for achieving the radio resource optimization in NTNs, in which the LEO satellite and user equipment (UE) collaborate with each other to perform individual decision-making tasks with different control cycles. Specifically, the UE updates its policy toward improving value functions of both the satellite and UE, while the LEO satellite only performs finite-step rollout for decision-makings based on the reference decision trajectory provided by the UE. Most importantly, rigorous analysis to guarantee the performance convergence of the proposed scheme is provided. Comprehensive simulations are conducted to justify the effectiveness of the proposed scheme in balancing the transmission performance and computational complexity.


title: Room Transfer Function Reconstruction Using Complex-valued Neural Networks and Irregularly Distributed Microphones

abstract: Reconstructing the room transfer functions needed to calculate the complex sound field in a room has several important real-world applications. However, an unpractical number of microphones is often required. Recently, in addition to classical signal processing methods, deep learning techniques have been applied to reconstruct the room transfer function starting from a very limited set of measurements at scattered points in the room. In this paper, we employ complex-valued neural networks to estimate room transfer functions in the frequency range of the first room resonances, using a few irregularly distributed microphones. To the best of our knowledge, this is the first time that complex-valued neural networks are used to estimate room transfer functions. To analyze the benefits of applying complex-valued optimization to the considered task, we compare the proposed technique with a state-of-the-art kernel-based signal processing approach for sound field reconstruction, showing that the proposed technique exhibits relevant advantages in terms of phase accuracy and overall quality of the reconstructed sound field. For informative purposes, we also compare the model with a similarly-structured data-driven approach that, however, applies a real-valued neural network to reconstruct only the magnitude of the sound field.


title: Multimodal Query Suggestion with Multi-Agent Reinforcement Learning from Human Feedback

abstract: In the rapidly evolving landscape of information retrieval, search engines strive to provide more personalized and relevant results to users. Query suggestion systems play a crucial role in achieving this goal by assisting users in formulating effective queries. However, existing query suggestion systems mainly rely on textual inputs, potentially limiting user search experiences for querying images. In this paper, we introduce a novel Multimodal Query Suggestion (MMQS) task, which aims to generate query suggestions based on user query images to improve the intentionality and diversity of search results. We present the RL4Sugg framework, leveraging the power of Large Language Models (LLMs) with Multi-Agent Reinforcement Learning from Human Feedback to optimize the generation process. Through comprehensive experiments, we validate the effectiveness of RL4Sugg, demonstrating a 18% improvement compared to the best existing approach. Moreover, the MMQS has been transferred into real-world search engine products, which yield enhanced user engagement. Our research advances query suggestion systems and provides a new perspective on multimodal information retrieval.


title: Perceptually Equivalent Resolution in Handheld Devices for Streaming Bandwidth Saving

abstract: We present the description, results, and analysis of the experiments conducted to find the equivalent resolution associated with handheld devices. That is, the resolution from which users stop perceiving quality improvements if better resolutions are presented to them in such devices. Thus, it is the maximum resolution that it is worth considering for generating and delivering video, as long as sequences are not too intensively compressed. Therefore, the detection of the equivalent resolutions allows for notable savings in bandwidth consumption. Subjective assessments have been carried out on fifty subjects using a set of video sequences of very different nature and four handheld devices with a broad range of screen dimensions. The results prove that the equivalent resolution in current handheld devices is 720p as higher resolutions are not valued by users.


title: Learning by Doing: An Online Causal Reinforcement Learning Framework with Causal-Aware Policy

abstract: As a key component to intuitive cognition and reasoning solutions in human intelligence, causal knowledge provides great potential for reinforcement learning (RL) agents' interpretability towards decision-making by helping reduce the searching space. However, there is still a considerable gap in discovering and incorporating causality into RL, which hinders the rapid development of causal RL. In this paper, we consider explicitly modeling the generation process of states with the causal graphical model, based on which we augment the policy. We formulate the causal structure updating into the RL interaction process with active intervention learning of the environment. To optimize the derived objective, we propose a framework with theoretical performance guarantees that alternates between two steps: using interventions for causal structure learning during exploration and using the learned causal structure for policy guidance during exploitation. Due to the lack of public benchmarks that allow direct intervention in the state space, we design the root cause localization task in our simulated fault alarm environment and then empirically show the effectiveness and robustness of the proposed method against state-of-the-art baselines. Theoretical analysis shows that our performance improvement attributes to the virtuous cycle of causal-guided policy learning and causal structure learning, which aligns with our experimental results.


title: Embedding Knowledge Graphs in Degenerate Clifford Algebras

abstract: Clifford algebras are a natural generalization of the real numbers, the complex numbers, and the quaternions. So far, solely Clifford algebras of the form $Cl_{p,q}$ (i.e., algebras without nilpotent base vectors) have been studied in the context of knowledge graph embeddings. We propose to consider nilpotent base vectors with a nilpotency index of two. In these spaces, denoted $Cl_{p,q,r}$, allows generalizing over approaches based on dual numbers (which cannot be modelled using $Cl_{p,q}$) and capturing patterns that emanate from the absence of higher-order interactions between real and complex parts of entity embeddings. We design two new models for the discovery of the parameters $p$, $q$, and $r$. The first model uses a greedy search to optimize $p$, $q$, and $r$. The second predicts $(p, q,r)$ based on an embedding of the input knowledge graph computed using neural networks. The results of our evaluation on seven benchmark datasets suggest that nilpotent vectors can help capture embeddings better. Our comparison against the state of the art suggests that our approach generalizes better than other approaches on all datasets w.r.t. the MRR it achieves on validation data. We also show that a greedy search suffices to discover values of $p$, $q$ and $r$ that are close to optimal.


title: Nonlinear Stability of Planar Shock Waves for the 3-D Boltzmann Equation

abstract: This paper studies the stability and large-time behavior of the three-dimensional (3-D) Boltzmann equation near shock profiles. We prove the nonlinear stability of the composite wave consisting of two shock profiles under general perturbations without the assumption of integral zero of macroscopic quantities. To address the challenge caused by the compressibility of shock profiles, we apply the method of anti-derivative based on macro-micro decomposition. However, the system of anti-derivatives presents certain difficulties. Firstly, general perturbations may generate diffusion waves that evolve and interact with shock profiles, resulting in errors that are not controllable. We therefore introduce a set of coupled diffusion waves to cancel out these poor errors and perform careful estimates on wave interactions. Secondly, we perform diagonalized system estimates to fully exploit the compressibility of shock profiles and control terms that decay slowly. Thirdly, the presence of diffusion waves causes critical terms with decay $(1+t)^{-1}$, and we introduce a Poincar\'e type of inequality to address these terms. Finally, estimates on anti-derivatives can only control terms along the propagation direction, while for transversal directions, we use the entropy-entropy flux pair as well as the Poincar\'e inequality to control the lower order terms using diffusion terms. As a result, we obtain nonlinear stability through the energy method, which is the first stability result for the planar shock of the multi-dimensional Boltzmann equation to the best of our knowledge.


title: Fine-Tuning of the Excitonic Response in Monolayer WS2 Domes via Coupled Pressure and Strain Variation

abstract: We present a spectroscopic investigation into the vibrational and optoelectronic properties of WS2 domes in the 0-0.65 GPa range. The pressure evolution of the system morphology, deduced by the combined analysis of Raman and photoluminescence spectra, revealed a significant variation in the dome's aspect ratio. The modification of the dome shape caused major changes in the mechanical properties of the system resulting in a sizable increase of the out-of-plane compressive strain while keeping the in-plane tensile strain unchanged. The variation of the strain gradients drives a non-linear behavior in both the exciton energy and radiative recombination intensity, interpreted as the consequence of a hybridization mechanism between the electronic states of two distinct minima in the conduction band. Our results indicate that pressure and strain can be efficiently combined in low dimensional systems with unconventional morphology to obtain modulations of the electronic band structure not achievable in planar crystals.


title: Seebeck coefficient of ionic conductors from Bayesian regression analysis

abstract: We propose a novel approach to evaluating the ionic Seebeck coefficient in electrolytes from relatively short equilibrium molecular dynamics simulations, based on the Green-Kubo theory of linear response and Bayesian regression analysis. By exploiting the probability distribution of the off-diagonal elements of a Wishart matrix, we develop a consistent and unbiased estimator for the Seebeck coefficient whose statistical uncertainty can be arbitrarily reduced in the long-time limit. To validate the effectiveness of our method, we benchmark it against extensive equilibrium molecular dynamics simulations conducted on molten $\mathrm{CsF}$ using empirical force fields. We then employ this procedure to calculate the Seebeck coefficient of molten $\mathrm{NaCl}$, $\mathrm{KCl}$ and $\mathrm{LiCl}$ using neural-network force fields trained on ab initio data over a range of pressure-temperature conditions.


title: Choosing a Classical Planner with Graph Neural Networks

abstract: Online planner selection is the task of choosing a solver out of a predefined set for a given planning problem. As planning is computationally hard, the performance of solvers varies greatly on planning problems. Thus, the ability to predict their performance on a given problem is of great importance. While a variety of learning methods have been employed, for classical cost-optimal planning the prevailing approach uses Graph Neural Networks (GNNs). In this work, we continue the line of work on using GNNs for online planner selection. We perform a thorough investigation of the impact of the chosen GNN model, graph representation and node features, as well as prediction task. Going further, we propose using the graph representation obtained by a GNN as an input to the Extreme Gradient Boosting (XGBoost) model, resulting in a more resource-efficient yet accurate approach. We show the effectiveness of a variety of GNN-based online planner selection methods, opening up new exciting avenues for research on online planner selection.


title: On Provable Length and Compositional Generalization

abstract: Out-of-distribution generalization capabilities of sequence-to-sequence models can be studied from the lens of two crucial forms of generalization: length generalization -- the ability to generalize to longer sequences than ones seen during training, and compositional generalization: the ability to generalize to token combinations not seen during training. In this work, we provide first provable guarantees on length and compositional generalization for common sequence-to-sequence models -- deep sets, transformers, state space models, and recurrent neural nets -- trained to minimize the prediction error. Taking a first principles perspective, we study the realizable case, i.e., the labeling function is realizable on the architecture. We show that limited capacity versions of these different architectures achieve both length and compositional generalization. Across different architectures, we also find that a linear relationship between the learned representation and the representation in the labeling function is necessary for length and compositional generalization.


title: Understanding the Nature of the Ultra-Steep Spectrum Diffuse Radio Source in the Galaxy Cluster Abell 272

abstract: Ultra-steep spectrum (USS) radio sources with complex filamentary morphologies are a poorly understood subclass of diffuse radio source found in galaxy clusters. They are characterised by power law spectra with spectral indices less than -1.5, and are typically located in merging clusters. We present X-ray and radio observations of the galaxy cluster A272, containing a USS diffuse radio source. The system is an ongoing major cluster merger with an extended region of bright X-ray emission south of the core. Surface brightness analysis yields a $3\sigma$ detection of a merger shock front in this region. We obtain shock Mach numbers $M_\rho = 1.20 \pm 0.09$ and $M_T = 1.7 \pm 0.3$ from the density and temperature jumps, respectively. Optical data reveals that the system is a merger between a northern cool core cluster and a southern non-cool core cluster. We find that the USS source, with spectral index $\alpha^{\text{74 MHz}}_{\text{1.4 GHz}} = -1.9 \pm 0.1$, is located in the bright southern region. Radio observations show that the source has a double-lobed structure with complex filaments, and is centred on the brightest cluster galaxy of the southern subcluster. We provide two suggestions for the origin of this source; the first posits the source as an AGN relic that has been re-energised by the passing of a merger shock front, while the second interprets the complex structure as the result of two overlapping AGN radio outbursts. We also present constraints on the inverse Compton emission at the location of the source.


title: Characterization of the weak-type boundedness of the Hilbert transform on weighted Lorentz spaces

abstract: We characterize the weak-type boundedness of the Hilbert transform $H$ on weighted Lorentz spaces $\Lambda^p_u(w)$, with $p>0$, in terms of some geometric conditions on the weights $u$ and $w$ and the weak-type boundedness of the Hardy-Littlewood maximal operator on the same spaces. Our results recover simultaneously the theory of the boundedness of $H$ on weighted Lebesgue spaces $L^p(u)$ and Muckenhoupt weights $A_p$, and the theory on classical Lorentz spaces $\Lambda^p(w)$ and Ari\~no Muckenhoupt weights $B_p$.


title: STAR: Shape-focused Texture Agnostic Representations for Improved Object Detection and 6D Pose Estimation

abstract: Recent advances in machine learning have greatly benefited object detection and 6D pose estimation for robotic grasping. However, textureless and metallic objects still pose a significant challenge due to fewer visual cues and the texture bias of CNNs. To address this issue, we propose a texture-agnostic approach that focuses on learning from CAD models and emphasizes object shape features. To achieve a focus on learning shape features, the textures are randomized during the rendering of the training data. By treating the texture as noise, the need for real-world object instances or their final appearance during training data generation is eliminated. The TLESS and ITODD datasets, specifically created for industrial settings in robotics and featuring textureless and metallic objects, were used for evaluation. Texture agnosticity also increases the robustness against image perturbations such as imaging noise, motion blur, and brightness changes, which are common in robotics applications. Code and datasets are publicly available at github.com/hoenigpeter/randomized_texturing.


title: Comparing Methods for Creating a National Random Sample of Twitter Users

abstract: Twitter data has been widely used by researchers across various social and computer science disciplines. A common aim when working with Twitter data is the construction of a random sample of users from a given country. However, while several methods have been proposed in the literature, their comparative performance is mostly unexplored. In this paper, we implement four common methods to collect a random sample of Twitter users in the US: 1% Stream, Bounding Box, Location Query, and Language Query. Then, we compare the methods according to their tweet- and user-level metrics as well as their accuracy in estimating US population with and without using inclusion probabilities of various demographics. Our results show that the 1% Stream method performs differently than others in tweet- and user-level metrics, and best for the construction of a population representative sample. We discuss the conditions under which the 1% Stream method may not be suitable and suggest the Bounding Box method as the second-best method to use.


title: Combining Cloud and Mobile Computing for Machine Learning

abstract: Although the computing power of mobile devices is increasing, machine learning models are also growing in size. This trend creates problems for mobile devices due to limitations like their memory capacity and battery life. While many services, like ChatGPT and Midjourney, run all the inferences in the cloud, we believe a flexible and fine-grained task distribution is more desirable. In this work, we consider model segmentation as a solution to improving the user experience, dividing the computation between mobile devices and the cloud in a way that offloads the compute-heavy portion of the model while minimizing the data transfer required. We show that the division not only reduces the wait time for users but can also be fine-tuned to optimize the workloads of the cloud. To achieve that, we design a scheduler that collects information about network quality, client device capability, and job requirements, making decisions to achieve consistent performance across a range of devices while reducing the work the cloud needs to perform.


title: Epistral Network: Revolutionizing Media Curation and Consumption through Decentralization

abstract: Blockchain technology has revolutionized media consumption and distribution in the digital age, allowing creators, consumers, and regulators to participate in a decentralized, fair, and engaging media environment. Epistral, an innovative media network that leverages blockchain technology, aims to be the world's first anti-mimetic media curation and consumption network, addressing the core challenges facing today's digital media landscape: unfair treatment of creators and manipulative consumer algorithms, and the complex task of effective regulation. This paper delves into the conceptualization, design, and potential impact of epistral and explores how it embodies McLuhan's and Girard's theories within the realm of blockchain technology and draws from Hayden's critique of democratic representation. The paper analyzes the challenges and opportunities presented by this new network, providing a broader discourse on the future of media consumption, distribution, and regulation.


title: LMUFormer: Low Complexity Yet Powerful Spiking Model With Legendre Memory Units

abstract: Transformer models have demonstrated high accuracy in numerous applications but have high complexity and lack sequential processing capability making them ill-suited for many streaming applications at the edge where devices are heavily resource-constrained. Thus motivated, many researchers have proposed reformulating the transformer models as RNN modules which modify the self-attention computation with explicit states. However, these approaches often incur significant performance degradation. The ultimate goal is to develop a model that has the following properties: parallel training, streaming and low-cost inference, and SOTA performance. In this paper, we propose a new direction to achieve this goal. We show how architectural modifications to a recurrent model can help push its performance toward Transformer models while retaining its sequential processing capability. Specifically, inspired by the recent success of Legendre Memory Units (LMU) in sequence learning tasks, we propose LMUFormer, which augments the LMU with convolutional patch embedding and convolutional channel mixer. Moreover, we present a spiking version of this architecture, which introduces the benefit of states within the patch embedding and channel mixer modules while simultaneously reducing the computing complexity. We evaluated our architectures on multiple sequence datasets. In comparison to SOTA transformer-based models within the ANN domain on the SCv2 dataset, our LMUFormer demonstrates comparable performance while necessitating a remarkable 53 times reduction in parameters and a substantial 65 times decrement in FLOPs. Additionally, owing to our model's proficiency in real-time data processing, we can achieve a 32.03% reduction in sequence length, all while incurring an inconsequential decline in performance. Our code is publicly available at https://github.com/zeyuliu1037/LMUFormer.git.


title: Toward Accurate Camera-based 3D Object Detection via Cascade Depth Estimation and Calibration

abstract: Recent camera-based 3D object detection is limited by the precision of transforming from image to 3D feature spaces, as well as the accuracy of object localization within the 3D space. This paper aims to address such a fundamental problem of camera-based 3D object detection: How to effectively learn depth information for accurate feature lifting and object localization. Different from previous methods which directly predict depth distributions by using a supervised estimation model, we propose a cascade framework consisting of two depth-aware learning paradigms. First, a depth estimation (DE) scheme leverages relative depth information to realize the effective feature lifting from 2D to 3D spaces. Furthermore, a depth calibration (DC) scheme introduces depth reconstruction to further adjust the 3D object localization perturbation along the depth axis. In practice, the DE is explicitly realized by using both the absolute and relative depth optimization loss to promote the precision of depth prediction, while the capability of DC is implicitly embedded into the detection Transformer through a depth denoising mechanism in the training phase. The entire model training is accomplished through an end-to-end manner. We propose a baseline detector and evaluate the effectiveness of our proposal with +2.2%/+2.7% NDS/mAP improvements on NuScenes benchmark, and gain a comparable performance with 55.9%/45.7% NDS/mAP. Furthermore, we conduct extensive experiments to demonstrate its generality based on various detectors with about +2% NDS improvements.


title: Topological relations in water quality monitoring

abstract: The Alqueva Multi-Purpose Project (EFMA) is a massive abduction and storage infrastructure system in the Alentejo, which has a water quality monitoring network with almost thousands of water quality stations distributed across three subsystems: Alqueva, Pedrog\~ao, and Ardila. Identification of pollution sources in complex infrastructure systems, such as the EFMA, requires recognition of water flow direction and delimitation of areas being drained to specific sampling points. The transfer channels in the EFMA infrastructure artificially connect several water bodies that do not share drainage basins, which further complicates the interpretation of water quality data because the water does not flow exclusively downstream and is not restricted to specific basins. The existing user-friendly GIS tools do not facilitate the exploration and visualisation of water quality data in spatial-temporal dimensions, such as defining temporal relationships between monitoring campaigns, nor do they allow the establishment of topological and hydrological relationships between different sampling points. This thesis work proposes a framework capable of aggregating many types of information in a GIS environment, visualising large water quality-related datasets and, a graph data model to integrate and relate water quality between monitoring stations and land use. The graph model allows to exploit the relationship between water quality in a watercourse and reservoirs associated with infrastructures. The graph data model and the developed framework demonstrated encouraging results and has proven to be preferred when compared to relational databases.


title: A Unified Gaussian Process for Branching and Nested Hyperparameter Optimization

abstract: Choosing appropriate hyperparameters plays a crucial role in the success of neural networks as hyper-parameters directly control the behavior and performance of the training algorithms. To obtain efficient tuning, Bayesian optimization methods based on Gaussian process (GP) models are widely used. Despite numerous applications of Bayesian optimization in deep learning, the existing methodologies are developed based on a convenient but restrictive assumption that the tuning parameters are independent of each other. However, tuning parameters with conditional dependence are common in practice. In this paper, we focus on two types of them: branching and nested parameters. Nested parameters refer to those tuning parameters that exist only within a particular setting of another tuning parameter, and a parameter within which other parameters are nested is called a branching parameter. To capture the conditional dependence between branching and nested parameters, a unified Bayesian optimization framework is proposed. The sufficient conditions are rigorously derived to guarantee the validity of the kernel function, and the asymptotic convergence of the proposed optimization framework is proven under the continuum-armed-bandit setting. Based on the new GP model, which accounts for the dependent structure among input variables through a new kernel function, higher prediction accuracy and better optimization efficiency are observed in a series of synthetic simulations and real data applications of neural networks. Sensitivity analysis is also performed to provide insights into how changes in hyperparameter values affect prediction accuracy.


title: Controllable gas sensitivity of Mg/CuO nanocomposite films measured in methanol vapor

abstract: The gas sensitivity of Mg/CuO nanocomposite films, characterized by varying mass ratios of Mg:CuO, was assessed under exposure to 1000 ppm of methanol vapor. Films were fabricated by the doctor blade method on conductive and nonconductive glass substrates. Structural and optical analyses were conducted using XRD and UV-Visible spectrums. The XRD patterns facilitated the estimation of crystallite size, dislocation density and strain. The optical band gap of the samples was determined from UV-Visible spectrums. Despite variations in crystallite size, dislocation density and strain in response to changing Mg concentrations in nanocomposites, no discernible shift in the band gap was observed. The mass percentage of Mg in nanocomposite was incrementally altered from 10% to 20% in steps of 5%. Due to the adsorption of methanol vapor, the resistivity of the sample decreased significantly. Gas sensitivity exhibited variance ranging from 3.79 for pure CuO to 1.23 for nanocomposite with 20%Mg. The sample with 10%Mg quickly responded to methanol vapor compared to pure CuO and other nanocomposites. Keywords: CuO, nanocomposites, gas sensors, XRD, UV-Visible spectrums


title: Multimode characterization of an optical beam deflection setup

abstract: Optical beam deflection is a popular method to measure the deformation of micro-mechanical devices. As it measures mostly a local slope, its sensitivity depends on the location and size of the optical spot. We present a method to evaluate precisely these parameters, using the relative amplitude of the thermal noise induced vibrations. With a case study of a micro-cantilever, we demonstrate the accuracy of the approach, as well as its ability to fully characterize the sensitivity of the detector, and the parameters (mass, stiffness) of the resonator.


title: RSCNet: Dynamic CSI Compression for Cloud-based WiFi Sensing

abstract: WiFi-enabled Internet-of-Things (IoT) devices are evolving from mere communication devices to sensing instruments, leveraging Channel State Information (CSI) extraction capabilities. Nevertheless, resource-constrained IoT devices and the intricacies of deep neural networks necessitate transmitting CSI to cloud servers for sensing. Although feasible, this leads to considerable communication overhead. In this context, this paper develops a novel Real-time Sensing and Compression Network (RSCNet) which enables sensing with compressed CSI; thereby reducing the communication overheads. RSCNet facilitates optimization across CSI windows composed of a few CSI frames. Once transmitted to cloud servers, it employs Long Short-Term Memory (LSTM) units to harness data from prior windows, thus bolstering both the sensing accuracy and CSI reconstruction. RSCNet adeptly balances the trade-off between CSI compression and sensing precision, thus streamlining real-time cloud-based WiFi sensing with reduced communication costs. Numerical findings demonstrate the gains of RSCNet over the existing benchmarks like SenseFi, showcasing a sensing accuracy of 97.4% with minimal CSI reconstruction error. Numerical results also show a computational analysis of the proposed RSCNet as a function of the number of CSI frames.


title: Detecting Generated Native Ads in Conversational Search

abstract: Conversational search engines such as YouChat and Microsoft Copilot use large language models (LLMs) to generate responses to queries. It is only a small step to also let the same technology insert ads within the generated responses - instead of separately placing ads next to a response. Inserted ads would be reminiscent of native advertising and product placement, both of which are very effective forms of subtle and manipulative advertising. Considering the high computational costs associated with LLMs, for which providers need to develop sustainable business models, users of conversational search engines may very well be confronted with generated native ads in the near future. In this paper, we thus take a first step to investigate whether LLMs can also be used as a countermeasure, i.e., to block generated native ads. We compile the Webis Generated Native Ads 2024 dataset of queries and generated responses with automatically inserted ads, and evaluate whether LLMs or fine-tuned sentence transformers can detect the ads. In our experiments, the investigated LLMs struggle with the task but sentence transformers achieve precision and recall values above 0.9.


title: Marker+Codeword+Marker: A Coding Structure for Segmented Single-Insdel/-Edit Channels

abstract: An insdel refers to a deletion or an insertion, and an edit refers to an insdel or a substitution. In this paper, we consider the segmented single-insdel (resp. single-edit) channel, where the channel's input bit stream is partitioned into segments of length $n$ and each segment can suffer from at most a single insdel (resp. edit) error. The value of $n$ is known to the receiver but the boundaries of segments are not. We propose to encode each segment following a marker+codeword+marker structure, where the two markers are carefully selected and the codewords are chosen from Varshamov-Tenegolts (VT) codes. In this way, we are able to construct a new class of binary codes that can correct segmented single-insdel errors. Our codes have the lowest redundancy of $\log_2(n-6)+7$ bits and are the first one that has linear-time encoder/decoder in the literature. Moreover, by enhancing the VT codes and one of the markers, we are able to construct the first class of binary codes that can correct segmented single-edit errors. This class of codes has redundancy $\log_2(n-9)+10$ bits and has linear-time encoder/decoder.


title: Leveraging knowledge-as-a-service (KaaS) for QoS-aware resource management in multi-user video transcoding

abstract: The coexistence of parallel applications in shared computing nodes, each one featuring different Quality of Service (QoS) requirements, carries out new challenges to improve resource occupation while keeping acceptable rates in terms of QoS. As more application-specific and system-wide metrics are included as QoS dimensions, or under situations in which resource-usage limits are strict, building and serving the most appropriate set of actions (application control knobs and system resource assignment) to concurrent applications in an automatic and optimal fashion becomes mandatory. In this paper, we propose strategies to build and serve this type of knowledge to concurrent applications by leveraging Reinforcement Learning techniques. Taking multi-user video transcoding as a driving example, our experimental results reveal an excellent adaptation of resource and knob management to heterogeneous QoS requests, and increases in the amount of concurrently served users up to 1.24x compared with alternative approaches considering homogeneous QoS requests.


title: A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration

abstract: The probabilistic formal verification (PFV) of AI systems is in its infancy. So far, approaches have been limited to ad-hoc algorithms for specific classes of models and/or properties. We propose a unifying framework for the PFV of AI systems based onWeighted Model Integration (WMI), which allows to frame the problem in very general terms. Crucially, this reduction enables the verification of many properties of interest, like fairness, robustness or monotonicity, over a wide range of machine learning models, without making strong distributional assumptions. We support the generality of the approach by solving multiple verification tasks with a single, off-the-shelf WMI solver, then discuss the scalability challenges and research directions related to this promising framework.


title: The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations

abstract: When working in Homotopy Type Theory and Univalent Foundations, the traditional role of the category of sets, Set, is replaced by the category hSet of homotopy sets (h-sets); types with h-propositional identity types. Many of the properties of Set hold for hSet ((co)completeness, exactness, local cartesian closure, etc.). Notably, however, the univalence axiom implies that Ob(hSet) is not itself an h-set, but an h-groupoid. This is expected in univalent foundations, but it is sometimes useful to also have a stricter universe of sets, for example when constructing internal models of type theory. In this work, we equip the type of iterative sets V0, due to Gylterud (2018) as a refinement of the pioneering work of Aczel (1978) on universes of sets in type theory, with the structure of a Tarski universe and show that it satisfies many of the good properties of h-sets. In particular, we organize V0 into a (non-univalent strict) category and prove that it is locally cartesian closed. This enables us to organize it into a category with families with the structure necessary to model extensional type theory internally in HoTT/UF. We do this in a rather minimal univalent type theory with W-types, in particular we do not rely on any HITs, or other complex extensions of type theory. Furthermore, the construction of V0 and the model is fully constructive and predicative, while still being very convenient to work with as the decoding from V0 into h-sets commutes definitionally for all type constructors. Almost all of the paper has been formalized in Agda using the agda-unimath library of univalent mathematics.


title: Deep Reinforcement Learning with Dynamic Graphs for Adaptive Informative Path Planning

abstract: Autonomous robots are often employed for data collection due to their efficiency and low labour costs. A key task in robotic data acquisition is planning paths through an initially unknown environment to collect observations given platform-specific resource constraints, such as limited battery life. Adaptive online path planning in 3D environments is challenging due to the large set of valid actions and the presence of unknown occlusions. To address these issues, we propose a novel deep reinforcement learning approach for adaptively replanning robot paths to map targets of interest in unknown 3D environments. A key aspect of our approach is a dynamically constructed graph that restricts planning actions local to the robot, allowing us to quickly react to newly discovered obstacles and targets of interest. For replanning, we propose a new reward function that balances between exploring the unknown environment and exploiting online-collected data about the targets of interest. Our experiments show that our method enables more efficient target detection compared to state-of-the-art learning and non-learning baselines. We also show the applicability of our approach for orchard monitoring using an unmanned aerial vehicle in a photorealistic simulator.


title: Dynamic Coalition Portfolio Selection with Recursive Utility

abstract: In this paper, we consider a dynamic coalition portfolio selection problem, with each agent's objective given by an Epstein--Zin recursive utility. To find a Pareto optimum, the coalition's problem is formulated as an optimization problem evolved by a multi-dimensional forward-backward SDE. Since the evolution system has a forward-backward structure, the problem is intrinsically time-inconsistent. With the dynamic-game point of view, we rigorously develop an approach to finding the equilibrium Pareto investment-consumption strategy. We find that the relationship between risk aversion and EIS has more influence on the coalition's problem than that on the one-agent problem. More interestingly, we show that the equilibrium Pareto consumption strategy associated with the recursive utility is much more effective than that associated with the CRRA expected utility, which highlights the feature of recursive utilities that the marginal benefit of consumption can depend on the future consumption.


title: Learning from the Best: Active Learning for Wireless Communications

abstract: Collecting an over-the-air wireless communications training dataset for deep learning-based communication tasks is relatively simple. However, labeling the dataset requires expert involvement and domain knowledge, may involve private intellectual properties, and is often computationally and financially expensive. Active learning is an emerging area of research in machine learning that aims to reduce the labeling overhead without accuracy degradation. Active learning algorithms identify the most critical and informative samples in an unlabeled dataset and label only those samples, instead of the complete set. In this paper, we introduce active learning for deep learning applications in wireless communications, and present its different categories. We present a case study of deep learning-based mmWave beam selection, where labeling is performed by a compute-intensive algorithm based on exhaustive search. We evaluate the performance of different active learning algorithms on a publicly available multi-modal dataset with different modalities including image and LiDAR. Our results show that using an active learning algorithm for class-imbalanced datasets can reduce labeling overhead by up to 50% for this dataset while maintaining the same accuracy as classical training.


title: Benefits and Limitations of Web3

abstract: Web3 provides users and service providers several benefits not found in Web2. However, despite the benefits provided, Web3 faces several obstacles that prevent the paradigm from gaining widespread adoption. Developers should understand the benefits and limitations of the technology in order to create more accessible Web3 smart applications.


title: The Strain of Success: A Predictive Model for Injury Risk Mitigation and Team Success in Soccer

abstract: In this paper, we present a novel sequential team selection model in soccer. Specifically, we model the stochastic process of player injury and unavailability using player-specific information learned from real-world soccer data. Monte-Carlo Tree Search is used to select teams for games that optimise long-term team performance across a soccer season by reasoning over player injury probability. We validate our approach compared to benchmark solutions for the 2018/19 English Premier League season. Our model achieves similar season expected points to the benchmark whilst reducing first-team injuries by ~13% and the money inefficiently spent on injured players by ~11% - demonstrating the potential to reduce costs and improve player welfare in real-world soccer teams.


title: Discrete-time staged progression epidemic models

abstract: In the Staged Progression (SP) epidemic models, infected individuals are classified into a suitable number of states. The goal of these models is to describe as closely as possible the effect of differences in infectiousness exhibited by individuals going through the different stages. The main objective of this work is to study, from the methodological point of view, the behavior of solutions of the discrete time SP models without reinfection and with a general incidence function. Besides calculating $\mathcal{R}_{0}$, we find bounds for the epidemic final size, characterize the asymptotic behavior of the infected classes, give results about the final monotonicity of the infected classes, and obtain results regarding the initial dynamics of the prevalence of the disease. Moreover, we incorporate into the model the probability distribution of the number of contacts in order to make the model amenable to study its effect in the dynamics of the disease.


title: Clouds and Seasonality on Terrestrial Planets with Varying Rotation Rates

abstract: Using an idealised climate model incorporating seasonal forcing, we investigate the impact of rotation rate on the abundance of clouds on an Earth-like aquaplanet, and the resulting impacts upon albedo and seasonality. We show that the cloud distribution varies significantly with season, depending strongly on the rotation rate, and is well explained by the large-scale circulation and atmospheric state. Planetary albedo displays non-monotonic behaviour with rotation rate, peaking at around 1/2$\Omega_E$. Clouds reduce the surface temperature and total precipitation relative to simulations without clouds at all rotation rates, and reduce the dependence of total precipitation on rotation rate, causing non-monotonic behaviour and a local maximum around 1/8$\Omega_E$ ; these effects are related to the impacts of clouds on the net atmospheric and surface radiative energy budgets. Clouds also affect the seasonality. The influence of clouds on the extent of the winter Hadley cell and the intertropical convergence zone is relatively minor at slow rotation rates ($<$1/8$\Omega_E$ ), but becomes more pronounced at intermediate rotation rates, where clouds decrease their maximum latitudes. The timing of seasonal transitions varies with rotation rate, and the addition of clouds reduces the seasonal phase lag.


title: Research on Mobile Network High-precision Absolute Time Synchronization based on TAP

abstract: With the development of mobile communication and industrial internet technologies, the demand for robust absolute time synchronization based on network for diverse scenarios is significantly growing. TAP is a novel network timing method that aims to achieve sub-microsecond synchronization over air interface. This paper investigates the improvement and end-to-end realization of TAP. This paper first analyzes the effectiveness and deficiencies of TAP by establishing an equivalent clock model which evaluates TAP from timing error composition and allan variance. Second, this paper proposes a detailed base station and terminal design and the corresponding improvement of TAP. Both hardware compensation and protocol software design are taken into account so as to minimize timing error and system cost while maximizing compatibility with 3GPP. Finally, this paper presents a TAP end-to-end 5G prototype system developed based on software defined radio base station and COTS baseband module. The field test results show that the proposed scheme effectively solves the problems of TAP in application and robustly achieves 200ns level timing accuracy in various situations. The average accuracy with long observations can reach 1 nanosecond. It is 2$\sim$3 orders of magnitude better than common network timing methods, including NTP, PTP and the original TAP.


title: L4Q: Parameter Efficient Quantization-Aware Fine-Tuning on Large Language Models

abstract: Due to the high memory and computational costs associated with Large Language Models, model compression via quantization and parameter-efficient fine-tuning (PEFT) methods, such as low-rank adaptation (LoRA), are gaining popularity. This has led to active research on quantization-aware PEFT techniques, which aim to create models with high accuracy and low memory overhead. Among quantization methods, post-training quantization (PTQ) is more commonly used in previous works than quantization-aware training (QAT), despite QAT's potential for higher accuracy. This preference is due to PTQ's low training overhead. However, PTQ-based PEFT methods often utilize high-precision parameters, making it difficult to fully exploit the efficiency of quantization. Additionally, they have limited adaptation ability due to a reduced and constrained LoRA parameter structure. To overcome these challenges, we propose L4Q, which leverages joint quantization and fine-tuning to reduce QAT's memory overhead and produce models that consist entirely of quantized weights while achieving effective adaptation to downstream tasks. By design, L4Q allows quantization parameters to reflect weight updates, while weight updates reduce quantization errors. Our experiments demonstrate that this coupled quantization and fine-tuning approach yields superior accuracy compared to decoupled fine-tuning schemes in sub-4-bit quantization. Using the LLaMA model families and instructional datasets, we showcase L4Q's capabilities in language tasks and few-shot in-context learning.


title: Spin-Wave-Assisted Thermal Reversal of Epitaxial Perpendicular Magnetic Nanodots

abstract: The magnetic susceptibility of self-organized two-dimensional Co nanodots on Au(111) has been measured as a function of their size in the 2-7~nm diameter range. We show that the activation energy for the thermal reversal displays a power law behavior with the dot volume. Atomic scale simulations based on the Heisenberg hamiltonian show that this behavior is due to a deviation from the macrospin model for dot size as small as 3~nm in diameter. This discrepancy is attributed to finite temperature effects through the thermal excitation of spin-wave modes inside the particles


title: Predicting Interstellar Object Chemodynamics with Gaia

abstract: The interstellar object population of the Milky Way is a product of its stars. However, what is in fact a complex structure in the Solar neighbourhood has traditionally in ISO studies been described as smoothly distributed. Using a debiased stellar population derived from the Gaia DR3 stellar sample, we infer that the velocity distribution of ISOs is far more textured than a smooth Gaussian. The moving groups caused by Galactic resonances dominate the distribution. 1I/`Oumuamua and 2I/Borisov have entirely normal places within these distributions; 1I is within the non-coeval moving group that includes the Matariki (Pleiades) cluster, and 2I within the Coma Berenices moving group. We show that for the composition of planetesimals formed beyond the ice line, these velocity structures also have a chemodynamic component. This variation will be visible on the sky. We predict that this richly textured distribution will be differentiable from smooth Gaussians in samples that are within the expected discovery capacity of the Vera C. Rubin Observatory. Solar neighbourhood ISOs will be of all ages and come from a dynamic mix of many different populations of stars, reflecting their origins from all around the Galactic disk.


title: How much strangeness is needed for the axial-vector form factor of the nucleon?

abstract: We consider the axial-vector together with its induced pseudo-scalar form factor of the nucleon as computed from the chiral Lagrangian with nucleon and isobar degrees of freedom. The form factors are evaluated at the one-loop level, where particular emphasis is put on the use of on-shell masses in the loop expressions. Our results are presented in terms of a novel set of basis functions that generalize the Passarino--Veltman scheme to the case where power-counting violating structures are to be subtracted. The particularly important role of the isobar degrees of freedom is emphasized. We obtain a significant and simultaneous fit to the available Lattice QCD results based on flavour SU(2) ensembles for the baryon masses and form factors up to pion masses of about 500 MeV. Our fits includes sizeable finite volume effects that are implied by using in-box values for the hadron masses entering our one-loop expressions. We conclude that from flavour SU(2) ensembles it appears not possible to predict the empirical formfactor at the desired precision. Effects from strange quarks are expected to remedy the situation.


title: Conformal Convolution and Monte Carlo Meta-learners for Predictive Inference of Individual Treatment Effects

abstract: Knowledge of the effect of interventions, known as the treatment effect, is paramount for decision-making. Approaches to estimating this treatment effect using conditional average treatment effect (CATE) meta-learners often provide only a point estimate of this treatment effect, while additional uncertainty quantification is frequently desired to enhance decision-making confidence. To address this, we introduce two novel approaches: the conformal convolution T-learner (CCT-learner) and conformal Monte Carlo (CMC) meta-learners. The approaches leverage weighted conformal predictive systems (WCPS), Monte Carlo sampling, and CATE meta-learners to generate predictive distributions of individual treatment effect (ITE) that could enhance individualized decision-making. Although we show how assumptions about the noise distribution of the outcome influence the uncertainty predictions, our experiments demonstrate that the CCT- and CMC meta-learners achieve strong coverage while maintaining narrow interval widths. They also generate probabilistically calibrated predictive distributions, providing reliable ranges of ITEs across various synthetic and semi-synthetic datasets. Code: https://github.com/predict-idlab/cct-cmc


title: On a Combinatorial Problem Arising in Machine Teaching

abstract: We study a model of machine teaching where the teacher mapping is constructed from a size function on both concepts and examples. The main question in machine teaching is the minimum number of examples needed for any concept, the so-called teaching dimension. A recent paper [7] conjectured that the worst case for this model, as a function of the size of the concept class, occurs when the consistency matrix contains the binary representations of numbers from zero and up. In this paper we prove their conjecture. The result can be seen as a generalization of a theorem resolving the edge isoperimetry problem for hypercubes [12], and our proof is based on a lemma of [10].


title: Explicit lower bounds for the height in Galois extensions of number fields

abstract: Amoroso and Masser proved that for every real $\epsilon > 0$, there exists a constant $c(\epsilon)>0$, such that for every algebraic number $\alpha$ with $\mathbb{Q}(\alpha)/\mathbb{Q}$ being a Galois extension, the height of $\alpha$ is either 0 or at least $c(\epsilon) [\mathbb{Q}(\alpha):\mathbb{Q}]^{-\epsilon}$. In this article we establish an explicit version of this theorem.


title: Entanglement Definitions for Tethered Robots: Exploration and Analysis

abstract: In this article we consider the problem of tether entanglement for tethered robots. In many applications, such as maintenance of underwater structures, aerial inspection, and underground exploration, tethered robots are often used in place of standalone (i.e., untethered) ones. However, the presence of a tether also introduces the risk for it to get entangled with obstacles present in the environment or with itself. To avoid these situations, a non-entanglement constraint can be considered in the motion planning problem for tethered robots. This constraint can be expressed either as a set of specific tether configurations that must be avoided, or as a quantitative measure of a `level of entanglement' that can be minimized. However, the literature lacks a generally accepted definition of entanglement, with existing definitions being limited and partial. Namely, the existing entanglement definitions either require a taut tether to come into contact with an obstacle or with another tether, or they require for the tether to do a full loop around an obstacle. In practice, this means that the existing definitions do not effectively cover all instances of tether entanglement. Our goal in this article is to bridge this gap and provide new definitions of entanglement, which, together with the existing ones, can be effectively used to qualify the entanglement state of a tethered robot in diverse situations. The new definitions find application mainly in motion planning for tethered robot systems, where they can be used to obtain more safe and robust entanglement-free trajectories. The present article focuses exclusively on the presentation and analysis of the entanglement definitions. The application of the definitions to the motion planning problem is left for future work.


title: Exploring responsible applications of Synthetic Data to advance Online Safety Research and Development

abstract: The use of synthetic data provides an opportunity to accelerate online safety research and development efforts while showing potential for bias mitigation, facilitating data storage and sharing, preserving privacy and reducing exposure to harmful content. However, the responsible use of synthetic data requires caution regarding anticipated risks and challenges. This short report explores the potential applications of synthetic data to the domain of online safety, and addresses the ethical challenges that effective use of the technology may present.


title: What Values Do ImageNet-trained Classifiers Enact?

abstract: We identify "values" as actions that classifiers take that speak to open questions of significant social concern. Investigating a classifier's values builds on studies of social bias that uncover how classifiers participate in social processes beyond their creators' forethought. In our case, this participation involves what counts as nutritious, what it means to be modest, and more. Unlike AI social bias, however, a classifier's values are not necessarily morally loathsome. Attending to image classifiers' values can facilitate public debate and introspection about the future of society. To substantiate these claims, we report on an extensive examination of both ImageNet training/validation data and ImageNet-trained classifiers with custom testing data. We identify perceptual decision boundaries in 118 categories that address open questions in society, and through quantitative testing of rival datasets we find that ImageNet-trained classifiers enact at least 7 values through their perceptual decisions. To contextualize these results, we develop a conceptual framework that integrates values, social bias, and accuracy, and we describe a rhetorical method for identifying how context affects the values that a classifier enacts. We also discover that classifier performance does not straightforwardly reflect the proportions of subgroups in a training set. Our findings bring a rich sense of the social world to ML researchers that can be applied to other domains beyond computer vision.


title: Towards Biologically Plausible and Private Gene Expression Data Generation

abstract: Generative models trained with Differential Privacy (DP) are becoming increasingly prominent in the creation of synthetic data for downstream applications. Existing literature, however, primarily focuses on basic benchmarking datasets and tends to report promising results only for elementary metrics and relatively simple data distributions. In this paper, we initiate a systematic analysis of how DP generative models perform in their natural application scenarios, specifically focusing on real-world gene expression data. We conduct a comprehensive analysis of five representative DP generation methods, examining them from various angles, such as downstream utility, statistical properties, and biological plausibility. Our extensive evaluation illuminates the unique characteristics of each DP generation method, offering critical insights into the strengths and weaknesses of each approach, and uncovering intriguing possibilities for future developments. Perhaps surprisingly, our analysis reveals that most methods are capable of achieving seemingly reasonable downstream utility, according to the standard evaluation metrics considered in existing literature. Nevertheless, we find that none of the DP methods are able to accurately capture the biological characteristics of the real dataset. This observation suggests a potential over-optimistic assessment of current methodologies in this field and underscores a pressing need for future enhancements in model design.


title: Hashing Beam Training for Near-Field Integrated Sensing and Communication Systems

abstract: In millimeter-wave (mmWave) integrated sensing and communication networks, users may be within the coverage of multiple access points (AP), which typically employ large-scale antenna arrays to mitigate obstacle occlusion and path loss. However, large-scale arrays generate pencil-shaped beams, which necessitate a higher number of training beams to cover the desired space. Furthermore, as the antenna aperture increases, users are more likely to be situated in the near-field region of the AP antenna array. This motivates our investigation into the near-field beam training problem to achieve effective positioning services. To address the high complexity and low identification accuracy of existing beam training techniques, we propose an efficient hashing multi-arm beam (HMB) training scheme for the near-field scenario. Specifically, we first construct a near-field single-beam training codebook for the uniform planar arrays. Then, the hash functions are chosen independently to construct the multi-arm beam training codebooks for each AP. All APs traverse the predefined multi-arm beam training codeword simultaneously and the multi-AP superimposed signals at the user are recorded. Finally, the soft decision and voting methods are applied to obtain the correctly aligned beams only based on the signal powers. In addition, we logically prove that the traversal complexity is at the logarithmic level. Simulation results show that our proposed near-field HMB training method can achieve 96.4% identification accuracy of the exhaustive beam training method and greatly reduce the training overhead. Furthermore, we verify its applicability under the far-field scenario as well.


title: Personalized Text Generation with Fine-Grained Linguistic Control

abstract: As the text generation capabilities of large language models become increasingly prominent, recent studies have focused on controlling particular aspects of the generated text to make it more personalized. However, most research on controllable text generation focuses on controlling the content or modeling specific high-level/coarse-grained attributes that reflect authors' writing styles, such as formality, domain, or sentiment. In this paper, we focus on controlling fine-grained attributes spanning multiple linguistic dimensions, such as lexical and syntactic attributes. We introduce a novel benchmark to train generative models and evaluate their ability to generate personalized text based on multiple fine-grained linguistic attributes. We systematically investigate the performance of various large language models on our benchmark and draw insights from the factors that impact their performance. We make our code, data, and pretrained models publicly available.


title: Moco: A Learnable Meta Optimizer for Combinatorial Optimization

abstract: Relevant combinatorial optimization problems (COPs) are often NP-hard. While they have been tackled mainly via handcrafted heuristics in the past, advances in neural networks have motivated the development of general methods to learn heuristics from data. Many approaches utilize a neural network to directly construct a solution, but are limited in further improving based on already constructed solutions at inference time. Our approach, Moco, learns a graph neural network that updates the solution construction procedure based on features extracted from the current search state. This meta training procedure targets the overall best solution found during the search procedure given information such as the search budget. This allows Moco to adapt to varying circumstances such as different computational budgets. Moco is a fully learnable meta optimizer that does not utilize any problem specific local search or decomposition. We test Moco on the Traveling Salesman Problem (TSP) and Maximum Independent Set (MIS) and show that it outperforms other approaches on MIS and is overall competitive on the TSP, especially outperforming related approaches, partially even if they use additional local search.


title: Simple inexpensive vertex and edge invariants distinguishing dataset strongly regular graphs

abstract: While standard Weisfeiler-Leman vertex labels are not able to distinguish even vertices of regular graphs, there is proposed and tested family of inexpensive polynomial time vertex and edge invariants, distinguishing much more difficult SRGs (strongly regular graphs), also often their vertices. Among 43717 SRGs from dataset by Edward Spence, proposed vertex invariants alone were able to distinguish all but 4 pairs of graphs, which were easily distinguished by further application of proposed edge invariants. Specifically, proposed vertex invariants are traces or sorted diagonals of $(A|_{N_a})^p$ adjacency matrix $A$ restricted to $N_a$ neighborhood of vertex $a$, already for $p=3$ distinguishing all SRGs from 6 out of 13 sets in this dataset, 8 if adding $p=4$. Proposed edge invariants are analogously traces or diagonals of powers of $\bar{A}_{ab,cd}=A_{ab} A_{ac} A_{bd}$, nonzero for $(a,b)$ being edges. As SRGs are considered the most difficult cases for graph isomorphism problem, such algebraic-combinatorial invariants bring hope that this problem is polynomial time.


title: Maximal displacement of a time-inhomogeneous N(T)-particles branching Brownian motion

abstract: The $N$-particles branching Brownian motion ($N$-BBM) is a branching Markov process which describes the evolution of a population of particles undergoing reproduction and selection. It shares many properties with the $N$-particles branching random walk ($N$-BRW), which itself is strongly related to physical $p$-spin models, or to Derrida's Random Energy Model. The $N$-BRW can also be seen as the realization of an optimization algorithm over hierarchical data, which is often called beam search. More precisely, the maximal displacement of the $N$-BRW (or $N$-BBM) can be seen as the output of the beam search algorithm; and the population size $N$ is the ``width'' of the beam, and (almost) matches the computational complexity of the algorithm. In this paper, we investigate the maximal displacement at time $T$ of an $N$-BBM, where $N=N(T)$ is picked arbitrarily depending on $T$ and the diffusion of the process $\sigma(\cdot)$ is inhomogeneous in time. We prove the existence of a transition in the second order of the maximal displacement when $\log N(T)$ is of order $T^{1/3}$. When $\log N(T)\ll T^{1/3}$, the maximal displacement behaves according to the Brunet-Derrida correction which has already been studied for $N$ a large constant and for $\sigma$ constant. When $\log N(T)\gg T^{1/3}$, the output of the algorithm (i.e. the maximal displacement) is subject to two phenomena: on the one hand it begins to grow very slowly (logarithmically) in terms of the complexity $N$; and on the other hand its dependency in the time-inhomogeneity $\sigma(\cdot)$ becomes more intricate. The transition at $\log N(T)\approx T^{1/3}$ can be interpreted as an ``efficiency ceiling'' in the output of the beam search algorithm, which extends previous results from Addario-Berry and Maillard regarding an algorithm hardness threshold for optimization over the Continuous Random Energy Model.


title: Prompting Implicit Discourse Relation Annotation

abstract: Pre-trained large language models, such as ChatGPT, archive outstanding performance in various reasoning tasks without supervised training and were found to have outperformed crowdsourcing workers. Nonetheless, ChatGPT's performance in the task of implicit discourse relation classification, prompted by a standard multiple-choice question, is still far from satisfactory and considerably inferior to state-of-the-art supervised approaches. This work investigates several proven prompting techniques to improve ChatGPT's recognition of discourse relations. In particular, we experimented with breaking down the classification task that involves numerous abstract labels into smaller subtasks. Nonetheless, experiment results show that the inference accuracy hardly changes even with sophisticated prompt engineering, suggesting that implicit discourse relation classification is not yet resolvable under zero-shot or few-shot settings.


title: Modeling and Calibration of Gaia, Hipparcos, and Tycho-2 astrometric data for the detection of dark companions

abstract: Hidden within the Gaia satellite's multiple data releases lies a valuable cache of dark companions. To facilitate the efficient and reliable detection of these companions via combined analyses involving Gaia, Hipparcos, and Tycho-2 catalogs, we introduce an astrometric modeling framework. This method incorporates analytical least square minimization and nonlinear parameter optimization techniques to a set of common calibration sources across the different space-based astrometric catalogues. This enables us to discern the error inflation, astrometric jitter, differential parallax zero-point, and frame rotation of various catalogues relative to Gaia DR3. Our findings yield the most precise Gaia DR2 calibration parameters to date, revealing notable dependencies on magnitude and color. Intriguingly, we identify sub-mas frame rotation between Gaia DR1 and DR3, along with an estimated astrometric jitter of 2.16 mas for the revised Hipparcos catalog. In a thorough comparative analysis with previous studies, we offer recommendations on calibrating and utilizing different catalogs for companion detection. Furthermore, we provide a user-friendly pipeline (https://github.com/ruiyicheng/Download_HIP_Gaia_GOST) for catalog download and bias correction, enhancing accessibility and usability within the scientific community.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: Characterization of the Surface Charge Property and Porosity of Track-etched Polymer Membranes

abstract: As an important property of porous membranes, the surface charge property determines many ionic behaviors of nanopores, such as ionic conductance and selectivity. Based on the dependence of electric double layers on bulk concentrations, ionic conductance through nanopores at high and low concentrations is governed by the bulk conductance and surface charge density, respectively. Here, through the investigation of ionic conductance inside track-etched single polyethylene terephthalate (PET) nanopores under various concentrations, the surface charge density of PET membranes is extracted as around 0.021 C per m2 at pH 10 over measurements with 40 PET nanopores. Simulations show that surface roughness can cause underestimation in surface charge density due to the inhibited electroosmotic flow. Then, the averaged pore size and porosity of track-etched multipore PET membranes are characterized by the developed ionic conductance method. Through coupled theoretical predictions in ionic conductance under high and low concentrations, the averaged pore size and porosity of porous membranes can be obtained simultaneously. Our method provides a simple and precise way to characterize the pore size and porosity of multipore membranes, especially for those with sub-100 nm pores and low porosities.


title: Is Two-shot All You Need? A Label-efficient Approach for Video Segmentation in Breast Ultrasound

abstract: Breast lesion segmentation from breast ultrasound (BUS) videos could assist in early diagnosis and treatment. Existing video object segmentation (VOS) methods usually require dense annotation, which is often inaccessible for medical datasets. Furthermore, they suffer from accumulative errors and a lack of explicit space-time awareness. In this work, we propose a novel two-shot training paradigm for BUS video segmentation. It not only is able to capture free-range space-time consistency but also utilizes a source-dependent augmentation scheme. This label-efficient learning framework is validated on a challenging in-house BUS video dataset. Results showed that it gained comparable performance to the fully annotated ones given only 1.9% training labels.


title: Voronoi Candidates for Bayesian Optimization

abstract: Bayesian optimization (BO) offers an elegant approach for efficiently optimizing black-box functions. However, acquisition criteria demand their own challenging inner-optimization, which can induce significant overhead. Many practical BO methods, particularly in high dimension, eschew a formal, continuous optimization of the acquisition function and instead search discretely over a finite set of space-filling candidates. Here, we propose to use candidates which lie on the boundary of the Voronoi tessellation of the current design points, so they are equidistant to two or more of them. We discuss strategies for efficient implementation by directly sampling the Voronoi boundary without explicitly generating the tessellation, thus accommodating large designs in high dimension. On a battery of test problems optimized via Gaussian processes with expected improvement, our proposed approach significantly improves the execution time of a multi-start continuous search without a loss in accuracy.


title: Jet transport coefficients by elastic and radiative scatterings in the strongly interacting quark-gluon plasma

abstract: We extend the investigation on jet transport coefficients within the effective Dynamical QuasiParticle Model (DQPM) -- constructed for the description of non-perturbative QCD phenomena of the strongly interacting quark-gluon plasma (sQGP) in line with the lattice QCD equation-of-state -- by accounting for inelastic $2\to 3$ reactions with gluon radiation additionally to the elastic scattering of partons. The elastic and inelastic reactions are calculated explicitly within leading-order Feynman diagrams with effective propagators and vertices from the DQPM by accounting for all channels and their interferences. We present the results for the jet transport coefficients such as the transverse momentum transfer squared $\hat{q}$ per unit length as well as the energy loss $\Delta E = dE/dx$ per unit length in the sQGP and investigate their dependence on the temperature $T$ and momentum of the jet parton depending on the choice of the strong coupling constant $\alpha_s$ in thermal, jet parton and radiative vertices. For the latter we consider different scenarios used in the literature and find a very strong dependence of $\hat q$ and $\Delta E$ on the choice of $\alpha_s$. Moreover, we explore the relation of $\hat{q}/T^3$ to the ratio of specific shear viscosity to entropy density $\eta/s$ and show that the ratio $T^3/\hat{q}$ to $\eta/s$ has a strong $T$ dependence -- especially when approaching to $T_c$ -- on the choice of $\alpha_s$ in scattering vertices.


title: Two Trades is not Baffled: Condensing Graph via Crafting Rational Gradient Matching

abstract: Training on large-scale graphs has achieved remarkable results in graph representation learning, but its cost and storage have raised growing concerns. As one of the most promising directions, graph condensation methods address these issues by employing gradient matching, aiming to condense the full graph into a more concise yet information-rich synthetic set. Though encouraging, these strategies primarily emphasize matching directions of the gradients, which leads to deviations in the training trajectories. Such deviations are further magnified by the differences between the condensation and evaluation phases, culminating in accumulated errors, which detrimentally affect the performance of the condensed graphs. In light of this, we propose a novel graph condensation method named \textbf{C}raf\textbf{T}ing \textbf{R}ationa\textbf{L} trajectory (\textbf{CTRL}), which offers an optimized starting point closer to the original dataset's feature distribution and a more refined strategy for gradient matching. Theoretically, CTRL can effectively neutralize the impact of accumulated errors on the performance of condensed graphs. We provide extensive experiments on various graph datasets and downstream tasks to support the effectiveness of CTRL. Code is released at https://github.com/NUS-HPC-AI-Lab/CTRL.


title: TP-Aware Dequantization

abstract: In this paper, we present a novel method that reduces model inference latency during distributed deployment of Large Language Models (LLMs). Our contribution is an optimized inference deployment scheme that address the current limitations of state-of-the-art quantization kernels when used in conjunction with Tensor Parallel (TP). Our method preserves data locality in GPU memory access patterns and exploits a priori knowledge of TP to reduce global communication. We demonstrate an up to 1.81x speedup over existing methods for Llama-70B and up to 1.78x speedup for IBM WatsonX's Granite-20B MLP layer problem sizes on A100 and H100 NVIDIA DGX Systems for a variety of TP settings.


title: Generalized stochastic processes revisited

abstract: The paper addresses the question whether a random functional, a map from a set $E$ into the space of real-valued measurable functions on a probability space, has a measurable version with values in ${\mathbb R}^E$. Similarly, one may ask whether linear random functionals have versions in the algebraic dual. Most importantly, it can be asked which locally convex topological vector spaces $E$ have the ``regularity property'' that any linear random functional on $E$ has a version with values in the dual $E'$, an important issue in the theory of generalized stochastic processes. It has been shown by It\^{o} and Nawata that this is the case when $E$ is nuclear. However, the question of uniqueness has only been partially answered. We build up a framework where these and related questions can be clarified in terms of spaces and mappings. We study classes of spaces $E$ (beyond nuclear spaces) with the said regularity property, prove a seemingly new uniqueness result and exhibit various examples and counterexamples.


title: Do random initial degrees suppress concentration in preferential attachment graphs?

abstract: We consider the open problem concerning the possible lack of concentration of the degree distribution in preferential attachment graphs with random initial degree, when its distribution is characterized by extremely heavy tails of power-law type. We show that the addition of such a large number of edges causes a significant upset of the degree distribution, leading to its non-concentration. Furthermore, we show that the smallest value of the exponent for which the degree distribution exhibits concentration is 2.


title: Influences of Divalent Ions in Natural Seawater/River Water on Nanofluidic Osmotic Energy Generation

abstract: Besides the dominant NaCl, natural seawater/river water contains trace multivalent ions, which can provide effective screening to surface charges. Here, in both negatively and positively charged nanopores, influences from divalent ions as counterions and coions have been investigated on the performance of osmotic energy conversion (OEC) under natural salt gradients. As counterions, trace Ca2+ ions can suppress the electric power and conversion efficiency significantly. The reduced OEC performance is due to the bivalence and low diffusion coefficient of Ca2 ions, instead of the uphill transport of divalent ions discovered in the previous work. Effectively screened charged surfaces by Ca2+ ions induce enhanced diffusion of Cl ions which simultaneously decreases the net ion penetration and ionic selectivity of the nanopore. While as coions, Ca2+ ions have weak effects on the OEC performance. The promotion from charged exterior surfaces on OEC processes for ultra-short nanopores is also studied, which effective region is ~200 nm in width beyond pore boundaries independent of the presence of Ca2+ ions. Our results shed light on the physical details of the nanofluidic OEC process under natural seawater/river water conditions, which can provide a useful guide for high-performance osmotic energy harvesting.