title: Stationary Representations: Optimally Approximating Compatibility and Implications for Improved Model Replacements

abstract: Learning compatible representations enables the interchangeable use of semantic features as models are updated over time. This is particularly relevant in search and retrieval systems where it is crucial to avoid reprocessing of the gallery images with the updated model. While recent research has shown promising empirical evidence, there is still a lack of comprehensive theoretical understanding about learning compatible representations. In this paper, we demonstrate that the stationary representations learned by the $d$-Simplex fixed classifier optimally approximate compatibility representation according to the two inequality constraints of its formal definition. This not only establishes a solid foundation for future works in this line of research but also presents implications that can be exploited in practical learning scenarios. An exemplary application is the now-standard practice of downloading and fine-tuning new pre-trained models. Specifically, we show the strengths and critical issues of stationary representations in the case in which a model undergoing sequential fine-tuning is asynchronously replaced by downloading a better-performing model pre-trained elsewhere. Such a representation enables seamless delivery of retrieval service (i.e., no reprocessing of gallery images) and offers improved performance without operational disruptions during model replacement. Code available at: https://github.com/miccunifi/iamcl2r.


title: On shrinking targets for linear expanding and hyperbolic toral endomorphisms

abstract: Let $A$ be an invertible $d\times d$ matrix with integer elements. Then $A$ determines a self-map $T$ of the $d$-dimensional torus $\mathbb{T}^d=\mathbb{R}^d/\mathbb{Z}^d$. Given a real number $\tau>0$, and a sequence $\{z_n\}$ of points in $\mathbb{T}^d$, let $W_\tau$ be the set of points $x\in\mathbb{T}^d$ such that $T^n(x)\in B(z_n,e^{-n\tau})$ for infinitely many $n\in\mathbb{N}$. The Hausdorff dimension of $W_\tau$ has previously been studied by Hill--Velani and Li--Liao--Velani--Zorin. We provide complete results on the Hausdorff dimension of $W_\tau$ for any expanding matrix. For hyperbolic matrices, we compute the dimension of $W_\tau$ only when $A$ is a $2 \times 2$ matrix. We give counterexamples to a natural candidate for a dimension formula for general dimension $d$.


title: Explainable Interface for Human-Autonomy Teaming: A Survey

abstract: Nowadays, large-scale foundation models are being increasingly integrated into numerous safety-critical applications, including human-autonomy teaming (HAT) within transportation, medical, and defence domains. Consequently, the inherent 'black-box' nature of these sophisticated deep neural networks heightens the significance of fostering mutual understanding and trust between humans and autonomous systems. To tackle the transparency challenges in HAT, this paper conducts a thoughtful study on the underexplored domain of Explainable Interface (EI) in HAT systems from a human-centric perspective, thereby enriching the existing body of research in Explainable Artificial Intelligence (XAI). We explore the design, development, and evaluation of EI within XAI-enhanced HAT systems. To do so, we first clarify the distinctions between these concepts: EI, explanations and model explainability, aiming to provide researchers and practitioners with a structured understanding. Second, we contribute to a novel framework for EI, addressing the unique challenges in HAT. Last, our summarized evaluation framework for ongoing EI offers a holistic perspective, encompassing model performance, human-centered factors, and group task objectives. Based on extensive surveys across XAI, HAT, psychology, and Human-Computer Interaction (HCI), this review offers multiple novel insights into incorporating XAI into HAT systems and outlines future directions.


title: A new timescale-mass scaling for the optical variation of active galactic nuclei across the intermediate-mass to supermassive scales

abstract: Variability of active galactic nuclei (AGNs) has long been servicing as an essential avenue of exploring the accretion physics of black hole (BH). There are two commonly used methods for analyzing AGN variability. First, the AGN variability, characterized by the structure function (SF) of a single band, can be well described by a damped random walk (DRW) process on timescales longer than ~weeks, shorter than which departures have been reported. Second, the color variation (CV) between two bands behaves timescale-dependent, raising challenges to the widely accepted reprocessing scenario. However, both the departure from the DRW process and the timescale-dependent CV are hitherto limited to AGNs, mainly quasars, at the supermassive scale. Here, utilizing the high-cadence multi-wavelength monitoring on NGC 4395 harboring an intermediate-mass BH, we unveil at the intermediate-mass scale for the first time, prominent departures from the DRW process at timescales shorter than ~hours in all three nights and bands, and plausible timescale-dependent CVs in the two longest nights of observation. Furthermore, comparing SFs of NGC 4395 to four AGNs at the supermassive scale, we suggest a new scaling relation between the timescale (\uptau; across nearly three orders of magnitude) and the BH mass (M_BH): \uptau \propto M^\gamma_BH where the exponent \gamma is likely ~ 0.6 - 0.8. This exponent differs from most previous measurements, but confirms a few and is consistent with a recent theoretical prediction, suggesting a similar accretion process in AGNs across different mass scales.


title: Maximal Guesswork Leakage

abstract: We introduce the study of information leakage through \emph{guesswork}, the minimum expected number of guesses required to guess a random variable. In particular, we define \emph{maximal guesswork leakage} as the multiplicative decrease, upon observing $Y$, of the guesswork of a randomized function of $X$, maximized over all such randomized functions. We also study a pointwise form of the leakage which captures the leakage due to the release of a single realization of $Y$. We also study these two notions of leakage with oblivious (or memoryless) guessing. We obtain closed-form expressions for all these leakage measures, with the exception of one. Specifically, we are able to obtain closed-form expression for maximal guesswork leakage for the binary erasure source only; deriving expressions for arbitrary sources appears challenging. Some of the consequences of our results are -- a connection between guesswork and differential privacy and a new operational interpretation to maximal $\alpha$-leakage in terms of guesswork.


title: Generalizing CLIP to Unseen Domain via Text-Guided Diverse Novel Feature Synthesis

abstract: Vision-language foundation models like CLIP have shown impressive zero-shot generalization, but finetuning on downstream datasets can cause overfitting and loss of its generalization ability on unseen domains. Although collecting additional data from new domains of interest is possible, this method is often impractical due to the challenges in obtaining annotated data. To address this, we propose a plug-and-play feature augmentation method called LDFS (Language-Guided Diverse Feature Synthesis) to synthesize new domain features and improve existing CLIP fine-tuning strategies. LDFS has three main contributions: 1) To synthesize novel domain features and promote diversity, we propose an instance-conditional feature augmentation strategy based on a textguided feature augmentation loss. 2) To maintain feature quality after augmenting, we introduce a pairwise regularizer to preserve augmented feature coherence within the CLIP feature space. 3) We propose to use stochastic text feature augmentation to reduce the modality gap and further facilitate the process of text-guided feature synthesis. Extensive experiments show LDFS superiority in improving CLIP generalization ability on unseen domains without collecting data from those domains. The code will be made publicly available.


title: Analytical approximations for multiple scattering in one-dimensional waveguides with small inclusions

abstract: We propose a new model to approximate the wave response of waveguides containing an arbitrary number of small inclusions. The theory is developed to consider any one-dimensional waveguide (longitudinal, flexural, shear, torsional waves or a combination of them by mechanical coupling), containing small inclusions with different material and/or sectional properties. The exact problem is modelled through the formalism of generalised functions, with the Heaviside function accounting for the discontinuous jump in different sectional properties of the inclusions. For asymptotically small inclusions, the exact solution is shown to be equivalent to the Green's function. We hypothesize that these expressions are also valid when the size of the inclusions are small in comparison to the wavelength, allowing us to approximate small inhomogeneities as regular perturbations to the empty-waveguide (the homogeneous waveguide in the absence of scatterers) as point source terms. By approximating solutions through the Green's function, the multiple scattering problem is considerably simplified, allowing us to develop a general methodology in which the solution is expressed for any model for any elastic waveguide. The advantage of our approach is that, by expressing the constitutive equations in first order form as a matrix, the solutions can be expressed in matrix form; therefore, it is trivial to consider models with more degrees of freedom and to arrive at solutions to multiple scattering problems independent of the elastic model used. The theory is validated with two numerical examples, where we perform an error analysis to demonstrate the validity of the approximate solutions, and we propose a parameter quantifying the expected errors in the approximation dependent upon the parameters of the waveguide.


title: Inexact Adaptive Cubic Regularization Algorithms on Riemannian Manifolds and Application

abstract: The adaptive cubic regularization algorithm employing the inexact gradient and Hessian is proposed on general Riemannian manifolds, together with the iteration complexity to get an approximate second-order optimality under certain assumptions on accuracies about the inexact gradient and Hessian. The algorithm extends the inexact adaptive cubic regularization algorithm under true gradient in [Math. Program., 184(1-2): 35-70, 2020] to more general cases even in Euclidean settings. As an application, the algorithm is applied to solve the joint diagonalization problem on the Stiefel manifold. Numerical experiments illustrate that the algorithm performs better than the inexact trust-region algorithm in [Advances of the neural information processing systems, 31, 2018].


title: Spin dynamics in linear magnetoelectric material Mn$_{3}$Ta$_{2}$O$_{8}$

abstract: We performed inelastic neutron scattering experiments on single crystal samples of a linear magnetoelectric material Mn$_{3}$Ta$_{2}$O$_{8}$, which exhibits a collinear antiferromagnetic order, to reveal the spin dynamics. Numerous modes observed in the neutron spectra were reasonably reproduced by linear spin-wave theory on the basis of the spin Hamiltonian including eight Heisenberg interactions and an easy-plane type single-ion anisotropy. The presence of strong frustration was found in the identified spin Hamiltonian.


title: Performance Evaluation of PAC Decoding with Deep Neural Networks

abstract: By concatenating a polar transform with a convolutional transform, polarization-adjusted convolutional (PAC) codes can reach the dispersion approximation bound in certain rate cases. However, the sequential decoding nature of traditional PAC decoding algorithms results in high decoding latency. Due to the parallel computing capability, deep neural network (DNN) decoders have emerged as a promising solution. In this paper, we propose three types of DNN decoders for PAC codes: multi-layer perceptron (MLP), convolutional neural network (CNN), and recurrent neural network (RNN). The performance of these DNN decoders is evaluated through extensive simulation. Numerical results show that the MLP decoder has the best error-correction performance under a similar model parameter number.


title: Better YOLO with Attention-Augmented Network and Enhanced Generalization Performance for Safety Helmet Detection

abstract: Safety helmets play a crucial role in protecting workers from head injuries in construction sites, where potential hazards are prevalent. However, currently, there is no approach that can simultaneously achieve both model accuracy and performance in complex environments. In this study, we utilized a Yolo-based model for safety helmet detection, achieved a 2% improvement in mAP (mean Average Precision) performance while reducing parameters and Flops count by over 25%. YOLO(You Only Look Once) is a widely used, high-performance, lightweight model architecture that is well suited for complex environments. We presents a novel approach by incorporating a lightweight feature extraction network backbone based on GhostNetv2, integrating attention modules such as Spatial Channel-wise Attention Net(SCNet) and Coordination Attention Net(CANet), and adopting the Gradient Norm Aware optimizer (GAM) for improved generalization ability. In safety-critical environments, the accurate detection and speed of safety helmets plays a pivotal role in preventing occupational hazards and ensuring compliance with safety protocols. This work addresses the pressing need for robust and efficient helmet detection methods, offering a comprehensive framework that not only enhances accuracy but also improves the adaptability of detection models to real-world conditions. Our experimental results underscore the synergistic effects of GhostNetv2, attention modules, and the GAM optimizer, presenting a compelling solution for safety helmet detection that achieves superior performance in terms of accuracy, generalization, and efficiency.


title: Hierarchy of emergent cluster states by measurement from symmetry-protected-topological states with large symmetry to subsystem cat state

abstract: We propose measurement-producing hierarchy emerging among correlated states by sequential subsystem projective measurements. We start from symmetry-protected-topological (SPT) cluster states with a large symmetry and apply sequential subsystem projective measurements to them and find that generalized cluster SPT states with a reduced symmetry appear in the subsystem of the unmeasured sites. That prescription finally produces Greenberger-Home-Zeilinger states with long-range order in the subsystem composed of periodic unmeasured sites of the original lattice. The symmetry-reduction hierarchical structure from a general large symmetric SPT cluster state is clearly captured by the measurement update flow in the efficient algorithm of stabilizer formalism. This approach is useful not only for the analytical search for the measured state but also for numerical simulation with a large system size. We also numerically verify the symmetry-reduction hierarchy by sequential subsystem projective measurements applied to large systems and large symmetric cluster SPT states.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el quant-ph


title: An Interdisciplinary Perspective of the Built-Environment Microbiome

abstract: The built environment provides an excellent setting for interdisciplinary research on the dynamics of microbial communities. The system is simplified compared to many natural settings, and to some extent the entire environment can be manipulated, from architectural design, to materials use, air flow, human traffic, and capacity to disrupt microbial communities through cleaning. Here we provide an overview of the ecology of the microbiome in the built environment. We address niche space and refugia, population and community (metagenomic) dynamics, spatial ecology within a building, including the major microbial transmission mechanisms, as well as evolution. We also address the landscape ecology connecting microbiomes between physically separated buildings. At each stage we pay particular attention to the actual and potential interface between disciplines, such as ecology, epidemiology, materials science, and human social behavior. We end by identifying some opportunities for future interdisciplinary research on the microbiome of the built environment.


title: Leveraging (Biased) Information: Multi-armed Bandits with Offline Data

abstract: We leverage offline data to facilitate online learning in stochastic multi-armed bandits. The probability distributions that govern the offline data and the online rewards can be different. Without any non-trivial upper bound on their difference, we show that no non-anticipatory policy can outperform the UCB policy by (Auer et al. 2002), even in the presence of offline data. In complement, we propose an online policy MIN-UCB, which outperforms UCB when a non-trivial upper bound is given. MIN-UCB adaptively chooses to utilize the offline data when they are deemed informative, and to ignore them otherwise. MIN-UCB is shown to be tight in terms of both instance independent and dependent regret bounds. Finally, we corroborate the theoretical results with numerical experiments.


title: Vision-based 3D occupancy prediction in autonomous driving: a review and outlook

abstract: In recent years, autonomous driving has garnered escalating attention for its potential to relieve drivers' burdens and improve driving safety. Vision-based 3D occupancy prediction, which predicts the spatial occupancy status and semantics of 3D voxel grids around the autonomous vehicle from image inputs, is an emerging perception task suitable for cost-effective perception system of autonomous driving. Although numerous studies have demonstrated the greater advantages of 3D occupancy prediction over object-centric perception tasks, there is still a lack of a dedicated review focusing on this rapidly developing field. In this paper, we first introduce the background of vision-based 3D occupancy prediction and discuss the challenges in this task. Secondly, we conduct a comprehensive survey of the progress in vision-based 3D occupancy prediction from three aspects: feature enhancement, deployment friendliness and label efficiency, and provide an in-depth analysis of the potentials and challenges of each category of methods. Finally, we present a summary of prevailing research trends and propose some inspiring future outlooks. To provide a valuable reference for researchers, a regularly updated collection of related papers, datasets, and codes is organized at https://github.com/zya3d/Awesome-3D-Occupancy-Prediction.


title: Random Masking Finds Winning Tickets for Parameter Efficient Fine-tuning

abstract: Fine-tuning large language models (LLM) can be costly. Parameter-efficient fine-tuning (PEFT) addresses the problems by training a fraction of the parameters, whose success reveals the expressiveness and flexibility of pretrained models. This paper studies the limit of PEFT, by further simplifying its design and reducing the number of trainable parameters beyond standard setups. To this end, we use Random Masking to fine-tune the pretrained model. Despite its simplicity, we show that Random Masking is surprisingly effective: with a larger-than-expected learning rate, Random Masking can match the performance of standard PEFT algorithms such as LoRA on various tasks, using fewer trainable parameters. We provide both empirical and theoretical explorations into the success of Random Masking. We show that masking induces a flatter loss landscape and more distant solutions, which allows for and necessitates large learning rates.


title: On Manolescu's $\kappa$-invariants of rational homology 3-spheres

abstract: We give an estimate for Manolescu's $\kappa$-invariant of a rational homology 3-sphere $Y$ by the data of a spin 4-orbifold bounded by $Y$. By an appropriate choice of a 4-orbifold, sometimes we can restrict and determine the value of $\kappa$. We give such examples in case of Dehn surgeries along knots in $S^3$.


title: UDUC: An Uncertainty-driven Approach for Learning-based Robust Control

abstract: Learning-based techniques have become popular in both model predictive control (MPC) and reinforcement learning (RL). Probabilistic ensemble (PE) models offer a promising approach for modelling system dynamics, showcasing the ability to capture uncertainty and scalability in high-dimensional control scenarios. However, PE models are susceptible to mode collapse, resulting in non-robust control when faced with environments slightly different from the training set. In this paper, we introduce the $\textbf{u}$ncertainty-$\textbf{d}$riven rob$\textbf{u}$st $\textbf{c}$ontrol (UDUC) loss as an alternative objective for training PE models, drawing inspiration from contrastive learning. We analyze the robustness of UDUC loss through the lens of robust optimization and evaluate its performance on the challenging Real-world Reinforcement Learning (RWRL) benchmark, which involves significant environmental mismatches between the training and testing environments.


title: Assembling ensembling: An adventure in approaches across disciplines

abstract: When we think of model ensembling or ensemble modeling, there are many possibilities that come to mind in different disciplines. For example, one might think of a set of descriptions of a phenomenon in the world, perhaps a time series or a snapshot of multivariate space, and perhaps that set is comprised of data-independent descriptions, or perhaps it is quite intentionally fit *to* data, or even a suite of data sets with a common theme or intention. The very meaning of 'ensemble' - a collection together - conjures different ideas across and even within disciplines approaching phenomena. In this paper, we present a typology of the scope of these potential perspectives. It is not our goal to present a review of terms and concepts, nor is it to convince all disciplines to adopt a common suite of terms, which we view as futile. Rather, our goal is to disambiguate terms, concepts, and processes associated with 'ensembles' and 'ensembling' in order to facilitate communication, awareness, and possible adoption of tools across disciplines.


title: Vector $K^{*}$ mesons in external magnetic field from SU(3) gluodynamics

abstract: We explore the ground state energies of the neutral and charged vector $K^{*}$ mesons in the external abelian magnetic field of QCD scale using overlap fermions. We attempt to calculate the magnetic moment and the magnetic dipole polarizability of the $K^{*0}$ and $\bar{K}^{*0}$ mesons and investigate their dependence on the ratio of the strange quark mass to the light quark mass. It is found that the ground state energy and the magnetic dipole polarizability depends on the meson spin projection on the magnetic field axis. This leads to the appearance of dileptonic asymmetry, which can be characterized by the tensor polarizability estimated for the $K^{*0}$ mesons. We obtain that the $g$-factor of the vector $K^{*\pm}$ mesons depends on the $m_s/m_u$ value. Also we do not observe any evidence of the tachyon mode existence for the strange vector mesons.


title: High entropy effect on thermoelectric properties of nonequilibrium cubic phase of AgBiSe2-2xSxTex with x = 0-0.6

abstract: Silver bismuth diselenide (AgBiSe2) has much attention as an efficient thermoelectric material due to its low thermal conductivity. However, AgBiSe2 exhibits multiple crystal structural transitions with temperature, and high thermoelectric performance was realized only in high-temperature cubic phase. We previously reported the stabilization of cubic phase in AgBiSe2-2xSxTex with x = 0.6-0.8 at room temperature by high-entropy-alloy (HEA) approach. The cubic HE-type AgBiSe0.8S0.6Te0.6 achieved a high ZT value of 0.8 at 748 K. In this paper, we succeeded in stabilizing the cubic phase in AgBiSe2-2xSxTex with x = 0-0.6 by ice-quenching method, and investigated the HE effect on the thermoelectric properties. Cubic AgBiSe2-2xSxTex exhibited n-type conductivity from 300 K to 10 K. We found that electronic conductivity was largely increased around room temperature with increasing the amount of S and Te, although carrier concentration showed almost the same values. The S and Te substitutions induced the variation of band structure, resulting in the carrier mobility enhancement. Furthermore, thermal conducutivity showed reduction tendency with increasing the amount of S and Te due to enhancement of phonon scattering. Simultaneous electronic conductivity increase and thermal conductivity reduction resulted in the systematic improvement of the ZT values for HE-type cubic AgBiSe2-2xSxTex.


title: Astro-NER -- Astronomy Named Entity Recognition: Is GPT a Good Domain Expert Annotator?

abstract: In this study, we address one of the challenges of developing NER models for scholarly domains, namely the scarcity of suitable labeled data. We experiment with an approach using predictions from a fine-tuned LLM model to aid non-domain experts in annotating scientific entities within astronomy literature, with the goal of uncovering whether such a collaborative process can approximate domain expertise. Our results reveal moderate agreement between a domain expert and the LLM-assisted non-experts, as well as fair agreement between the domain expert and the LLM model's predictions. In an additional experiment, we compare the performance of finetuned and default LLMs on this task. We have also introduced a specialized scientific entity annotation scheme for astronomy, validated by a domain expert. Our approach adopts a scholarly research contribution-centric perspective, focusing exclusively on scientific entities relevant to the research theme. The resultant dataset, containing 5,000 annotated astronomy article titles, is made publicly available.


title: A Massively Parallel Performance Portable Free-space Spectral Poisson Solver

abstract: Vico et al. (2016) suggest a fast algorithm for computing volume potentials, beneficial to fields with problems requiring the solution of Poisson's equation with free-space boundary conditions, such as the beam and plasma physics communities. Currently, the standard method for solving the free-space Poisson equation is the algorithm of Hockney and Eastwood (1988), which is second order in convergence at best. The algorithm proposed by Vico et al. converges spectrally for sufficiently smooth functions i.e. faster than any fixed order in the number of grid points. In this paper, we implement a performance portable version of the traditional Hockney-Eastwood and the novel Vico-Greengard Poisson solver as part of the IPPL (Independent Parallel Particle Layer) library. For sufficiently smooth source functions, the Vico-Greengard algorithm achieves higher accuracy than the Hockney-Eastwood method with the same grid size, reducing the computational demands of high resolution simulations since one could use coarser grids to achieve them. More concretely, to get a relative error of $10^{-4}$ between the numerical and analytical solution, one requires only $16^3$ grid points in the former, but $128^3$ in the latter, more than a 99% memory footprint reduction. Additionally, we propose an algorithmic improvement to the Vico-Greengard method which further reduces its memory footprint. This is particularly important for GPUs which have limited memory resources, and should be taken into account when selecting numerical algorithms for performance portable codes. Finally, we showcase performance through GPU and CPU scaling studies on the Perlmutter (NERSC) supercomputer, with efficiencies staying above 50% in the strong scaling case.


title: Interleave Frequency Division Multiplexing

abstract: In this letter, we study interleave frequency division multiplexing (IFDM) for multicarrier modulation in static multipath and mobile time-varying channels, which outperforms orthogonal frequency division multiplexing (OFDM), orthogonal time frequency space (OTFS), and affine frequency division multiplexing (AFDM) by considering practical advanced detectors. The fundamental principle underlying existing modulation techniques is to establish sparse equivalent channel matrices in order to facilitate the design of low-complexity detection algorithms for signal recovery, making a trade-off between performance and implementation complexity. In contrast, the proposed IFDM establishes an equivalent fully dense and right-unitarily invariant channel matrix with the goal of achieving channel capacity, ensuring that the signals undergo sufficient statistical channel fading. Meanwhile, a low-complexity and replica maximum a posteriori (MAP)-optimal cross-domain memory approximate message passing (CD-MAMP) detector is proposed for IFDM by exploiting the sparsity of the time-domain channel and the unitary invariance in interleave-frequency-domain channel. Numerical results show that IFDM with extremely low-complexity CD-MAMP outperforms OFDM, OTFS, and AFDM with state-of-the-art orthogonal approximate message passing detectors, particularly at low velocities.


title: MEXGEN: An Effective and Efficient Information Gain Approximation for Information Gathering Path Planning

abstract: Autonomous robots for gathering information on objects of interest has numerous real-world applications because of they improve efficiency, performance and safety. Realizing autonomy demands online planning algorithms to solve sequential decision making problems under uncertainty; because, objects of interest are often dynamic, object state, such as location is not directly observable and are obtained from noisy measurements. Such planning problems are notoriously difficult due to the combinatorial nature of predicting the future to make optimal decisions. For information theoretic planning algorithms, we develop a computationally efficient and effective approximation for the difficult problem of predicting the likely sensor measurements from uncertain belief states}. The approach more accurately predicts information gain from information gathering actions. Our theoretical analysis proves the proposed formulation achieves a lower prediction error than the current efficient-method. We demonstrate improved performance gains in radio-source tracking and localization problems using extensive simulated and field experiments with a multirotor aerial robot.


title: Communication Modalities

abstract: Epistemic analysis of distributed systems is one of the biggest successes among applications of logic in computer science. The reason for that is that agents' actions are necessarily guided by their knowledge. Thus, epistemic modal logic, with its knowledge and belief modalities (and group versions thereof), has played a vital role in establishing both impossibility results and necessary conditions for solvable distributed tasks. In distributed systems, knowledge is largely attained via communication. It has been standard in both distributed systems and dynamic epistemic logic to treat incoming messages as trustworthy, thus, creating difficulties in the epistemic analysis of byzantine distributed systems where faulty agents may lie. In this paper, we argue that handling such communication scenarios calls for additional modalities representing the informational content of messages that should not be taken at face value. We present two such modalities: hope for the case of fully byzantine agents and creed for non-uniform communication protocols in general.


title: On pointwise convergence of cone multipliers

abstract: For $p\ge 2$, and $\lambda>\max\{n|\tfrac 1p-\tfrac 12|-\tfrac12, 0\}$, we prove the pointwise convergence of cone multipliers, i.e. $$ \lim_{t\to\infty}T_t^\lambda(f)\to f \text{ a.e.},$$ where $f\in L^p(\mathbb R^n)$ satisfies $supp\ \widehat f\subset\{\xi\in\mathbb R^n:\ 1<|\xi_n|<2\}$. Our main tools are weighted estimates for maximal cone operators, which are consequences of trace inequalities for cones.


title: UnSAMFlow: Unsupervised Optical Flow Guided by Segment Anything Model

abstract: Traditional unsupervised optical flow methods are vulnerable to occlusions and motion boundaries due to lack of object-level information. Therefore, we propose UnSAMFlow, an unsupervised flow network that also leverages object information from the latest foundation model Segment Anything Model (SAM). We first include a self-supervised semantic augmentation module tailored to SAM masks. We also analyze the poor gradient landscapes of traditional smoothness losses and propose a new smoothness definition based on homography instead. A simple yet effective mask feature module has also been added to further aggregate features on the object level. With all these adaptations, our method produces clear optical flow estimation with sharp boundaries around objects, which outperforms state-of-the-art methods on both KITTI and Sintel datasets. Our method also generalizes well across domains and runs very efficiently.


title: Advanced Equalization in 112 Gb/s Upstream PON Using a Novel Fourier Convolution-based Network

abstract: We experimentally demonstrate a novel, low-complexity Fourier Convolution-based Network (FConvNet) based equalizer for 112 Gb/s upstream PAM4-PON. At a BER of 0.005, FConvNet enhances the receiver sensitivity by 2 and 1 dB compared to a 51-tap Sato equalizer and benchmark machine learning algorithms respectively.


title: External magnetic field induced paramagnetic squeezing effect in heavy-ion collisions at the LHC

abstract: In non-central heavy-ion collisions, the quark-gluon plasma (QGP) encounters the most intense magnetic field ever produced in nature, with a strength of approximately 10$^{19\sim 20}$ Gauss. Recent lattice-QCD calculations reveal that the QGP exhibits paramagnetic properties at high temperatures. When an external strong magnetic field is applied, it generates an anisotropic squeezing force density that competes with pressure gradients resulting from the purely QGP geometric expansion. In this study, we employ (3+1)-dimensional ideal hydrodynamics simulations to estimate the paramagnetic squeezing effect of this force density on the anisotropic expansion of QGP in non-central Pb+Pb collisions at the Large Hadron Collider (LHC). We consider both up-to-date magnetic susceptibility and various magnetic field profiles in this work. We find that the impact of rapidly decaying magnetic fields is insignificant, while enduring magnetic fields produce a strong force density that diminishes the momentum anisotropy of the QGP by up to 10\% at the intial stage, leaving a visible imprint on the elliptic flow $v_{2}$ of final charged particles. Our results provide insights into the interplay between magnetic fields and the dynamics of QGP expansion in non-central heavy-ion collisions.


title: Predicting the impact of water transport on carbonation-induced corrosion in variably saturated reinforced concrete

abstract: A modelling framework for predicting carbonation-induced corrosion in reinforced concrete is presented. The framework constituents include a new model for water transport in cracked concrete, a link between corrosion current density and water saturation, and a theory for characterising concrete carbonation. The theoretical framework is numerically implemented using the finite element method and model predictions are extensively benchmarked against experimental data. The results show that the model is capable of accurately predicting carbonation progress, as well as wetting and drying of cracked and uncracked concrete, revealing a very good agreement with independent experiments from a set of consistent parameters. In addition, insight is gained into the evolution of carbonation penetration and corrosion current density under periodic wetting and drying conditions. Among others, we find that cyclic wetting periods significantly speed up the carbonation progress and that the induced corrosion current density is very sensitive to concrete saturation.

categories: cs.CE cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Learning Linear Utility Functions From Pairwise Comparison Queries

abstract: We study learnability of linear utility functions from pairwise comparison queries. In particular, we consider two learning objectives. The first objective is to predict out-of-sample responses to pairwise comparisons, whereas the second is to approximately recover the true parameters of the utility function. We show that in the passive learning setting, linear utilities are efficiently learnable with respect to the first objective, both when query responses are uncorrupted by noise, and under Tsybakov noise when the distributions are sufficiently "nice". In contrast, we show that utility parameters are not learnable for a large set of data distributions without strong modeling assumptions, even when query responses are noise-free. Next, we proceed to analyze the learning problem in an active learning setting. In this case, we show that even the second objective is efficiently learnable, and present algorithms for both the noise-free and noisy query response settings. Our results thus exhibit a qualitative learnability gap between passive and active learning from pairwise preference queries, demonstrating the value of the ability to select pairwise queries for utility learning.


title: Hydrodynamic equations for a U(N) invariant superfluid

abstract: In this paper, we develop the appropriate set of hydrodynamic equations in a U(N) invariant superfluid that couple the dynamics of superflow and magnetization. In the special case when both the superfluid and normal velocities are zero, the hydrodynamic equations reduce to a generalized version of Landau-Lifshitz equation for ferromagnetism with U(N) symmetry. When both velocities are non-zero, there appears couplings between the superflow and magnetization dynamics, and the superfluid velocity no longer satisfies the irrotational condition. On the other hand, the magnitude of magnetization is no longer a constant of motion as was the case for the standard Landau-Lifshitz theory. In comparison with the simple superfluid, the first sound and second sounds are modified by a non-zero magnetization through various thermodynamic functions. For U(2) invariant superfluid, we get both (zero-) sound wave and a spin wave at zero temperature. It is found that the dispersion of spin wave is always quadratic, which is consistent with detailed microscopic analysis. In the Appendix, we show that the hydrodynamic equation for a U(N) invariant superfluid can be obtained from the general hydrodynamic equation with arbitrary internal symmetries.


title: MARTIANS (MARs2020, TIANwen and So on) would see more potentially hazardous asteroids than Earthlings

abstract: Potentially Hazardous Asteroids (PHAs) are a special subset of Near-Earth Objects (NEOs) that can come close to the Earth and are large enough to cause significant damage in the event of an impact. Observations and researches of Earth-PHAs have been underway for decades. Here, we extend the concept of PHAs to Mars and study the feasibility of detecting Mars-PHAs in the near future. We focus on PHAs that truly undergo close approaches with a planet (dubbed CAPHAs) and aim to compare the actual quantities of Earth-CAPHAs and Mars-CAPHAs by conducting numerical simulations incorporating the Yarkovsky effect, based on observed data of the main asteroid belt. The estimated number of Earth-CAPHAs and Mars-CAPHAs are 4675 and 16910, respectively. The occurrence frequency of Mars-CAPHAs is about 52 per year, which is 2.6 times that of Earth-CAPHAs, indicating significant potential for future Mars-based observations. Furthermore, a few Mars-CAPHAs are predicted to be observable even from Earth around the time of next Mars opposition in 2025.


title: TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus

abstract: This paper presents TetraBFT, a novel unauthenticated Byzantine fault tolerant protocol for solving consensus in partial synchrony, eliminating the need for public key cryptography and ensuring resilience against computationally unbounded adversaries. TetraBFT has several compelling features: it necessitates only constant local storage, has optimal communication complexity, satisfies optimistic responsiveness -- allowing the protocol to operate at actual network speeds under ideal conditions -- and can achieve consensus in just 5 message delays, which outperforms all known unauthenticated protocols achieving the other properties listed. We validate the correctness of TetraBFT through rigorous security analysis and formal verification. Furthermore, we extend TetraBFT into a multi-shot, chained consensus protocol, making a pioneering effort in applying pipelining techniques to unauthenticated protocols. This positions TetraBFT as a practical and deployable solution for blockchain systems aiming for high efficiency.


title: Convergence analysis of a second order numerical scheme for the Flory-Huggins-Cahn-Hilliard-Navier-Stokes system

abstract: We present an optimal rate convergence analysis for a second order accurate in time, fully discrete finite difference scheme for the Cahn-Hilliard-Navier-Stokes (CHNS) system, combined with logarithmic Flory-Huggins energy potential. The numerical scheme has been recently proposed, and the positivity-preserving property of the logarithmic arguments, as well as the total energy stability, have been theoretically justified. In this paper, we rigorously prove second order convergence of the proposed numerical scheme, in both time and space. Since the CHNS is a coupled system, the standard $\ell^\infty (0, T; \ell^2) \cap \ell^2 (0, T; H_h^2)$ error estimate could not be easily derived, due to the lack of regularity to control the numerical error associated with the coupled terms. Instead, the $\ell^\infty (0, T; H_h^1) \cap \ell^2 (0, T; H_h^3)$ error analysis for the phase variable and the $\ell^\infty (0, T; \ell^2)$ analysis for the velocity vector, which shares the same regularity as the energy estimate, is more suitable to pass through the nonlinear analysis for the error terms associated with the coupled physical process. Furthermore, the highly nonlinear and singular nature of the logarithmic error terms makes the convergence analysis even more challenging, since a uniform distance between the numerical solution and the singular limit values of is needed for the associated error estimate. Many highly non-standard estimates, such as a higher order asymptotic expansion of the numerical solution (up to the third order accuracy in time and fourth order in space), combined with a rough error estimate (to establish the maximum norm bound for the phase variable), as well as a refined error estimate, have to be carried out to conclude the desired convergence result.


title: Meta-theorems for Graph Polynomials

abstract: In this paper I survey the sources of inspiration for my own and co-authored work in trying to develop a general theory of graph polynomials. I concentrate on meta-theorems, i.e., theorem which depend only on the form infinite classes of graph polynomials are defined in some formalism, and not on the actual meaning of the particular definitions.


title: Combining Machine Learning Models with First-Principles High-Throughput Calculation to Accelerate the Search of Promising Thermoelectric Materials

abstract: Thermoelectric materials can achieve direct energy conversion between electricity and heat, thus can be applied to waste heat harvesting and solid-state cooling. The discovery of new thermoelectric materials is mainly based on experiments and first-principles calculations. However, these methods are usually expensive and time-consuming. Recently, the prediction of properties via machine learning has emerged as a popular method in materials science. Herein, we firstly did first-principles high-throughput calculations for a large number of chalcogenides and built a thermoelectric database containing 796 compounds. Many novel and promising thermoelectric materials were discovered. Then, we trained four ensemble learning models and two deep learning models to distinguish the promising thermoelectric materials from the others for n type and p type doping, respectively. All the presented models achieve classification accuracy higher than 85% and area under the curve (AUC) higher than 0.9. Especially, the M3GNet model for n type data achieve accuracy, precision and recall all higher than 90%. Our works demonstrate a very efficient way of combining machine learning prediction and first-principles high-throughput calculations together to accelerate the discovery of advanced thermoelectric materials.


title: Production of hidden-heavy and double-heavy hadronic molecules at the $Z$ factory of CEPC

abstract: With a clean environment and high collision energy, the Circular Electron Positron Collider (CEPC) would be an excellent facility for heavy flavor physics. Using the Monte Carlo event generator Pythia, we simulate the production of the charmed (bottom) hadron pairs in the electron-positron collisions at the $Z$ factory of CEPC, and the inclusive production rates for typical candidates of the hidden/double-charm and hidden/double-bottom $S$-wave hadronic molecules are estimated at an order-of-magnitude level with the final state interactions after the hadron pair production. The predicted cross sections for the hidden-charm meson-meson molecules $X(3872)$ and $Z_c(3900)$ are at $\rm{pb}$ level, which are about two to three orders of magnitude larger than the production cross sections for the double-charm meson-meson molecules $T_{cc}$ and $T_{cc}^{*}$, as the double-charmed ones require the production of two pairs of $c\bar{c}$ from the $Z$ boson decay. The production cross sections for the hidden-charm pentaquark states $P_{c}$ and $P_{cs}$ as meson-baryon molecules are a few to tens of fb, which are about one magnitude larger than those of the possible hidden-charm baryon-antibaryon and double-charm meson-baryon molecules. In the bottom sector, the production cross sections for the $Z_b$ states as $B^{(*)}\bar{B}^{*}$ molecules are about tens to hundreds of fb, indicating $10^6$ - $10^7$ events from a two-year operation of CEPC, and the expected events from the double-bottom molecules are about 2 - 5 orders of magnitude smaller than the $Z_b$ states. Our results shows great prospects of probing heavy exotic hadrons at CEPC.


title: Accelerating Autonomy: Insights from Pro Racers in the Era of Autonomous Racing - An Expert Interview Study

abstract: This research aims to investigate professional racing drivers' expertise to develop an understanding of their cognitive and adaptive skills to create new autonomy algorithms. An expert interview study was conducted with 11 professional race drivers, data analysts, and racing instructors from across prominent racing leagues. The interviews were conducted using an exploratory, non-standardized expert interview format guided by a set of prepared questions. The study investigates drivers' exploration strategies to reach their vehicle limits and contrasts them with the capabilities of state-of-the-art autonomous racing software stacks. Participants were questioned about the techniques and skills they have developed to quickly approach and maneuver at the vehicle limit, ultimately minimizing lap times. The analysis of the interviews was grounded in Mayring's qualitative content analysis framework, which facilitated the organization of the data into multiple categories and subcategories. Our findings create insights into human behavior regarding reaching a vehicle's limit and minimizing lap times. We conclude from the findings the development of new autonomy software modules that allow for more adaptive vehicle behavior. By emphasizing the distinct nuances between manual and autonomous driving techniques, the paper encourages further investigation into human drivers' strategies to maximize their vehicles' capabilities.


title: Intersecting families with covering number $3$

abstract: A covering number of a family is the size of the smallest set that intersects all sets from the family. In 1978 Frankl determined for $n\ge n_0(k)$ the largest intersecting family of $k$-element subsets of $[n]$ with covering number $3$. In this paper, we essentially settle this problem, showing that the same family is extremal for any $k\ge 100$ and $n>2k$.


title: New Interpretation for error propagation of data-driven Reynolds stress closures via global stability analysis

abstract: In light of the challenges surrounding convergence and error propagation encountered in Reynolds-averaged Navier-Stokes (RANS) equations with data-driven Reynolds stress closures, researchers commonly attribute these issues to ill-conditioning through conditional number analysis. This paper delves into an additional factor, numerical instability, contributing to these challenges. We conduct global stability analysis for the RANS equations, closed by the Reynolds stress of direct numerical simulation (DNS), with the time-averaged solution of DNS as the base flow. Our findings reveal that, for turbulent channel flow at high Reynolds numbers, significant ill-conditioning exists, yet the system remains stable. Conversely, for separated flow over periodic hills, notable ill-conditioning is absent, but unstable eigenvalues are present, indicating that error propagation arises from the mechanism of numerical instability. Furthermore, the effectiveness of the decomposition method employing eddy viscosity is compared, results show that the spatial distribution and amplitude of eddy viscosity influences the numerical stability.


title: Entanglement entropy and horizon temperature in conformal quantum mechanics

abstract: The generators of radial conformal symmetries in Minkowski space-time can be put in correspondence with generators of time evolution in conformal quantum mechanics. Within this correspondence we show that in conformal quantum mechanics the state corresponding to the inertial vacuum for a conformally invariant field in Minkowski space-time has the structure of a thermofield double. The latter is built from a bipartite "vacuum state" corresponding to the ground state of the generators of hyperbolic time evolution. These can evolve states only within a portion of the time domain. When such generators correspond to conformal Killing vectors mapping a causal diamond in itself and generators of dilations, the temperature of the thermofield double reproduces, respectively, the diamond temperature and the Milne temperature found for massless fields in Minkowski space-time. Moreover, we compute the entanglement entropy associated to the thermofield double states obtaining a UV divergent logarithmic behaviour akin to known results in two-dimensional conformal field theory where the entangling boundary is point-like.


title: The Baire property and precompact duality

abstract: We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco, Dom\'inguez and Tkachenko. {Among other consequences, we obtain an example of a group that is $g$-dense in its completion but is not $g$-barrelled. This solves a question proposed by Au${\beta}$enhofer and Dikranjan.}


title: Emergence of a Poisson process in weakly interacting particle systems

abstract: We consider the Gibbs measure of a general interacting particle system for a certain class of ``weakly interacting" kernels. In particular, we show that the local point process converges to a Poisson point process as long as the inverse temperature $\beta$ satisfies $N^{-1} \ll \beta \ll N^{-\frac{1}{2}}$, where $N$ is the number of particles. This expands the temperature regime for which convergence to a Poisson point process has been proved.


title: Exploration of the LHCb $P_c$ states and possible resonances in a unitary coupled-channel model

abstract: We extend our previous study of the interactions of $\bar{D}^{(*)} \Lambda_c - \bar{D}^{(*)}\Sigma_c^{(*)}$ within an analytic, unitary, coupled-channel approach by including the $J/\psi p$ channel and performing fits to the $J/\psi p$ invariant mass distributions in the $\Lambda_b^0 \to J/\psi p K^-$ decay by the LHCb Collaboration. We take into account the contributions of $t$-channel pseudoscalar and vector meson exchanges and $u$-channel baryon exchanges in this work, and a series of bound states and resonances with different spin-parities are dynamically generated. According to the results, four states have a significant impact on the physical observables, with two having a spin-parity of $1/2^-$ and the other two having $3/2^-$. These states can be associated with the LHCb hidden-charm pentaquarks. We further provide the coupling strength between each pole and different channels, which provides some insights on how to search for them in future experiments. Moreover, we also search for poles in higher partial waves up to $J=7/2$ and find indications for the existence of several states with larger widths.


title: Groups with few finite dimensional unitary representations

abstract: The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is a continuous homomorphism $h^{b}$ from $bG$ into $K$ extending $h$ in the sense that $h=h^b \circ b$. The Bohr compactification $(bG,b)$ is the unique (up to equivalence) largest compactification of $G$. Although, for locally compact Abelian groups, the Bohr compactification is a big monster, for non-Abelian groups the situation is much more interesting and it can be said that all options are possible. Here we are interested in locally compact groups whose Bohr compactification is \emph{small}. Among other results, we characterize when the Bohr the Bohr compactification of a locally compact group is topologically isomorphic to its Chu or unitary quasi-dual. Our results fixe some incorrect statements appeared in the literature.


title: Contrastive Dual-Interaction Graph Neural Network for Molecular Property Prediction

abstract: Molecular property prediction is a key component of AI-driven drug discovery and molecular characterization learning. Despite recent advances, existing methods still face challenges such as limited ability to generalize, and inadequate representation of learning from unlabeled data, especially for tasks specific to molecular structures. To address these limitations, we introduce DIG-Mol, a novel self-supervised graph neural network framework for molecular property prediction. This architecture leverages the power of contrast learning with dual interaction mechanisms and unique molecular graph enhancement strategies. DIG-Mol integrates a momentum distillation network with two interconnected networks to efficiently improve molecular characterization. The framework's ability to extract key information about molecular structure and higher-order semantics is supported by minimizing loss of contrast. We have established DIG-Mol's state-of-the-art performance through extensive experimental evaluation in a variety of molecular property prediction tasks. In addition to demonstrating superior transferability in a small number of learning scenarios, our visualizations highlight DIG-Mol's enhanced interpretability and representation capabilities. These findings confirm the effectiveness of our approach in overcoming challenges faced by traditional methods and mark a significant advance in molecular property prediction.


title: SPARSE: Semantic Tracking and Path Analysis for Attack Investigation in Real-time

abstract: As the complexity and destructiveness of Advanced Persistent Threat (APT) increase, there is a growing tendency to identify a series of actions undertaken to achieve the attacker's target, called attack investigation. Currently, analysts construct the provenance graph to perform causality analysis on Point-Of-Interest (POI) event for capturing critical events (related to the attack). However, due to the vast size of the provenance graph and the rarity of critical events, existing attack investigation methods suffer from problems of high false positives, high overhead, and high latency. To this end, we propose SPARSE, an efficient and real-time system for constructing critical component graphs (i.e., consisting of critical events) from streaming logs. Our key observation is 1) Critical events exist in a suspicious semantic graph (SSG) composed of interaction flows between suspicious entities, and 2) Information flows that accomplish attacker's goal exist in the form of paths. Therefore, SPARSE uses a two-stage framework to implement attack investigation (i.e., constructing the SSG and performing path-level contextual analysis). First, SPARSE operates in a state-based mode where events are consumed as streams, allowing easy access to the SSG related to the POI event through semantic transfer rule and storage strategy. Then, SPARSE identifies all suspicious flow paths (SFPs) related to the POI event from the SSG, quantifies the influence of each path to filter irrelevant events. Our evaluation on a real large-scale attack dataset shows that SPARSE can generate a critical component graph (~ 113 edges) in 1.6 seconds, which is 2014 X smaller than the backtracking graph (~ 227,589 edges). SPARSE is 25 X more effective than other state-of-the-art techniques in filtering irrelevant edges.


title: cuTN-QSVM: cuTensorNet-accelerated Quantum Support Vector Machine with cuQuantum SDK

abstract: This paper investigates the application of Quantum Support Vector Machines (QSVMs) with an emphasis on the computational advancements enabled by NVIDIA's cuQuantum SDK, especially leveraging the cuTensorNet library. We present a simulation workflow that substantially diminishes computational overhead, as evidenced by our experiments, from exponential to quadratic cost. While state vector simulations become infeasible for qubit counts over 50, our evaluation demonstrates that cuTensorNet speeds up simulations to be completed within seconds on the NVIDIA A100 GPU, even for qubit counts approaching 784. By employing multi-GPU processing with Message Passing Interface (MPI), we document a marked decrease in computation times, effectively demonstrating the strong linear speedup of our approach for increasing data sizes. This enables QSVMs to operate efficiently on High-Performance Computing (HPC) systems, thereby opening a new window for researchers to explore complex quantum algorithms that have not yet been investigated. In accuracy assessments, our QSVM achieves up to 95\% on challenging classifications within the MNIST dataset for training sets larger than 100 instances, surpassing the capabilities of classical SVMs. These advancements position cuTensorNet within the cuQuantum SDK as a pivotal tool for scaling quantum machine learning simulations and potentially signpost the seamless integration of such computational strategies as pivotal within the Quantum-HPC ecosystem.


title: Unsupervised machine learning for data-driven classification of rock mass using drilling data: How can a data-driven system handle limitations in existing rock mass classification systems?

abstract: Rock mass classification systems are crucial for assessing stability and risk in underground construction globally and guiding support and excavation design. However, systems developed primarily in the 1970s lack access to modern high-resolution data and advanced statistical techniques, limiting their effectiveness as decision-support systems. Initially, we outline the limitations observed in this context and later describe how a data-driven system, based on drilling data as detailed in this study, can overcome these limitations. Using extracted statistical information from thousands of MWD-data values in one-meter sections of a full tunnel profile, thus working as a signature of the rock mass, we have demonstrated that it is possible to form well-defined clusters that can act as a foundational basis for various rock mass classification systems. We reduced the dimensionality of 48-value vectors using nonlinear manifold learning techniques (UMAP) and linear principal component analysis (PCA) to enhance clustering. Unsupervised machine learning methods (HDBSCAN, Agglomerative Clustering, K-means) were employed to cluster the data, with hyperparameters optimised through multi-objective Bayesian optimisation for effective clustering. Using domain knowledge, we experienced improved clustering and system tuning opportunities in adding extra features to core clusters of MWD-data. We structured and correlated these clusters with physical rock mass properties, including labels of rock type and rock quality, and analysed cumulative distributions of key MWD-parameters for rock mass assessment to determine if clusters meaningfully differentiate rock masses. The ability of MWD data to form distinct rock mass clusters suggests substantial potential for future classification systems grounded in this objective, data-driven methodology, free from human bias.


title: Tailored Fabrication of 3D Nanopores with Dielectric Oxides for Multiple Nanoscale Applications

abstract: Nanopore sensing is a key technology for single-molecule detection and analysis. Solid-state nanopores have emerged as a versatile platform, since their fabrication allows to engineer their properties by controlling size, shape, and chemical functionalization. However, lithography-based fabrication approaches for non-planar nanopores-on-chip rely on polymers that have limits with respect to hard- and robustness, durability, and refractive index. In this respect, nanopores made of metal oxides with high dielectric constant would be much more favourable and have the potential to extend the suitability of solid-state nanopores towards optoelectronic technologies. Here, we present a versatile method to fabricate three-dimensional nanopores of different dielectric oxides with controlled shapes. Our approach uses photoresist only as a template in the focused-ion-beam lithography to define the nanopore shape, which is subsequently coated with different oxides (SiO2, Al2O3, TiO2 and HfO2) by atomic-layer deposition. Then the photoresist is fully removed by chemo-physical treatment, resulting in nanopores entirely made from dielectric oxides on a thin solid-state membrane. Our methodology allows straightforward fabrication of convex, straight, and concave nanopore shapes that can be employed in various technologies and applications. We explored their performance as ionic nanochannels and investigated the dependence of the ionic current rectification on the nanopore geometry. We found hysteresis in the ionic conductance that enables potential applications of the nanopores in memristors. We also investigated the dielectric oxide nanopores for DNA sensing by measuring both cis-trans and trans-cis translocations and support our data with numerical simulations based on the Poisson-Nernst-Planck model.


title: Risk Assessment for Nonlinear Cyber-Physical Systems under Stealth Attacks

abstract: Stealth attacks pose potential risks to cyber-physical systems because they are difficult to detect. Assessing the risk of systems under stealth attacks remains an open challenge, especially in nonlinear systems. To comprehensively quantify these risks, we propose a framework that considers both the reachability of a system and the risk distribution of a scenario. We propose an algorithm to approximate the reachability of a nonlinear system under stealth attacks with a union of standard sets. Meanwhile, we present a method to construct a risk field to formally describe the risk distribution in a given scenario. The intersection relationships of system reachability and risk regions in the risk field indicate that attackers can cause corresponding risks without being detected. Based on this, we introduce a metric to dynamically quantify the risk. Compared to traditional methods, our framework predicts the risk value in an explainable way and provides early warnings for safety control. We demonstrate the effectiveness of our framework through a case study of an automated warehouse.


title: Onboard Out-of-Calibration Detection of Deep Learning Models using Conformal Prediction

abstract: The black box nature of deep learning models complicate their usage in critical applications such as remote sensing. Conformal prediction is a method to ensure trust in such scenarios. Subject to data exchangeability, conformal prediction provides finite sample coverage guarantees in the form of a prediction set that is guaranteed to contain the true class within a user defined error rate. In this letter we show that conformal prediction algorithms are related to the uncertainty of the deep learning model and that this relation can be used to detect if the deep learning model is out-of-calibration. Popular classification models like Resnet50, Densenet161, InceptionV3, and MobileNetV2 are applied on remote sensing datasets such as the EuroSAT to demonstrate how under noisy scenarios the model outputs become untrustworthy. Furthermore an out-of-calibration detection procedure relating the model uncertainty and the average size of the conformal prediction set is presented.


title: A modified proximal contraction principle with applications to variational inequality problems

abstract: In this paper, we introduce the notions of proximally completeness, proximally closedness and proximally continuity and utilize the same to prove a result on existence and uniqueness of best proximity points in the setting of metric space (not necessarily complete). Our newly proved result enriches, sharpens, improves and modifies the proximal contraction principle of Basha [J. Optim. Theory Appl. 2011:151 (2011), 210-216]. In order to illustrate the effectiveness of our finding, we discuss the sufficient conditions ensuring the existence of a unique solution of certain variational inequality problem.


title: An emergent cosmological model from running Newton constant

abstract: We propose an emergent cosmological model rooted in the Asymptotically Safe antiscreening behavior of the Newton constant at Planckian energies. Distinguishing itself from prior approaches, our model encapsulates the variable nature of $G$ through a multiplicative coupling within the matter Lagrangian, characterized by a conserved energy-momentum tensor. The universe emerges from a quasi-de Sitter phase, transitioning to standard cosmological evolution post-Planck Era. Our analysis demonstrates the feasibility of constraining the transition scale to nearly classical cosmology using Cosmic Microwave Background (CMB) data and the potential to empirically probe the antiscreening trait of Newton's constant, as predicted by Asymptotic Safety.


title: TREC iKAT 2023: A Test Collection for Evaluating Conversational and Interactive Knowledge Assistants

abstract: Conversational information seeking has evolved rapidly in the last few years with the development of Large Language Models (LLMs), providing the basis for interpreting and responding in a naturalistic manner to user requests. The extended TREC Interactive Knowledge Assistance Track (iKAT) collection aims to enable researchers to test and evaluate their Conversational Search Agents (CSA). The collection contains a set of 36 personalized dialogues over 20 different topics each coupled with a Personal Text Knowledge Base (PTKB) that defines the bespoke user personas. A total of 344 turns with approximately 26,000 passages are provided as assessments on relevance, as well as additional assessments on generated responses over four key dimensions: relevance, completeness, groundedness, and naturalness. The collection challenges CSA to efficiently navigate diverse personal contexts, elicit pertinent persona information, and employ context for relevant conversations. The integration of a PTKB and the emphasis on decisional search tasks contribute to the uniqueness of this test collection, making it an essential benchmark for advancing research in conversational and interactive knowledge assistants.


title: PrivSGP-VR: Differentially Private Variance-Reduced Stochastic Gradient Push with Tight Utility Bounds

abstract: In this paper, we propose a differentially private decentralized learning method (termed PrivSGP-VR) which employs stochastic gradient push with variance reduction and guarantees $(\epsilon, \delta)$-differential privacy (DP) for each node. Our theoretical analysis shows that, under DP Gaussian noise with constant variance, PrivSGP-VR achieves a sub-linear convergence rate of $\mathcal{O}(1/\sqrt{nK})$, where $n$ and $K$ are the number of nodes and iterations, respectively, which is independent of stochastic gradient variance, and achieves a linear speedup with respect to $n$. Leveraging the moments accountant method, we further derive an optimal $K$ to maximize the model utility under certain privacy budget in decentralized settings. With this optimized $K$, PrivSGP-VR achieves a tight utility bound of $\mathcal{O}\left( \sqrt{d\log \left( \frac{1}{\delta} \right)}/(\sqrt{n}J\epsilon) \right)$, where $J$ and $d$ are the number of local samples and the dimension of decision variable, respectively, which matches that of the server-client distributed counterparts, and exhibits an extra factor of $1/\sqrt{n}$ improvement compared to that of the existing decentralized counterparts, such as A(DP)$^2$SGD. Extensive experiments corroborate our theoretical findings, especially in terms of the maximized utility with optimized $K$, in fully decentralized settings.


title: Wall-Climbing Performance of Gecko-inspired Robot with Soft Feet and Digits enhanced by Gravity Compensation

abstract: Gravitational forces can induce deviations in body posture from desired configurations in multi-legged arboreal robot locomotion with low leg stiffness, affecting the contact angle between the swing leg's end-effector and the climbing surface during the gait cycle. The relationship between desired and actual foot positions is investigated here in a leg-stiffness-enhanced model under external forces, focusing on the challenge of unreliable end-effector attachment on climbing surfaces in such robots. Inspired by the difference in ceiling attachment postures of dead and living geckos, feedforward compensation of the stance phase legs is the key to solving this problem. A feedforward gravity compensation (FGC) strategy, complemented by leg coordination, is proposed to correct gravity-influenced body posture and improve adhesion stability by reducing body inclination. The efficacy of this strategy is validated using a quadrupedal climbing robot, EF-I, as the experimental platform. Experimental validation on an inverted surface (ceiling walking) highlight the benefits of the FGC strategy, demonstrating its role in enhancing stability and ensuring reliable end-effector attachment without external assistance. In the experiment, robots without FGC only completed in 3 out of 10 trials, while robots with FGC achieved a 100\% success rate in the same trials. The speed was substantially greater with FGC, achieved 9.2 mm/s in the trot gait. This underscores the proposed potential of FGC strategy in overcoming the challenges associated with inconsistent end-effector attachment in robots with low leg stiffness, thereby facilitating stable locomotion even at inverted body attitude.


title: Compactification of Determinant Expansions via Transcorrelation

abstract: Although selected configuration interaction (SCI) algorithms can tackle much larger Hilbert spaces than the conventional full CI (FCI) method, the scaling of their computational cost with respect to the system size remains inherently exponential. Additionally, inaccuracies in describing the correlation hole at small interelectronic distances lead to the slow convergence of the electronic energy relative to the size of the one-electron basis set. To alleviate these effects, we show that the non-Hermitian, transcorrelated (TC) version of SCI significantly compactifies the determinant space, allowing to reach a given accuracy with a much smaller number of determinants. Furthermore, we note a significant acceleration in the convergence of the TC-SCI energy as the basis set size increases. The extent of this compression and the energy convergence rate are closely linked to the accuracy of the correlation factor used for the similarity transformation of the Coulombic Hamiltonian. Our systematic investigation of small molecular systems in increasingly large basis sets illustrates the magnitude of these effects.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el nucl-th


title: Composite effective field theory signal from anomalous quartic gauge couplings for $ZZ(\rightarrow\ell\ell\nu\nu)jj$ and $Z\gamma(\rightarrow\nu\nu\gamma)jj$ productions

abstract: Parameterization of heavy effects beyond the Standard Model is available using higher-dimension operators of the effective field theory and their Wilson coefficients, where their values are not known. Experimental sensitivity to the Wilson coefficients can be significantly changed in case of the usage of composite anomalous signal, which contains anomalous contributions from background processes in addition to the conventional ones from the signal process. In this work, this approach is applied to the search for anomalous quartic gauge couplings with seven EFT operators in the electroweak production of $ZZ(\rightarrow\ell\ell\nu\nu)jj$ and $Z\gamma(\rightarrow\nu\nu\gamma)jj$ in $pp$ collisions. For the majority of coefficients sensitivity in the former channel is smaller than that in the latter one. However, it is shown that composite anomalous signal affects $ZZ(\rightarrow\ell\ell\nu\nu)jj$ production stronger than $Z\gamma(\rightarrow\nu\nu\gamma)jj$ production, making sensitivities closer. One-dimensional limits on the Wilson coefficients are changed up to 27.3% and 9.7% due to the background anomalous contributions in $ZZ(\rightarrow\ell\ell\nu\nu)jj$ and $Z\gamma(\rightarrow\nu\nu\gamma)jj$ productions respectively.


title: Machine Learning in Space: Surveying the Robustness of on-board ML models to Radiation

abstract: Modern spacecraft are increasingly relying on machine learning (ML). However, physical equipment in space is subject to various natural hazards, such as radiation, which may inhibit the correct operation of computing devices. Despite plenty of evidence showing the damage that naturally-induced faults can cause to ML-related hardware, we observe that the effects of radiation on ML models for space applications are not well-studied. This is a problem: without understanding how ML models are affected by these natural phenomena, it is uncertain "where to start from" to develop radiation-tolerant ML software. As ML researchers, we attempt to tackle this dilemma. By partnering up with space-industry practitioners specialized in ML, we perform a reflective analysis of the state of the art. We provide factual evidence that prior work did not thoroughly examine the impact of natural hazards on ML models meant for spacecraft. Then, through a "negative result", we show that some existing open-source technologies can hardly be used by researchers to study the effects of radiation for some applications of ML in satellites. As a constructive step forward, we perform simple experiments showcasing how to leverage current frameworks to assess the robustness of practical ML models for cloud detection against radiation-induced faults. Our evaluation reveals that not all faults are as devastating as claimed by some prior work. By publicly releasing our resources, we provide a foothold -- usable by researchers without access to spacecraft -- for spearheading development of space-tolerant ML models.


title: EM-based Algorithm for Unsupervised Clustering of Measurements from a Radar Sensor Network

abstract: This paper deals with the problem of clustering data returned by a radar sensor network that monitors a region where multiple moving targets are present. The network is formed by nodes with limited functionalities that transmit the estimates of target positions (after a detection) to a fusion center without any association between measurements and targets. To solve the problem at hand, we resort to model-based learning algorithms and instead of applying the plain maximum likelihood approach, due to the related computational requirements, we exploit the latent variable model coupled with the expectation-maximization algorithm. The devised estimation procedure returns posterior probabilities that are used to cluster the huge amount of data collected by the fusion center. Remarkably, we also consider challenging scenarios with an unknown number of targets and estimate it by means of the model order selection rules. The clustering performance of the proposed strategy is compared to that of conventional data-driven methods over synthetic data. The numerical examples point out that the herein proposed solutions can provide reliable clustering performance overcoming the considered competitors.


title: Interpretable Multi-View Clustering

abstract: Multi-view clustering has become a significant area of research, with numerous methods proposed over the past decades to enhance clustering accuracy. However, in many real-world applications, it is crucial to demonstrate a clear decision-making process-specifically, explaining why samples are assigned to particular clusters. Consequently, there remains a notable gap in developing interpretable methods for clustering multi-view data. To fill this crucial gap, we make the first attempt towards this direction by introducing an interpretable multi-view clustering framework. Our method begins by extracting embedded features from each view and generates pseudo-labels to guide the initial construction of the decision tree. Subsequently, it iteratively optimizes the feature representation for each view along with refining the interpretable decision tree. Experimental results on real datasets demonstrate that our method not only provides a transparent clustering process for multi-view data but also delivers performance comparable to state-of-the-art multi-view clustering methods. To the best of our knowledge, this is the first effort to design an interpretable clustering framework specifically for multi-view data, opening a new avenue in this field.


title: Production of meson molecules in ultra-peripheral heavy ion collisons

abstract: In this work we present a calculation of exotic charmonium production in ultra-peripheral collisions, in which the exotic state is explicitly treated as a meson molecule. Our formalism is general but we focus on the lightest possible exotic charmonium state: a $D^+ D^-$ molecular bound state. It was proposed some time ago and it has been object of experimental searches. Here we study the production of the open charm pair in the process $\gamma \gamma \to D^+ D^-$. Then we use a prescription to project the free pair $ |D^+ D^- \rangle$ onto a bound state at the amplitude level and compute the cross section of the process $\gamma \gamma \to B$ (where $B$ is the bound state). Finally, we convolute this last cross section with the equivalent photon distributions coming from the projectile and target in an ultra-peripheral collision and find the $A A \to A A B$ cross section, which, for $Pb-Pb$ collisions at $\sqrt{s_{NN}} = 5.02$ TeV, is of the order of $3 \, \mu \mbox{b}$.


title: Updating Windows Malware Detectors: Balancing Robustness and Regression against Adversarial EXEmples

abstract: Adversarial EXEmples are carefully-perturbed programs tailored to evade machine learning Windows malware detectors, with an on-going effort in developing robust models able to address detection effectiveness. However, even if robust models can prevent the majority of EXEmples, to maintain predictive power over time, models are fine-tuned to newer threats, leading either to partial updates or time-consuming retraining from scratch. Thus, even if the robustness against attacks is higher, the new models might suffer a regression in performance by misclassifying threats that were previously correctly detected. For these reasons, we study the trade-off between accuracy and regression when updating Windows malware detectors, by proposing EXE-scanner, a plugin that can be chained to existing detectors to promptly stop EXEmples without causing regression. We empirically show that previously-proposed hardening techniques suffer a regression of accuracy when updating non-robust models. On the contrary, we show that EXE-scanner exhibits comparable performance to robust models without regression of accuracy, and we show how to properly chain it after the base classifier to obtain the best performance without the need of costly retraining. To foster reproducibility, we openly release source code, along with the dataset of adversarial EXEmples based on state-of-the-art perturbation algorithms.


title: SubwayMeshDTN: Exploring Opportunistic Delay Tolerant Routing Protocols when Disseminating Emergency Alerts on a Smart City Subway Network

abstract: This paper seeks to understand the effectiveness of using multi-dimensional opportunistic delay-tolerant network (DTN) routing protocols, specifically Epidemic and MaxProp, in the context of New York City (NYC) metropolitan subway network. We examine how efficiently emergency messages spread through mobile, self-configuring, edge-based movement patterns on the train network to understand and propose solutions for improving communication in subterranean environments. Since DTNs are able to store, carry and forward messages through intermediate edges, this paper benchmarks both Wi-Fi and Bluetooth topologies to compare and critically evaluate movement patterns, latency, overheads and delivery rates on pseudo-realistic underground traces. We also show that the accordion effect is predominant in these networks, and therefore, the most effective protocol configurations vary.


title: A Conformal Prediction Score that is Robust to Label Noise

abstract: Conformal Prediction (CP) quantifies network uncertainty by building a small prediction set with a pre-defined probability that the correct class is within this set. In this study we tackle the problem of CP calibration based on a validation set with noisy labels. We introduce a conformal score that is robust to label noise. The noise-free conformal score is estimated using the noisy labeled data and the noise level. In the test phase the noise-free score is used to form the prediction set. We applied the proposed algorithm to several standard medical imaging classification datasets. We show that our method outperforms current methods by a large margin, in terms of the average size of the prediction set, while maintaining the required coverage.


title: Generic Multi-modal Representation Learning for Network Traffic Analysis

abstract: Network traffic analysis is fundamental for network management, troubleshooting, and security. Tasks such as traffic classification, anomaly detection, and novelty discovery are fundamental for extracting operational information from network data and measurements. We witness the shift from deep packet inspection and basic machine learning to Deep Learning (DL) approaches where researchers define and test a custom DL architecture designed for each specific problem. We here advocate the need for a general DL architecture flexible enough to solve different traffic analysis tasks. We test this idea by proposing a DL architecture based on generic data adaptation modules, followed by an integration module that summarises the extracted information into a compact and rich intermediate representation (i.e. embeddings). The result is a flexible Multi-modal Autoencoder (MAE) pipeline that can solve different use cases. We demonstrate the architecture with traffic classification (TC) tasks since they allow us to quantitatively compare results with state-of-the-art solutions. However, we argue that the MAE architecture is generic and can be used to learn representations useful in multiple scenarios. On TC, the MAE performs on par or better than alternatives while avoiding cumbersome feature engineering, thus streamlining the adoption of DL solutions for traffic analysis.


title: Identifying Narrative Patterns and Outliers in Holocaust Testimonies Using Topic Modeling

abstract: The vast collection of Holocaust survivor testimonies presents invaluable historical insights but poses challenges for manual analysis. This paper leverages advanced Natural Language Processing (NLP) techniques to explore the USC Shoah Foundation Holocaust testimony corpus. By treating testimonies as structured question-and-answer sections, we apply topic modeling to identify key themes. We experiment with BERTopic, which leverages recent advances in language modeling technology. We align testimony sections into fixed parts, revealing the evolution of topics across the corpus of testimonies. This highlights both a common narrative schema and divergences between subgroups based on age and gender. We introduce a novel method to identify testimonies within groups that exhibit atypical topic distributions resembling those of other groups. This study offers unique insights into the complex narratives of Holocaust survivors, demonstrating the power of NLP to illuminate historical discourse and identify potential deviations in survivor experiences.


title: Mind the (multiplicative) gaps

abstract: We consider the gaps between successive elements of the multiplication table of the first N integers. We find an explicit list of gaps which occur, and obtain partial results (experimental and otherwise) which suggest that this list might be exhaustive.


title: Deep Pulse-Signal Magnification for remote Heart Rate Estimation in Compressed Videos

abstract: Recent advancements in data-driven approaches for remote photoplethysmography (rPPG) have significantly improved the accuracy of remote heart rate estimation. However, the performance of such approaches worsens considerably under video compression, which is nevertheless necessary to store and transmit video data efficiently. In this paper, we present a novel approach to address the impact of video compression on rPPG estimation, which leverages a pulse-signal magnification transformation to adapt compressed videos to an uncompressed data domain in which the rPPG signal is magnified. We validate the effectiveness of our model by exhaustive evaluations on two publicly available datasets, UCLA-rPPG and UBFC-rPPG, employing both intra- and cross-database performance at several compression rates. Additionally, we assess the robustness of our approach on two additional highly compressed and widely-used datasets, MAHNOB-HCI and COHFACE, which reveal outstanding heart rate estimation results.


title: Isopignistic Canonical Decomposition via Belief Evolution Network

abstract: Developing a general information processing model in uncertain environments is fundamental for the advancement of explainable artificial intelligence. Dempster-Shafer theory of evidence is a well-known and effective reasoning method for representing epistemic uncertainty, which is closely related to subjective probability theory and possibility theory. Although they can be transformed to each other under some particular belief structures, there remains a lack of a clear and interpretable transformation process, as well as a unified approach for information processing. In this paper, we aim to address these issues from the perspectives of isopignistic belief functions and the hyper-cautious transferable belief model. Firstly, we propose an isopignistic transformation based on the belief evolution network. This transformation allows for the adjustment of the information granule while retaining the potential decision outcome. The isopignistic transformation is integrated with a hyper-cautious transferable belief model to establish a new canonical decomposition. This decomposition offers a reverse path between the possibility distribution and its isopignistic mass functions. The result of the canonical decomposition, called isopignistic function, is an identical information content distribution to reflect the propensity and relative commitment degree of the BPA. Furthermore, this paper introduces a method to reconstruct the basic belief assignment by adjusting the isopignistic function. It explores the advantages of this approach in modeling and handling uncertainty within the hyper-cautious transferable belief model. More general, this paper establishes a theoretical basis for building general models of artificial intelligence based on probability theory, Dempster-Shafer theory, and possibility theory.


title: Enhancing Cooperation through Selective Interaction and Long-term Experiences in Multi-Agent Reinforcement Learning

abstract: The significance of network structures in promoting group cooperation within social dilemmas has been widely recognized. Prior studies attribute this facilitation to the assortment of strategies driven by spatial interactions. Although reinforcement learning has been employed to investigate the impact of dynamic interaction on the evolution of cooperation, there remains a lack of understanding about how agents develop neighbour selection behaviours and the formation of strategic assortment within an explicit interaction structure. To address this, our study introduces a computational framework based on multi-agent reinforcement learning in the spatial Prisoner's Dilemma game. This framework allows agents to select dilemma strategies and interacting neighbours based on their long-term experiences, differing from existing research that relies on preset social norms or external incentives. By modelling each agent using two distinct Q-networks, we disentangle the coevolutionary dynamics between cooperation and interaction. The results indicate that long-term experience enables agents to develop the ability to identify non-cooperative neighbours and exhibit a preference for interaction with cooperative ones. This emergent self-organizing behaviour leads to the clustering of agents with similar strategies, thereby increasing network reciprocity and enhancing group cooperation.


title: Fast Online Movement Optimization of Aerial Base Stations Based on Global Connectivity Map

abstract: Unmanned aerial vehicles (UAVs) can serve as aerial base stations (ABSs) to provide wireless connectivity for ground users (GUs) in diverse scenarios. However, it is an NP-hard problem with exponential complexity in $M$ and $N$, in order to maximize the coverage rate (CR) of $M$ GUs by jointly placing $N$ ABSs with limited coverage range. This problem becomes even more intricate when the coverage range becomes irregular due to site-specific obstructions (e.g., buildings) on the air-ground channel, and/or when the GUs are in motion. To address the above challenges, we study a multi-ABS movement optimization problem to maximize the average coverage rate of mobile GUs within a site-specific environment. We tackle this challenging problem by 1) constructing the global connectivity map (GCM) which contains the connectivity information between given pairs of ABS/GU locations; 2) partitioning the ABS movement problem into ABS placement sub-problems and formulate each sub-problem into a binary integer linear programing (BILP) problem based on GCM; 3) proposing a fast online algorithm to execute (one-pass) projected stochastic subgradient descent within the dual space to rapidly solve the BILP problem with near-optimal performance. Numerical results demonstrate that our proposed algorithm achieves a high CR performance close to that obtained by the open source solver (SCIP), yet with significantly reduced running time. In addition, the algorithm also notably outperforms one of the state-of-the-art deep reinforcement learning (DRL) methods and the K-means initiated evolutionary algorithm in terms of CR performance and/or time efficiency.


title: Information content of JWST spectra of WASP-39b

abstract: WASP-39b was observed using several different JWST instrument modes and the spectra were published in a series of papers by the ERS team. The current study examines the information content of these spectra measured using the different instrument modes, focusing on the complexity of the temperature-pressure profiles and number of chemical species warranted by the data. We examine if H2O, CO, CO2, K, H2S, CH4, and SO2 are detected in each of the instrument modes. Two Bayesian inference methods are used to perform atmospheric retrievals: standard nested sampling and supervised machine learning of the random forest (trained on a model grid). For nested sampling, Bayesian model comparison is used as a guide to identify the set of models with the required complexity to explain the data. Generally, non-isothermal transit chords are needed to fit the transmission spectra of WASP-39b, although the complexity of the Tp-profile required is mode-dependent. The minimal set of chemical species needed to fit a spectrum is mode-dependent as well, and also depends on whether grey or non-grey clouds are assumed. When a non-grey cloud model is used to fit the G395H spectrum, it generates a spectral continuum that compensates for the H2O opacity. The same compensation is absent when fitting the non-grey cloud model to the PRISM spectrum (which has broader wavelength coverage), suggesting that it is spurious. The interplay between the cloud spectral continuum and the H2O opacity determines if SO2 is needed to fit either spectrum. The inferred elemental abundances of carbon and oxygen and the carbon-to-oxygen (C/O) ratios are all mode- and model-dependent, and should be interpreted with caution. Bayesian model comparison does not always offer a clear path forward for favouring specific retrieval models (e.g. grey versus non-grey clouds) and thus for enabling unambiguous interpretations of exoplanet spectra.


title: Composite effective field theory signal in case of searching for neutral triple gauge couplings with $ZZ\rightarrow\ell\ell\nu\nu$ production

abstract: In this work manifestations of physics beyond the Standard Model are parameterized with higher-dimension operators and Wilson coefficients using effective field theory. In order to set more stringent experimental limits on the Wilson coefficients it is crucial to use new methods of sensitivity increasing that work independently with luminosity growth. Method of composite anomalous signal allows one to set the limits on Wilson coefficients more precisely and stringent by accounting for impact of EFT operators on background processes in addition to the conventional anomalous contribution from the signal process. This work presents aforementioned methodology applied to the $ZZ\rightarrow\ell\ell\nu\nu$ production, that is sensitive to the neutral triple couplings of gauge bosons $Z$ and $\gamma$. It is found that the main background BSM contribution comes from $WZ\rightarrow\ell\nu\ell\ell$ background. Improvement of the limits on the Wilson coefficients due to this background depends on the coefficient and is up to 57.5% (59.1%) for one- (two-) dimensional limits in linear + quadratic effective field theory model and up to 94.4% for one-dimensional limits in linear effective field theory model.


title: Modeling Hadronic Interactions in Ultra-High-Energy Cosmic Rays within Astrophysical Environments: A Parametric Approach

abstract: Interactions of ultra-high energy cosmic-rays (UHECRs) accelerated in astrophysical environments have been shown to shape the energy production rate of nuclei escaping from the confinement zone. To address the influence of hadronic interactions, Hadronic Interaction Models (HIM) come into play. In this context, we present a parameterization capable of capturing the outcomes of two distinct HIMs, namely EPOS-LHC and Sibyll2.3d, in terms of secondary fluxes, including escaping nuclei, neutrinos, photons, and electrons. Our parametrization is systematically evaluated against the source codes, both at fixed energy and mass, as well as in a physical case scenario. The comparison demonstrates that our parameterization aligns well with the source codes, establishing its reliability as a viable alternative for analytical or fast Monte Carlo approaches dedicated to the study of UHECR propagation within source environments. This suggests the potential for utilizing our parameterization as a practical substitute in studies focused on the intricate dynamics of ultra-high energy cosmic rays.


title: R4: Reinforced Retriever-Reorder-Responder for Retrieval-Augmented Large Language Models

abstract: Retrieval-augmented large language models (LLMs) leverage relevant content retrieved by information retrieval systems to generate correct responses, aiming to alleviate the hallucination problem. However, existing retriever-responder methods typically append relevant documents to the prompt of LLMs to perform text generation tasks without considering the interaction of fine-grained structural semantics between the retrieved documents and the LLMs. This issue is particularly important for accurate response generation as LLMs tend to "lose in the middle" when dealing with input prompts augmented with lengthy documents. In this work, we propose a new pipeline named "Reinforced Retriever-Reorder-Responder" (R$^4$) to learn document orderings for retrieval-augmented LLMs, thereby further enhancing their generation abilities while the large numbers of parameters of LLMs remain frozen. The reordering learning process is divided into two steps according to the quality of the generated responses: document order adjustment and document representation enhancement. Specifically, document order adjustment aims to organize retrieved document orderings into beginning, middle, and end positions based on graph attention learning, which maximizes the reinforced reward of response quality. Document representation enhancement further refines the representations of retrieved documents for responses of poor quality via document-level gradient adversarial learning. Extensive experiments demonstrate that our proposed pipeline achieves better factual question-answering performance on knowledge-intensive tasks compared to strong baselines across various public datasets. The source codes and trained models will be released upon paper acceptance.