title: Universality of reservoir systems with recurrent neural networks

abstract: Approximation capability of reservoir systems whose reservoir is a recurrent neural network (RNN) is discussed. In our problem setting, a reservoir system approximates a set of functions just by adjusting its linear readout while the reservoir is fixed. We will show what we call uniform strong universality of a family of RNN reservoir systems for a certain class of functions to be approximated. This means that, for any positive number, we can construct a sufficiently large RNN reservoir system whose approximation error for each function in the class of functions to be approximated is bounded from above by the positive number. Such RNN reservoir systems are constructed via parallel concatenation of RNN reservoirs.


title: FaceChain-ImagineID: Freely Crafting High-Fidelity Diverse Talking Faces from Disentangled Audio

abstract: In this paper, we abstract the process of people hearing speech, extracting meaningful cues, and creating various dynamically audio-consistent talking faces, termed Listening and Imagining, into the task of high-fidelity diverse talking faces generation from a single audio. Specifically, it involves two critical challenges: one is to effectively decouple identity, content, and emotion from entangled audio, and the other is to maintain intra-video diversity and inter-video consistency. To tackle the issues, we first dig out the intricate relationships among facial factors and simplify the decoupling process, tailoring a Progressive Audio Disentanglement for accurate facial geometry and semantics learning, where each stage incorporates a customized training module responsible for a specific factor. Secondly, to achieve visually diverse and audio-synchronized animation solely from input audio within a single model, we introduce the Controllable Coherent Frame generation, which involves the flexible integration of three trainable adapters with frozen Latent Diffusion Models (LDMs) to focus on maintaining facial geometry and semantics, as well as texture and temporal coherence between frames. In this way, we inherit high-quality diverse generation from LDMs while significantly improving their controllability at a low training cost. Extensive experiments demonstrate the flexibility and effectiveness of our method in handling this paradigm. The codes will be released at https://github.com/modelscope/facechain.


title: Random Generation of Git Graphs

abstract: Version Control Systems, such as Git and Mercurial, manage the history of a project as a Directed Acyclic Graph encoding the various divergences and synchronizations happening in its life cycle. A popular workflow in the industry, called the feature branch workflow, constrains these graphs to be of a particular shape: a unique main branch, and non-interfering feature branches. Here we focus on the uniform random generation of those graphs with n vertices, including k on the main branch, for which we provide three algorithms, for three different use-cases. The first, based on rejection, is efficient when aiming for small values of k (more precisely whenever k = O($\sqrt$ n)). The second takes as input any number k of commits in the main branch, but requires costly precalculation. The last one is a Boltzmann generator and enables us to generate very large graphs while targeting a constant k/n ratio. All these algorithms are linear in the size of their outputs.


title: Online Locality Meets Distributed Quantum Computing

abstract: We extend the theory of locally checkable labeling problems (LCLs) from the classical LOCAL model to a number of other models that have been studied recently, including the quantum-LOCAL model, finitely-dependent processes, non-signaling model, dynamic-LOCAL model, and online-LOCAL model [e.g. STOC 2024, ICALP 2023]. First, we demonstrate the advantage that finitely-dependent processes have over the classical LOCAL model. We show that all LCL problems solvable with locality $O(\log^\star n)$ in the LOCAL model admit a finitely-dependent distribution (with constant locality). In particular, this gives a finitely-dependent coloring for regular trees, answering an open question by Holroyd [2023]. This also introduces a new formal barrier for understanding the distributed quantum advantage: it is not possible to exclude quantum advantage for any LCL in the $\Theta(\log^\star n)$ complexity class by using non-signaling arguments. Second, we put limits on the capabilities of all of these models. To this end, we introduce a model called randomized online-LOCAL, which is strong enough to simulate e.g. SLOCAL and dynamic-LOCAL, and we show that it is also strong enough to simulate any non-signaling distribution and hence any quantum-LOCAL algorithm. We prove the following result for rooted trees: if we can solve an LCL problem with locality $o(\log \log n)$ in the randomized online-LOCAL model, we can solve it with locality $O(\log^\star n)$ in the classical deterministic LOCAL model. Put together, these results show that in rooted trees the set of LCLs that can be solved with locality $O(\log^\star n)$ is the same across all these models: classical deterministic and randomized LOCAL, quantum-LOCAL, non-signaling model, dynamic-LOCAL, and deterministic and randomized online-LOCAL.


title: Double-mixing CP violation in $B$ decays

abstract: We study a long-overlooked CP violation observable, termed double-mixing CP violation, which arises from the interference between two neutral meson oscillating paths involved in a decay chain. The double-mixing CP violation is beneficial for the precise test of the Standard Model CKM mechanism, as it offers the potential to extract weak phases without pollution from strong dynamics. To provide a comprehensive understanding of the double-mixing CP violation, we perform phenomenological analyses on the cascade decays of the $B^0_d$ and $B^0_s$ mesons. Our results show that the double-mixing CP violation can be very significant in certain decay channels, such as $B^0_s \to \rho^0 K \to \rho^0(\pi^-\ell^+\nu_\ell)$. In addition, we employ the decay process $B^0_d \to D^0 K \to (K^-\pi^+)(\pi\ell\nu)$ to demonstrate that the involved strong and weak phases can be directly determined from the experimental data without any theoretical inputs.


title: Grain growth and its chemical impact in the first hydrostatic core phase

abstract: The first hydrostatic core (FHSC) phase is a brief stage in the protostellar evolution that is difficult to detect. Our goal is to characterize the chemical evolution of gas and dust during the formation of the FHSC. Moreover, we are interested in analyzing, for the first time with 3D magnetohydrodynamic (MHD) simulations, the role of grain growth in its chemistry. We postprocessed $2\times10^{5}$ tracer particles from a $\texttt{RAMSES}$ non-ideal MHD simulation using the codes $\texttt{NAUTILUS}$ and $\texttt{SHARK}$ to follow the chemistry and grain growth throughout the simulation. A great chemical inheritance is seen, as gas-phase abundances of most of the C, O, N, and S reservoirs in the hot corino at the end of the simulation match the ice-phase abundances from the prestellar phase. Additionally, interstellar complex organic molecules (iCOMs) such as methyl formate, acetaldehyde, and formamide are formed during the warm-up process. The typical grain size in the hot corino $(n_{\rm H}>10^{11}\ {\rm cm^{-3}})$ increases forty-fold during the last 30 kyr, with negligible effects on its chemical composition. At moderate densities $(10^{10}<n_{\rm H}<10^{11}\ {\rm cm^{-3}})$ and cool temperatures $15<T<50$ K, increasing grain sizes delay molecular depletion. Finally, at low densities $(n_{\rm H}\sim10^{7}\ {\rm cm^{-3}})$, grains do not grow significantly. We also compared our results with a two-step model that reproduces well the abundances of C and O reservoirs, but not the N and S reservoirs. We conclude that the chemical composition of the FHSC is heavily determined by that of the parent prestellar core, chemo-MHD computations are needed for an accurate prediction of the abundances of the main N and S elemental reservoirs, and that the impact of grain growth in moderately dense areas delaying depletion permits the use of abundance ratios as grain growth proxies.


title: Activity estimation via distributed measurements in an orientation sensitive neural fields model of the visual cortex

abstract: This paper investigates the online estimation of neural activity within the primary visual cortex (V1) in the framework of observability theory. We focus on a low-dimensional neural fields modeling hypercolumnar activity to describe activity in V1. We utilize the average cortical activity over V1 as measurement. Our contributions include detailing the model's observability singularities and developing a hybrid high-gain observer that achieves, under specific excitation conditions, practical convergence while maintaining asymptotic convergence in cases of biological relevance. The study emphasizes the intrinsic link between the model's non-linear nature and its observability. We also present numerical experiments highlighting the different properties of the observer.


title: Capacity of the Hebbian-Hopfield network associative memory

abstract: In \cite{Hop82}, Hopfield introduced a \emph{Hebbian} learning rule based neural network model and suggested how it can efficiently operate as an associative memory. Studying random binary patterns, he also uncovered that, if a small fraction of errors is tolerated in the stored patterns retrieval, the capacity of the network (maximal number of memorized patterns, $m$) scales linearly with each pattern's size, $n$. Moreover, he famously predicted $\alpha_c=\lim_{n\rightarrow\infty}\frac{m}{n}\approx 0.14$. We study this very same scenario with two famous pattern's basins of attraction: \textbf{\emph{(i)}} The AGS one from \cite{AmiGutSom85}; and \textbf{\emph{(ii)}} The NLT one from \cite{Newman88,Louk94,Louk94a,Louk97,Tal98}. Relying on the \emph{fully lifted random duality theory} (fl RDT) from \cite{Stojnicflrdt23}, we obtain the following explicit capacity characterizations on the first level of lifting: \begin{equation} \alpha_c^{(AGS,1)} = \left ( \max_{\delta\in \left ( 0,\frac{1}{2}\right ) }\frac{1-2\delta}{\sqrt{2} \mbox{erfinv} \left ( 1-2\delta\right )} - \frac{2}{\sqrt{2\pi}} e^{-\left ( \mbox{erfinv}\left ( 1-2\delta \right )\right )^2}\right )^2 \approx \mathbf{0.137906} \end{equation} \begin{equation} \alpha_c^{(NLT,1)} = \frac{\mbox{erf}(x)^2}{2x^2}-1+\mbox{erf}(x)^2 \approx \mathbf{0.129490}, \quad 1-\mbox{erf}(x)^2- \frac{2\mbox{erf}(x)e^{-x^2}}{\sqrt{\pi}x}+\frac{2e^{-2x^2}}{\pi}=0. \end{equation} A substantial numerical work gives on the second level of lifting $\alpha_c^{(AGS,2)} \approx \mathbf{0.138186}$ and $\alpha_c^{(NLT,2)} \approx \mathbf{0.12979}$, effectively uncovering a remarkably fast lifting convergence. Moreover, the obtained AGS characterizations exactly match the replica symmetry based ones of \cite{AmiGutSom85} and the corresponding symmetry breaking ones of \cite{SteKuh94}.

categories: stat.ML cond-mat.dis-nn cs.IT cs.LG math.IT math.PR


title: Stochastic acceleration in Extreme TeV BL Lacs through MCMC

abstract: Extreme TeV BL Lacs are a class of blazars with unique spectral and temporal features, not easily reproducible using standard one-zone models based on single shock acceleration. To account for their peculiar properties we elaborated a two-steps acceleration model where a recollimation shock and the subsequent downstream turbulence energize non-thermal electrons. We apply the model to a sample of Extreme TeV BL Lacs with well characterized spectral energy distributions. Since we are considering several sources, we automatized the exploration of the parameter space. This also allows us to derive the parameter distributions and to study the correlations among them. We numerically solved a system of two coupled non-linear differential equations to obtain the non-thermal particles and turbulence spectra. We calculated the spectral energy distribution via the Synchrotron Self-Compton emission model. The automatization of the parameter space exploration is possible through a Markov Chain Monte Carlo (MCMC) ensemble sampler, in our case emcee. We derived well defined posterior distributions for the parameters, showing that the model is well constrained by available data and supporting the suitability of our method. The cross-correlations among some of the physical parameters are not trivial, therefore we conclude that MCMC sampling is a key instrument to characterize the complexity of our multi-parametric phenomenological model.


title: Semi-Supervised Semantic Segmentation Based on Pseudo-Labels: A Survey

abstract: Semantic segmentation is an important and popular research area in computer vision that focuses on classifying pixels in an image based on their semantics. However, supervised deep learning requires large amounts of data to train models and the process of labeling images pixel by pixel is time-consuming and laborious. This review aims to provide a first comprehensive and organized overview of the state-of-the-art research results on pseudo-label methods in the field of semi-supervised semantic segmentation, which we categorize from different perspectives and present specific methods for specific application areas. In addition, we explore the application of pseudo-label technology in medical and remote-sensing image segmentation. Finally, we also propose some feasible future research directions to address the existing challenges.


title: Status of Birkhoff's theorem in polymerized semiclassical regime of Loop Quantum Gravity

abstract: The collapse of a spherically symmetric ball of dust has been intensively studied in Loop Quantum Gravity (LQG). From a quantum theory, it is possible to recover a semiclassical regime through a polymerization procedure. In this setting, general solutions to the polymerized Einstein field equations (PEFE) will be discussed both for the interior and the exterior of the dust cloud. Exterior solutions are particularly interesting since they may lead to a semiclassical version of the Birkhoff's theorem. It is seen that if time independence of the vacuum is imposed, there exists a unique class of solutions depending on two parameters. Nevertheless, the possibility of more intricate time dependent solutions is not ruled out completely. Ultimately, these results will be compared to a model of spherical collapse obtained independently from the Einstein equations.


title: Turtles, Hats and Spectres: Aperiodic structures on a Rhombic tiling

abstract: These notes derive aperiodic monotiles (arXiv:2303.10798) from a set of rhombuses with matching rules. This dual construction is used to simplify the proof of aperiodicity by considering the tiling as a colouring game on a Rhombille tiling. A simple recursive substitution system is then introduced to show the existence of a non-periodic tiling without the need for computer-aided verification. A new cut-and-project style construction linking the Turtle tiling with 1-dimensional Fibonacci words provides a second proof of non-periodicity, and an alternative demonstration that the Turtle can tile the plane. Deforming the Turtle into the Hat tile then provides a third proof for non-periodicity by considering the effect on the lattice underlying the Rhombille tiling. Finally, attention turns to the Spectre tile. In collaboration with Erhard K\"unzel and Yoshiaki Araki, we present two new substitution rules for generating Spectre tilings. This pair of conjugate rules show that the aperiodic monotile tilings can be considered as a 2-dimensional analog to Sturmian words.


title: Discrete time-crystals in linear potentials

abstract: Discrete time crystalline (DTC) phases have attracted significant theoretical and experimental attention in the last few years. Such systems require a seemingly impossible combination of non-adiabatic driving and a finite-entropy long-time state, which is, however, possible in non-ergodic systems. Previous works have often relied on disorder for the required non-ergodicity; here, we describe the construction of a discrete time crystal (DTC) phase in non-disordered, non-integrable Ising-type systems. After discussing the conditions for interacting and periodically driven systems to display such phases in general, we propose a concrete model and then provide approximate analytical arguments and direct numerical evidence that it satisfies the conditions and displays a DTC phase robust to local periodic perturbations.


title: PowerSkel: A Device-Free Framework Using CSI Signal for Human Skeleton Estimation in Power Station

abstract: Safety monitoring of power operations in power stations is crucial for preventing accidents and ensuring stable power supply. However, conventional methods such as wearable devices and video surveillance have limitations such as high cost, dependence on light, and visual blind spots. WiFi-based human pose estimation is a suitable method for monitoring power operations due to its low cost, device-free, and robustness to various illumination conditions.In this paper, a novel Channel State Information (CSI)-based pose estimation framework, namely PowerSkel, is developed to address these challenges. PowerSkel utilizes self-developed CSI sensors to form a mutual sensing network and constructs a CSI acquisition scheme specialized for power scenarios. It significantly reduces the deployment cost and complexity compared to the existing solutions. To reduce interference with CSI in the electricity scenario, a sparse adaptive filtering algorithm is designed to preprocess the CSI. CKDformer, a knowledge distillation network based on collaborative learning and self-attention, is proposed to extract the features from CSI and establish the mapping relationship between CSI and keypoints. The experiments are conducted in a real-world power station, and the results show that the PowerSkel achieves high performance with a PCK@50 of 96.27%, and realizes a significant visualization on pose estimation, even in dark environments. Our work provides a novel low-cost and high-precision pose estimation solution for power operation.


title: Linear Congruences in several variables with congruence restrictions

abstract: In this article, we consider systems of linear congruences in several variables and obtain necessary and sufficient conditions as well as explicit expressions for the number of solutions subject to certain restriction conditions. These results are in terms of Ramanujan sums and generalize the results of Lehmer \cite{DNL13} and Bibak et al. \cite{BBVRL17}. These results have analogues over $\mathbb{F}_q[t]$ where the proofs are similar, once notions such as Ramanujan sums are defined in this set-up. We use the recent description of Ramanujan sums over function fields as developed by Zhiyong Zheng \cite{ZZ18}. This is discussed in the last section. We illustrate the formulae obtained for the number of solutions through some examples. Over the integers, such problems have a rich history, some of which seem to have been forgotten - a number of papers written on the topic re-prove known results. The present authors also became aware of some of these old articles only while writing the present article and hence, we recall very briefly some of the old work by H. J. S. Smith, Rademacher, Brauer, Butson and Stewart, Ramanathan, McCarthy, and Spilker \cite{AB26, BS55, PJM76, HR25, KGR44, HJSS61, JS96}.


title: xT: Nested Tokenization for Larger Context in Large Images

abstract: Modern computer vision pipelines handle large images in one of two sub-optimal ways: down-sampling or cropping. These two methods incur significant losses in the amount of information and context present in an image. There are many downstream applications in which global context matters as much as high frequency details, such as in real-world satellite imagery; in such cases researchers have to make the uncomfortable choice of which information to discard. We introduce xT, a simple framework for vision transformers which effectively aggregates global context with local details and can model large images end-to-end on contemporary GPUs. We select a set of benchmark datasets across classic vision tasks which accurately reflect a vision model's ability to understand truly large images and incorporate fine details over large scales and assess our method's improvement on them. By introducing a nested tokenization scheme for large images in conjunction with long-sequence length models normally used for natural language processing, we are able to increase accuracy by up to 8.6% on challenging classification tasks and $F_1$ score by 11.6 on context-dependent segmentation in large images.


title: Enhancing thermoelectric performance of 2D Janus ISbTe by strain engineering: A first principle study

abstract: Recent developments in the 2D materials laid emphasis on finding the materials with robust properties for variety of applications including the energy harvesting. The recent discovery of Janus monolayers with broken symmetry has opened up new options for engineering the properties of 2D layered materials. Present study focuses on enhancing thermoelectric properties of 2H-ISbTe 2D Janus monolayer. All the calculations have been performed using fully relaxed unit cell and employing the pseudo potential based quantum espresso code. Calculated structural parameters are in good agreement with previous literature reports. The lattice dynamics calculations predicts this monolayer can withstand a strain of up to 4% beyond which imaginary frequencies appear in the phonon dispersion curves. Computed electronic structure reveals that the monolayer is an indirect wide bandgap material and the bandgap decreases with tensile strain. Furthermore, the computed thermoelectric properties show that the studied monolayer has high Seebeck coefficient of ~ 300 {\mu}V/K and low thermal conductivity which yields reasonably high ZT of ~ 1.31 for a strain of 2% at 300 K with p-type doping. Therefore, our study signifies the fact that tensile strain and p-type doping of 2D Janus monolayer ISbTe can enhance ZT from 0.87 to 1.31 at room temperature which makes it a promising candidate for thermoelectric applications.


title: Femtotesla Atomic Magnetometer for Zero- and Ultralow-field Nuclear Magnetic Resonance

abstract: Zero- and ultralow-field nuclear magnetic resonance (ZULF NMR) has experienced rapid development and provides an excellent tool for diverse research fields ranging from materials science, quantum information processing to fundamental physics. The detection of ZULF NMR signals in samples with natural abundance remains a challenging endeavor, due to the limited sensitivity of NMR detectors and thermal polarization. In this work, we demonstrate a femtotesla potassium spin-exchange relaxation-free (SERF) magnetometer designed for ZULF NMR detection. A potassium vapor cell with high buffer gas pressure and high atomic number density is used in the magnetometer. With absorption spectroscopy and SERF effect, the key parameters of the vapor cell are characterized and applied to optimize the magnetometer sensitivity. To combine our SERF magnetometer and ZULF NMR detection, a custom-made vacuum chamber is employed to keep NMR sample close to the magnetometer cell and protect the sample from undesired heating effects. Gradiometric measurement is performed to greatly reduce the magnetic noise. With the phase calibration applied, the gradiometric measurement achieves 7-fold enhancement in magnetic-field sensitivity compared to the single channel and has a magnetic noise floor of 1.2 fT/Hz$^{1/2}$. Our SERF magnetometer exhibits high sensitivity and is promising to realize ZULF NMR detection of samples with natural abundance.


title: Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus

abstract: An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-specific instantiations of assurance case patterns are both costly and time-consuming. It becomes especially complex to maintain an assurance case for a system when the requirements of the System-Under-Assurance change, or an assurance claim becomes invalid due to, e.g., degradation of a systems component, as common when deploying learning-enabled components. In this paper, we report on our preliminary experience leveraging the tool integration framework Evidential Tool Bus (ETB) for the construction and continuous maintenance of an assurance case from a predefined assurance case pattern. Specifically, we demonstrate the assurance process on an industrial Automated Valet Parking system from the automotive domain. We present the formalization of the provided assurance case pattern in the ETB processable logical specification language of workflows. Our findings show that ETB is able to create and maintain evidence required for the construction of an assurance case.


title: Matrix Completion with Convex Optimization and Column Subset Selection

abstract: We introduce a two-step method for the matrix recovery problem. Our approach combines the theoretical foundations of the Column Subset Selection and Low-rank Matrix Completion problems. The proposed method, in each step, solves a convex optimization task. We present two algorithms that implement our Columns Selected Matrix Completion (CSMC) method, each dedicated to a different size problem. We performed a formal analysis of the presented method, in which we formulated the necessary assumptions and the probability of finding a correct solution. In the second part of the paper, we present the results of the experimental work. Numerical experiments verified the correctness and performance of the algorithms. To study the influence of the matrix size, rank, and the proportion of missing elements on the quality of the solution and the computation time, we performed experiments on synthetic data. The presented method was applied to two real-life problems problems: prediction of movie rates in a recommendation system and image inpainting. Our thorough analysis shows that CSMC provides solutions of comparable quality to matrix completion algorithms, which are based on convex optimization. However, CSMC offers notable savings in terms of runtime.


title: Projected Newton method for large-scale Bayesian linear inverse problems

abstract: Computing the regularized solution of Bayesian linear inverse problems as well as the corresponding regularization parameter is highly desirable in many applications. This paper proposes a novel iterative method, termed the Projected Newton method (PNT), that can simultaneously update the regularization parameter and solution step by step without requiring any high-cost matrix inversions or decompositions. By reformulating the Tikhonov regularization as a constrained minimization problem and writing its Lagrangian function, a Newton-type method coupled with a Krylov subspace method, called the generalized Golub-Kahan bidiagonalization, is employed for the unconstrained Lagrangian function. The resulting PNT algorithm only needs solving a small-scale linear system to get a descent direction of a merit function at each iteration, thus significantly reducing computational overhead. Rigorous convergence results are proved, showing that PNT always converges to the unique regularized solution and the corresponding Lagrangian multiplier. Experimental results on both small and large-scale Bayesian inverse problems demonstrate its excellent convergence property, robustness and efficiency. Given that the most demanding computational tasks in PNT are primarily matrix-vector products, it is particularly well-suited for large-scale problems.


title: Arabic Text Sentiment Analysis: Reinforcing Human-Performed Surveys with Wider Topic Analysis

abstract: Sentiment analysis (SA) has been, and is still, a thriving research area. However, the task of Arabic sentiment analysis (ASA) is still underrepresented in the body of research. This study offers the first in-depth and in-breadth analysis of existing ASA studies of textual content and identifies their common themes, domains of application, methods, approaches, technologies and algorithms used. The in-depth study manually analyses 133 ASA papers published in the English language between 2002 and 2020 from four academic databases (SAGE, IEEE, Springer, WILEY) and from Google Scholar. The in-breadth study uses modern, automatic machine learning techniques, such as topic modelling and temporal analysis, on Open Access resources, to reinforce themes and trends identified by the prior study, on 2297 ASA publications between 2010-2020. The main findings show the different approaches used for ASA: machine learning, lexicon-based and hybrid approaches. Other findings include ASA 'winning' algorithms (SVM, NB, hybrid methods). Deep learning methods, such as LSTM can provide higher accuracy, but for ASA sometimes the corpora are not large enough to support them. Additionally, whilst there are some ASA corpora and lexicons, more are required. Specifically, Arabic tweets corpora and datasets are currently only moderately sized. Moreover, Arabic lexicons that have high coverage contain only Modern Standard Arabic (MSA) words, and those with Arabic dialects are quite small. Thus, new corpora need to be created. On the other hand, ASA tools are stringently lacking. There is a need to develop ASA tools that can be used in industry, as well as in academia, for Arabic text SA. Hence, our study offers insights into the challenges associated with ASA research and provides suggestions for ways to move the field forward such as lack of Dialectical Arabic resource, Arabic tweets, corpora and data sets for SA.


title: FlowPrecision: Advancing FPGA-Based Real-Time Fluid Flow Estimation with Linear Quantization

abstract: In industrial and environmental monitoring, achieving real-time and precise fluid flow measurement remains a critical challenge. This study applies linear quantization in FPGA-based soft sensors for fluid flow estimation, significantly enhancing Neural Network model precision by overcoming the limitations of traditional fixed-point quantization. Our approach achieves up to a 10.10% reduction in Mean Squared Error and a notable 9.39% improvement in inference speed through targeted hardware optimizations. Validated across multiple data sets, our findings demonstrate that the optimized FPGA-based quantized models can provide efficient, accurate real-time inference, offering a viable alternative to cloud-based processing in pervasive autonomous systems.


title: Linear Congruences and a Conjecture of Bibak

abstract: We address three questions posed by Bibak \cite{KB20}, and generalize some results of Bibak, Lehmer and K G Ramanathan on solutions of linear congruences $\sum_{i=1}^k a_i x_i \equiv b \Mod{n}$. In particular, we obtain explicit expressions for the number of solutions where $x_i$'s are squares modulo $n$. In addition, we obtain expressions for the number of solutions with order restrictions $x_1 \geq \cdots \geq x_k$ or, with strict order restrictions $x_1> \cdots > x_k$ in some special cases. In these results, the expressions for the number of solutions involve Ramanujan sums and are obtained using their properties.


title: To Generate or to Retrieve? On the Effectiveness of Artificial Contexts for Medical Open-Domain Question Answering

abstract: Medical open-domain question answering demands substantial access to specialized knowledge. Recent efforts have sought to decouple knowledge from model parameters, counteracting architectural scaling and allowing for training on common low-resource hardware. The retrieve-then-read paradigm has become ubiquitous, with model predictions grounded on relevant knowledge pieces from external repositories such as PubMed, textbooks, and UMLS. An alternative path, still under-explored but made possible by the advent of domain-specific large language models, entails constructing artificial contexts through prompting. As a result, "to generate or to retrieve" is the modern equivalent of Hamlet's dilemma. This paper presents MedGENIE, the first generate-then-read framework for multiple-choice question answering in medicine. We conduct extensive experiments on MedQA-USMLE, MedMCQA, and MMLU, incorporating a practical perspective by assuming a maximum of 24GB VRAM. MedGENIE sets a new state-of-the-art in the open-book setting of each testbed, allowing a small-scale reader to outcompete zero-shot closed-book 175B baselines while using up to 706$\times$ fewer parameters. Our findings reveal that generated passages are more effective than retrieved ones in attaining higher accuracy.


title: Diameter of a new model of random hyperbolic surfaces

abstract: The study of random surfaces, especially in the asymptotics of large genus, has been of increasing interest in recent years. Many geometrical questions have analogous formulations in the theory of random graphs with a large number of vertices, and results obtained in one area can inspire the other. In this paper, we are interested in the diameter of random surfaces, a basic measure of the connectivity of the surface. We introduce a new class of models of random surfaces built from random graphs and we compute the asymptotic of the diameter of these surfaces, which is logarithmic in the genus of the surface. The strategy of the proof relies on a detailed study of an exploration process which is the analogue of the breadth-first search exploration of a random graph. Its analysis is based on subadditive and concentration techniques.


title: IndicVoices: Towards building an Inclusive Multilingual Speech Dataset for Indian Languages

abstract: We present INDICVOICES, a dataset of natural and spontaneous speech containing a total of 7348 hours of read (9%), extempore (74%) and conversational (17%) audio from 16237 speakers covering 145 Indian districts and 22 languages. Of these 7348 hours, 1639 hours have already been transcribed, with a median of 73 hours per language. Through this paper, we share our journey of capturing the cultural, linguistic and demographic diversity of India to create a one-of-its-kind inclusive and representative dataset. More specifically, we share an open-source blueprint for data collection at scale comprising of standardised protocols, centralised tools, a repository of engaging questions, prompts and conversation scenarios spanning multiple domains and topics of interest, quality control mechanisms, comprehensive transcription guidelines and transcription tools. We hope that this open source blueprint will serve as a comprehensive starter kit for data collection efforts in other multilingual regions of the world. Using INDICVOICES, we build IndicASR, the first ASR model to support all the 22 languages listed in the 8th schedule of the Constitution of India. All the data, tools, guidelines, models and other materials developed as a part of this work will be made publicly available


title: Advancing Gene Selection in Oncology: A Fusion of Deep Learning and Sparsity for Precision Gene Selection

abstract: Gene selection plays a pivotal role in oncology research for improving outcome prediction accuracy and facilitating cost-effective genomic profiling for cancer patients. This paper introduces two gene selection strategies for deep learning-based survival prediction models. The first strategy uses a sparsity-inducing method while the second one uses importance based gene selection for identifying relevant genes. Our overall approach leverages the power of deep learning to model complex biological data structures, while sparsity-inducing methods ensure the selection process focuses on the most informative genes, minimizing noise and redundancy. Through comprehensive experimentation on diverse genomic and survival datasets, we demonstrate that our strategy not only identifies gene signatures with high predictive power for survival outcomes but can also streamlines the process for low-cost genomic profiling. The implications of this research are profound as it offers a scalable and effective tool for advancing personalized medicine and targeted cancer therapies. By pushing the boundaries of gene selection methodologies, our work contributes significantly to the ongoing efforts in cancer genomics, promising improved diagnostic and prognostic capabilities in clinical settings.


title: ZSL-RPPO: Zero-Shot Learning for Quadrupedal Locomotion in Challenging Terrains using Recurrent Proximal Policy Optimization

abstract: We present ZSL-RPPO, an improved zero-shot learning architecture that overcomes the limitations of teacher-student neural networks and enables generating robust, reliable, and versatile locomotion for quadrupedal robots in challenging terrains. We propose a new algorithm RPPO (Recurrent Proximal Policy Optimization) that directly trains recurrent neural network in partially observable environments and results in more robust training using domain randomization. Our locomotion controller supports extensive perturbation across simulation-to-reality transfer for both intrinsic and extrinsic physical parameters without further fine-tuning. This can avoid the significant decline of student's performance during simulation-to-reality transfer and therefore enhance the robustness and generalization of the locomotion controller. We deployed our controller on the Unitree A1 and Aliengo robots in real environment and exteroceptive perception is provided by either a solid-state Lidar or a depth camera. Our locomotion controller was tested in various challenging terrains like slippery surfaces, Grassy Terrain, and stairs. Our experiment results and comparison show that our approach significantly outperforms the state-of-the-art.


title: Analyzing and Adapting Large Language Models for Few-Shot Multilingual NLU: Are We There Yet?

abstract: Supervised fine-tuning (SFT), supervised instruction tuning (SIT) and in-context learning (ICL) are three alternative, de facto standard approaches to few-shot learning. ICL has gained popularity recently with the advent of LLMs due to its simplicity and sample efficiency. Prior research has conducted only limited investigation into how these approaches work for multilingual few-shot learning, and the focus so far has been mostly on their performance. In this work, we present an extensive and systematic comparison of the three approaches, testing them on 6 high- and low-resource languages, three different NLU tasks, and a myriad of language and domain setups. Importantly, performance is only one aspect of the comparison, where we also analyse the approaches through the optics of their computational, inference and financial costs. Our observations show that supervised instruction tuning has the best trade-off between performance and resource requirements. As another contribution, we analyse the impact of target language adaptation of pretrained LLMs and find that the standard adaptation approaches can (superficially) improve target language generation capabilities, but language understanding elicited through ICL does not improve and remains limited, with low scores especially for low-resource languages.


title: Twisted-photons Distribution Emitted by Relativistic Electrons at the Axial Channeling

abstract: Within the framework of quantum electrodynamics, a new method for calculating the radiation of a twisted photon emitted at any angle to the particle velocity has been developed. Using this method, the theory of radiation of a twisted photon by an axially channeled electron at an arbitrary angle to the direction of motion was first created. The twisted-photons angular disibution calculated for the first time


title: VariErr NLI: Separating Annotation Error from Human Label Variation

abstract: Human label variation arises when annotators assign different labels to the same item for valid reasons, while annotation errors occur when labels are assigned for invalid reasons. These two issues are prevalent in NLP benchmarks, yet existing research has studied them in isolation. To the best of our knowledge, there exists no prior work that focuses on teasing apart error from signal, especially in cases where signal is beyond black-and-white. To fill this gap, we introduce a systematic methodology and a new dataset, VariErr (variation versus error), focusing on the NLI task in English. We propose a 2-round annotation procedure with annotators explaining each label and subsequently judging the validity of label-explanation pairs. VariErr contains 7,732 validity judgments on 1,933 explanations for 500 re-annotated MNLI items. We assess the effectiveness of various automatic error detection (AED) methods and GPTs in uncovering errors versus human label variation. We find that state-of-the-art AED methods significantly underperform GPTs and humans. While GPT-4 is the best system, it still falls short of human performance. Our methodology is applicable beyond NLI, offering fertile ground for future research on error versus plausible variation, which in turn can yield better and more trustworthy NLP systems.


title: Tree Counting by Bridging 3D Point Clouds with Imagery

abstract: Accurate and consistent methods for counting trees based on remote sensing data are needed to support sustainable forest management, assess climate change mitigation strategies, and build trust in tree carbon credits. Two-dimensional remote sensing imagery primarily shows overstory canopy, and it does not facilitate easy differentiation of individual trees in areas with a dense canopy and does not allow for easy separation of trees when the canopy is dense. We leverage the fusion of three-dimensional LiDAR measurements and 2D imagery to facilitate the accurate counting of trees. We compare a deep learning approach to counting trees in forests using 3D airborne LiDAR data and 2D imagery. The approach is compared with state-of-the-art algorithms, like operating on 3D point cloud and 2D imagery. We empirically evaluate the different methods on the NeonTreeCount data set, which we use to define a tree-counting benchmark. The experiments show that FuseCountNet yields more accurate tree counts.


title: Non-relativistic Conformal Field Theory in Momentum Space

abstract: Non-relativistic conformal field theory describes many-body physics at unitarity. The correlation functions of the system are fixed by the requirement of conformal invariance. In this article, we discuss the correlation functions of scalar operators in non-relativistic conformal field theories in momentum space. We discuss the solution of conformal Ward identities and express 2,3, and 4-point functions as a function of energy and momentum. We also express the 3- and 4-point functions in the momentum space as the one-loop and three-loop Feynman diagram computations, respectively.


title: Exact steady states in the asymmetric simple exclusion process beyond one dimension

abstract: The asymmetric simple exclusion process (ASEP) is a paradigmatic nonequilibrium many-body system that describes the asymmetric random walk of particles with exclusion interactions in a lattice. Although the ASEP is recognized as an exactly solvable model, most of the exact results obtained so far are limited to one-dimensional systems. Here, we construct the exact steady states of the ASEP with closed and periodic boundary conditions in arbitrary dimensions. This is achieved through the concept of transition decomposition, which enables the treatment of the multi-dimensional ASEP as a composite of the one-dimensional ASEPs.


title: Simultaneous FUV and NUV observations of T Tauri stars with UVIT/AstroSat: probing accretion process in young stars

abstract: We present results from simultaneous FUV and NUV observations of T-Tauri stars (TTSs) in the Taurus molecular cloud with UVIT/AstroSat. This is the very first UVIT study of TTSs. From the spectral energy distribution of TTSs from FUV to near-IR, we show that classical TTSs (CTTSs) emit significantly higher UV excess compared to weak-line TTSs (WTTSs). The equivalent black-body temperatures corresponding to the UV excess in CTTSs ($>10^4$ K) are also found to be relatively higher than that in WTTSs ($<9250$ K). From the UV excess, we have re-classified two WTTSs (BS Tau, V836 Tau) as CTTSs, which has been supported by the follow-up optical spectroscopic study using the Himalayan Chandra Telescope (HCT), showing strong H$\alpha$ line emission. We find that CTTSs show strong excess emission in both FUV ($>$10$^7$) and NUV ($>$10$^3$) bands, while WTTSs show strong excess only in the FUV ($\lesssim$10$^5$), suggesting that excess emission in NUV can be used as a tool to classify the TTSs. We also find a linear correlation between UV luminosity (a primary indicator of mass accretion) and H$\alpha$ luminosity (a secondary indicator of mass accretion) with a slope of 1.20$\pm$0.22 and intercept of 2.16$\pm$0.70.


title: Electronic structure and conductivity in functionalized multi-layer Black Phosphorene

abstract: Phosphorene and its components are highly reactive to oxygen when exposed to ambient conditions due to the presence of lone pairs of electrons on phosphorus atoms. Functionalization serves as a solution to prevent the chemical degradation of these materials. In this study, we investigate the impact of a rather strong covalent or non-covalent functionalization of phosphorene (monolayer Black Phosphorus (BP)), few-layer BP, and bulk BP. We use an effective tight-binding Hamiltonian that corresponds to one orbital per site, for which covalent functionalization is simulated by atomic vacancies, and non-covalent functionalization is simulated by Anderson disorder. We show that these two types of functionalisation act differently on the electronic structure and quantum diffusion, in particular on gap and mobility gap for a high degree of functionalisation.


title: Examining the critical phenomenon of pion parton distribution: Insights from the Moment Problem

abstract: A recent study by Wang {\it et al.}(arXiv:2309.01417) proposed a novel connection between the nature of the parton distribution function (PDF) and the characteristics of its moments. In this study, we apply these findings to analyze the evolution of the pion valence quark PDF, garnering valuable qualitative insights. Firstly, we validate the non-negativity and continuity of the PDF across a wide range of scales, indicating the logical consistency of our chosen evolution scheme. Subsequently, we examine the unimodality of both the PDF and its transformed counterpart, the xPDF, i.e., the parton distribution function multiplied by the momentum fraction. We observe a smooth evolution of the peak position of the xPDF towards the small-$x$ region with increasing scale, while intriguingly, the PDF undergoes a phase of bimodal competition as the energy scale evolves.


title: Beneath and beyond frustrated total reflection: a practical demonstration

abstract: Frustrated total internal reflection is analyzed from an unusual point of view Unlike most similar works, incident angles are used here as the scanning variable, instead of the tunneled film thickness. The theoretical framework is presented defining our own normalized variables, better adapted to the problem at hand. A straightforward and captivating experiment, appropriate for undergraduate classroom demonstrations is also presented. The experiment involves measuring the reflection and transmission of light through a pair of prisms separated by an air or water layer, and the results are in fair agreement with theory.


title: A Type Theory with a Tiny Object

abstract: We present an extension of Martin-L\"of Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected left adjoint. We demonstrate the practicality of this type theory by proving various properties related to tininess internally and suggest a few potential applications.


title: Bounding Taylor approximation errors for the exponential function in the presence of a power weight function

abstract: Motivated by the needs in the theory of large deviations and in the theory of Lundberg's equation with heavy-tailed distribution functions, we study for $n=0,1,...$ the maximization of $S:~\Bigl(1-e^{-s}\Bigl(1+\frac{s^1}{1!}+...+\frac{s^n}{n!}\Bigr)\Bigr)/s^{\delta} = E_{n,\delta}(s)$ over $s\geq0$, with $\delta\in(0,n+1)$, $U:~({-}1)^{n+1}\Bigl(e^{-u}-\Bigl(1-\frac{u^1}{1!}+...+({-}1)^n\,\frac{u^n}{n!} \Bigr)\Bigr)/u^{\delta}=G_{n,\delta}(u)$ over $u\geq0$ with $\delta\in(n,n+1)$. We show that $E_{n,\delta}(s)$ and $G_{n,\delta}(u)$ have a unique maximizer $s=s_n(\delta)>0$ and $u=u_n(\delta)>0$ that decrease strictly from $+\infty$ at $\delta=0$ and $\delta=n$, respectively, to 0 at $\delta=n+1$. We use Taylor's formula for truncated series with remainder in integral form to develop a criterion to decide whether a particular smooth function $S(\delta)$, $\delta\in(0,n+1)$, or $U(\delta)$, $\delta\in(n,n+1)$, respectively, is a lower/upper bound for $s_n(\delta)$ and $u_n(\delta)$, respectively. This criterion allows us to find lower and upper bounds for $s_n$ and $u_n$ that are reasonably tight and simple at the same time. Furthermore, as a consequence of the identities $\frac{d}{d\delta}\,[{\rm ln}\,ME_{n,\delta}] ={-}{\rm ln}\,s_n(\delta)$ and $\frac{d}{d\delta}\,[{\rm ln}\,MG_{n,\delta}]={-}{\rm ln}\,u_n(\delta)$, we show that $ME_{n,\delta}$ and $MG_{n,\delta}$ are log-convex functions of $\delta\in(0,n+1)$ and $\delta\in(n+1,n)$, respectively, with limiting values 1 ($\delta\downarrow0$) and $1/(n+1)!$ ($\delta\uparrow n+1$) for $E$, and $1/n!\,(\delta\downarrow n)$ and $1/(n+1)!\,(\delta\uparrow n+1)$ for $G$. The minimal values $\hat{E}_n$ and $\hat{G}_n$ of $ME_{n,\delta}$ and $MG_{n,\delta}$, respectively, as a function of $\delta$, as well as the minimum locations $\delta_{n,E}$ and $\delta_{n,G}$ are determined in closed form.


title: Probing the emission mechanism and nature of the pulsating compact object in the X-ray binary SAX J1324.4-6200

abstract: Recently, there has been renewed interest in the Be X-ray binary (Be/XRB) SAX J1324.4-6200 because of its spatial coincidence with a gamma-ray source detected by Fermi/LAT. To explore more thoroughly its properties, new observations were carried out in 2023 by NuSTAR, XMM-Newton, and Swift, jointly covering the energy range 0.2-79 keV. The X-ray spectrum of SAX J1324.4-6200 fits well with an absorbed power law with a high energy cut-off. We measured a NuSTAR spin period of 175.8127 +/- 0.0036 s and an XMM-Newton spin period of 175.862 +/- 0.025 s. All the available spin period measurements of SAX J1324.4-6200, spanning 29 years, are correlated with time, resulting in a remarkably stable spin-down of dP/dt=(6.09 +/- 0.06)*1E-9 s/s. If SAX J1324.4-6200 hosts an accretion powered pulsar, accretion torque models indicate a surface magnetic field of ~1E12-1E13 G. The X-ray properties emerging from our analysis strenghten the hypothesis that SAX J1324.4-6200 belongs to the small group of persistent Be/XRBs. We also performed radio observations with the Parkes Murriyang telescope, to search for radio pulsations. However, no radio pulsations compatible with the rotational ephemeris of SAX J1324.4-6200 were detected. We rule out the hypothesis that SAX J1324.4-6200 is a gamma-ray binary where the emission is produced by interactions between the pulsar and the companion winds. Other models commonly used to account for the production of gamma-rays in accreting pulsars cannot reproduce the bright emission from SAX J1324.4-6200. We examined other mechanisms for the gamma-ray emission and noted that there is a ~0.5% chance probability that an unknown extragalactic AGN observed through the Galactic plane may coincidentally fall within the Fermi/LAT error circle of the source and be the responsible of the gamma-ray emission. [Abridged]


title: Mitigating Label Noise on Graph via Topological Sample Selection

abstract: Despite the success of the carefully-annotated benchmarks, the effectiveness of existing graph neural networks (GNNs) can be considerably impaired in practice when the real-world graph data is noisily labeled. Previous explorations in sample selection have been demonstrated as an effective way for robust learning with noisy labels, however, the conventional studies focus on i.i.d data, and when moving to non-iid graph data and GNNs, two notable challenges remain: (1) nodes located near topological class boundaries are very informative for classification but cannot be successfully distinguished by the heuristic sample selection. (2) there is no available measure that considers the graph topological information to promote sample selection in a graph. To address this dilemma, we propose a $\textit{Topological Sample Selection}$ (TSS) method that boosts the informative sample selection process in a graph by utilising topological information. We theoretically prove that our procedure minimizes an upper bound of the expected risk under target clean distribution, and experimentally show the superiority of our method compared with state-of-the-art baselines.


title: Density jump for oblique collisionless shocks in pair plasmas: physical solutions

abstract: Collisionless shocks are frequently analyzed using the magnetohydrodynamics (MHD) formalism, even though MHD assumes a small mean free path. Yet, isotropy of pressure, fruit of binary collisions and assumed in MHD, may not apply in collisionless shocks. This is especially true within a magnetized plasma, where the field can stabilize an anisotropy. In a previous article \citep{BretJPP2022b}, a model was presented capable of dealing with the anisotropies that may arise at the front crossing. It was solved for any orientation of the field with respect to the shock front. Yet, for some values of the upstream parameters, several downstream solutions were found. Here, we complete the work started in \cite{BretJPP2022b} by showing how to pick the physical solution out of the ones offered by the algebra. This is achieved by 2 means: 1) selecting the solution that has the downstream field obliquity closest to the upstream one. This criterion is exemplified on the parallel case and backed up by Particle-in-Cell simulations. 2) Filtering out solutions which do not satisfy a criteria already invoked to trim multiple solutions in MHD: the evolutionarity criterion, that we assume valid in the collisionless case. The end result is a model in which a given upstream configuration results in a unique, or none (like in MHD), downstream configuration. The largest departure from MHD is found for the case of a parallel shock.


title: Fourier-basis Functions to Bridge Augmentation Gap: Rethinking Frequency Augmentation in Image Classification

abstract: Computer vision models normally witness degraded performance when deployed in real-world scenarios, due to unexpected changes in inputs that were not accounted for during training. Data augmentation is commonly used to address this issue, as it aims to increase data variety and reduce the distribution gap between training and test data. However, common visual augmentations might not guarantee extensive robustness of computer vision models. In this paper, we propose Auxiliary Fourier-basis Augmentation (AFA), a complementary technique targeting augmentation in the frequency domain and filling the augmentation gap left by visual augmentations. We demonstrate the utility of augmentation via Fourier-basis additive noise in a straightforward and efficient adversarial setting. Our results show that AFA benefits the robustness of models against common corruptions, OOD generalization, and consistency of performance of models against increasing perturbations, with negligible deficit to the standard performance of models. It can be seamlessly integrated with other augmentation techniques to further boost performance. Code and models can be found at: https://github.com/nis-research/afa-augment


title: Optimal control of diffusion processes: $\infty$-order variational analysis and numerical solution

abstract: We tackle a nonlinear optimal control problem for a stochastic differential equation in Euclidean space and its state-linear counterpart for the Fokker-Planck-Kolmogorov equation in the space of probabilities. Our approach is founded on a novel concept of local optimality surpassing Pontryagin's minimum, originally crafted for deterministic optimal ensemble control problems. A key practical outcome is a rapidly converging numerical algorithm, which proves its feasibility for problems involving Markovian and open-loop strategies.


title: A Generative Model of Symmetry Transformations

abstract: Correctly capturing the symmetry transformations of data can lead to efficient models with strong generalization capabilities, though methods incorporating symmetries often require prior knowledge. While recent advancements have been made in learning those symmetries directly from the dataset, most of this work has focused on the discriminative setting. In this paper, we take inspiration from group theoretic ideas to construct a generative model that explicitly aims to capture the data's approximate symmetries. This results in a model that, given a prespecified broad set of possible symmetries, learns to what extent, if at all, those symmetries are actually present. Our model can be seen as a generative process for data augmentation. We provide a simple algorithm for learning our generative model and empirically demonstrate its ability to capture symmetries under affine and color transformations, in an interpretable way. Combining our symmetry model with standard generative models results in higher marginal test-log-likelihoods and improved data efficiency.


title: Characterization of Chordal Circular-arc Graphs: I. Split Graphs

abstract: The most elusive problem around the class of circular-arc graphs is identifying all minimal graphs that are not in this class. The main obstacle is the lack of a systematic way of enumerating these minimal graphs. McConnell [FOCS 2001] presented a transformation from circular-arc graphs to interval graphs with certain patterns of representations. We fully characterize these interval patterns for circular-arc graphs that are split graphs, thereby building a connection between minimal split graphs that are not circular-arc graphs and minimal non-interval graphs. This connection enables us to identify all minimal split graphs that are not circular-arc graphs. As a byproduct, we develop a linear-time certifying recognition algorithm for circular-arc graphs when the input is a split graph.


title: On Fractional Moment Estimation from Polynomial Chaos Expansion

abstract: Fractional statistical moments are utilized for various tasks of uncertainty quantification, including the estimation of probability distributions. However, an estimation of fractional statistical moments of costly mathematical models by statistical sampling is challenging since it is typically not possible to create a large experimental design due to limitations in computing capacity. This paper presents a novel approach for the analytical estimation of fractional moments, directly from polynomial chaos expansions. Specifically, the first four statistical moments obtained from the deterministic PCE coefficients are used for an estimation of arbitrary fractional moments via H\"{o}lder's inequality. The proposed approach is utilized for an estimation of statistical moments and probability distributions in three numerical examples of increasing complexity. Obtained results show that the proposed approach achieves a superior performance in estimating the distribution of the response, in comparison to a standard Latin hypercube sampling in the presented examples.


title: Spatially dispersing in-gap states induced by Andreev tunneling through single electronic state

abstract: By using low-temperature scanning tunneling microscopy and spectroscopy (STM/STS), we observe superconducting in-gap states induced by Andreev tunneling through single impurity state in a low-carrier-density superconductor (NaAlSi). The energy-symmetric in-gap states appear when the impurity state is located within the superconducting gap. Superconducting in-gap states can cross the Fermi level, and show X-shaped spatial dispersion. We interpret the in-gap states as a consequence of the Andreev tunneling through the impurity state, which involves the formation or breakup of a Cooper pair. Due to the low carrier density in NaAlSi, the in-gap state is tunable by controlling the STM tip-sample distance. Under strong external magnetic fields, the impurity state shows Zeeman splitting when it is located near the Fermi level. Our findings not only demonstrate the Andreev tunneling involving single electronic state, but also provide new insights for understanding the spatially dispersing in-gap states in low-carrier-density superconductors.


title: From Chaos to Integrability in Double Scaled SYK

abstract: We study thermodynamic phase transitions between integrable and chaotic dynamics. We do so by analyzing models that interpolate between the chaotic double scaled Sachdev-Ye-Kitaev (SYK) and the integrable $p$-spin systems, in a limit where they are described by chord diagrams. We develop a path integral formalism by coarse graining over the diagrams, which we use to argue that the system has two distinct phases: one is continuously connected to the chaotic system, and the other to the integrable. They are separated by a line of first order transition that ends at a critical point.


title: Descent for solid quasi-coherent sheaves on perfectoid spaces

abstract: We prove $v$-descent for solid quasi-coherent sheaves on perfectoid spaces as a key technical input for the development of a $6$-functor formalism with values in solid quasi-coherent sheaves on relative Fargues--Fontaine curves.


title: On the Challenges of Transforming UVL to IVML

abstract: Software product line techniques encourage the reuse and adaptation of software components for creating customized products or software systems. These different product variants have commonalities and differences, which are managed by variability modeling. Over the past three decades, both academia and industry have developed numerous variability modeling methods, each with its own advantages and disadvantages. Many of these methods have demonstrated their utility within specific domains or applications. However, comprehending the capabilities and differences among these approaches to pinpoint the most suitable one for a particular use case remains challenging. Thus, new modeling techniques and tailored tools for handling variability are frequently created. Transitioning between variability models through transformations from different approaches can help in understanding the benefits and drawbacks of different modeling approaches. However, implementing such transformations presents challenges, such as semantic preservation and avoiding information loss. TRAVART is a tool that helps with transitioning between different approaches by enabling the transformation of variability models into other variability models of different types. This paper discusses the challenges for such transformations between UVL and IVML. It also presents a one-way transformation from the UVL to IVML with as little information loss as possible.


title: Single charged Higgs pair production in exclusive processes at the LHC

abstract: The production of a single charged Higgs boson pair by photon - photon interactions in $pp$ collisions at the LHC is investigated in this exploratory study. We focus on the exclusive production, which is characterized by intact protons and two - rapidity gaps in the final state, and assume the type - I two - Higgs - doublet model, which still allows a light charged Higgs. Assuming the leptonic $H^{\pm}\rightarrow [\tau\nu_{\tau}]$ decay mode, we derive predictions for the transverse momentum, rapidity and invariant mass distributions of the $\tau^+ \tau^-$ pair for different values of the charged Higgs mass. The contributions of different background processes are also estimated. Our results indicate that the contribution of the exclusive $H^+ H^-$ production for the $[\tau^{+}\nu_{\tau}][\tau^{-} \nu_{\tau}]$ final state is non - negligible and can, in principle, be used to searching for a light charged Higgs.


title: DECIDER: A Rule-Controllable Decoding Strategy for Language Generation by Imitating Dual-System Cognitive Theory

abstract: Lexicon-based constrained decoding approaches aim to control the meaning or style of the generated text through certain target concepts. Existing approaches over-focus the targets themselves, leading to a lack of high-level reasoning about how to achieve them. However, human usually tackles tasks by following certain rules that not only focuses on the targets but also on semantically relevant concepts that induce the occurrence of targets. In this work, we present DECIDER, a rule-controllable decoding strategy for constrained language generation inspired by dual-system cognitive theory. Specifically, in DECIDER, a pre-trained language model (PLM) is equiped with a logic reasoner that takes high-level rules as input. Then, the DECIDER allows rule signals to flow into the PLM at each decoding step. Extensive experimental results demonstrate that DECIDER can effectively follow given rules to guide generation direction toward the targets in a more human-like manner.


title: Identification of local structures in water from supercooled to ambient conditions

abstract: Studies of water thermodynamics have long been tied to the identification of two distinct families of local structures, whose competition could explain the origin of the many thermodynamic anomalies and of the hypothesized liquid-liquid critical point in water. Despite the many successes and insights gained, the structural indicators proposed throughout the years were not able to unequivocally identify these two families over a wide range of conditions. We show that a recently introduced indicator, $\Psi$, which exploits information on the HB network connectivity, can reliably identify these two distinct local environments over a wide range of thermodynamic conditions (188 to 300 K and 0 to 13 kbar), and that close to the liquid-liquid critical point the spatial correlations of density fluctuations are identical to those of the $\Psi$ indicator. Our results strongly support the idea that water thermodynamic properties arise from the competition between two distinct and identifiable local environments.


title: Hybrid Active-Passive RIS Transmitter Enabled Energy-Efficient Multi-User Communications

abstract: A novel hybrid active-passive reconfigurable intelligent surface (RIS) transmitter enabled downlink multi-user communication system is investigated. Specifically, RISs are exploited to serve as transmitter antennas, where each element can flexibly switch between active and passive modes to deliver information to multiple users. The system energy efficiency (EE) maximization problem is formulated by jointly optimizing the RIS element scheduling and beamforming coefficients, as well as the power allocation coefficients, subject to the user's individual rate requirement and the maximum RIS amplification power constraint. Using the Dinkelbach relaxation, the original mixed-integer nonlinear programming problem is transformed into a nonfractional optimization problem with a two-layer structure, which is solved by the alternating optimization approach. In particular, an exhaustive search method is proposed to determine the optimal operating mode for each RIS element. Then, the RIS beamforming and power allocation coefficients are properly designed in an alternating manner. To overcome the potentially high complexity caused by exhaustive searching, we further develop a joint RIS element mode and beamforming optimization scheme by exploiting the Big-M formulation technique. Numerical results validate that: 1) The proposed hybrid RIS scheme yields higher EE than the baseline multi-antenna schemes employing fully active/passive RIS or conventional radio frequency chains; 2) Both proposed algorithms are effective in improving the system performance, especially the latter can achieve precise design of RIS elements with low complexity; and 3) For a fixed-size hybrid RIS, maximum EE can be reaped by setting only a minority of elements to operate in the active mode.


title: Sur l'asymptotique des sommes de Kempner pour de grandes bases

abstract: Let $K$ be the sum of the reciprocals of the integers with no occurrence of the digit $b-1$ in base $b$. We show $K = b\log(b) - A/b - B/b^2-C/b^3+O(1/b^4)$ with $A=\zeta(2)/2$, $B = (3\zeta(2)+\zeta(3))/3$ and $C = (2\zeta(2)+4\zeta(3)+\zeta(4))/4$.


title: Dynamical Model of $J/\Psi$ photo-production on the nucleon

abstract: A dynamical model based on a phenomenological charm quark-nucleon($c$-N) potential $v_{cN}$ and the Pomeron-exchange mechanism is constructed to investigate the $J/\Psi$ photo-production on the nucleon from threshold to invariant mass $W=300$ GeV. The $J/\Psi$-N potential,$V_{J/\Psi N}(r)$,is constructed by folding $v_{cN}$ into the wavefunction $\Phi_{J/\Psi}(c\bar{c})$ of $J/\Psi$ within a Constituent Quark Model(CQM) of Ref.[43]. A photo-production amplitude is also generated by $v_{cN}$ by a $c\bar{c}$-loop integration over the $\gamma\rightarrow c\bar{c}$ vertex function and $\Phi_{J/\Psi}(c\bar{c})$. No commonly used Vector Meson Dominance assumption is used to define this photo-production amplitude which is needed to describe the data near the threshold. The potential $v_{cN}(r)$ is parameterized in a form such that the predicted $V_{J/\Psi N}(r)$ at large distances has the same Yukawa potential form extracted from a Lattice QCD(LQCD) calculation of Ref.[18]. The parameters of $v_{cN}$ are determined by fitting the total cross section data of JLab by performing calculations that include $J/\Psi$-N final state interactions(FSI). The resulting differential cross sections are found in good agreements with the data. It is shown that the FSI effects dominate the cross section in the very near threshold region, allowing for sensitive testing of the predicted $J/\Psi$-N scattering amplitudes. By imposing the constraints of $J/\Psi$-N potential extracted from the LQCD calculation, we have obtained three $J/\Psi$-N potentials which fit the JLab data equally well. The resulting $J/\Psi$-N scattering lengths are in the range of $a=(-0.05$ fm $\sim$ $-0.25$ fm). With the determined $v_{cN}(r)$ and the wavefunctions generated from the same CQM, the constructed model is used to predict the cross sections of photo-production of $\eta_c(1S)$ and $\Psi(2S)$ mesons for future experimental tests.


title: Kernel bounds for parabolic operators having first-order degeneracy at the boundary

abstract: We study kernel estimates for parabolic problems governed by singular elliptic operators \begin{equation*} \sum_{i,j=1}^{N+1}q_{ij}D_{ij}+c\frac{D_y}{y},\qquad c+1>0, \end{equation*} in the half-space $\mathbb{R}^{N+1}_+=\{(x,y): x \in \mathbb{R}^N, y>0\}$ under Neumann boundary conditions at $y=0$.


title: A robust audio deepfake detection system via multi-view feature

abstract: With the advancement of generative modeling techniques, synthetic human speech becomes increasingly indistinguishable from real, and tricky challenges are elicited for the audio deepfake detection (ADD) system. In this paper, we exploit audio features to improve the generalizability of ADD systems. Investigation of the ADD task performance is conducted over a broad range of audio features, including various handcrafted features and learning-based features. Experiments show that learning-based audio features pretrained on a large amount of data generalize better than hand-crafted features on out-of-domain scenarios. Subsequently, we further improve the generalizability of the ADD system using proposed multi-feature approaches to incorporate complimentary information from features of different views. The model trained on ASV2019 data achieves an equal error rate of 24.27\% on the In-the-Wild dataset.


title: Heterodyne dispersive cavity ring-down spectroscopy exploiting eigenmode frequencies for high-fidelity measurements

abstract: Measuring low light absorption with combined uncertainty < 1 permille is crucial in a wide range of applications. Popular cavity ring-down spectroscopy can provide ultra-high precision, below 0.01 permille, but its accuracy is strongly dependent on the measurement capabilities of the detection system and typically is about 10 permille. Here, we exploit the optical frequency information carried by the ring-down cavity electromagnetic field, not explored in conventional CRDS, for high-fidelity spectroscopy. Instead of measuring only the decaying light intensity, we perform heterodyne detection of ring-downs followed by Fourier analysis to provide exact frequencies of optical cavity modes and a dispersive spectrum of a gas sample from them. This approach is insensitive to inaccuracies in light intensity measurements and eliminates the problem of detector band nonlinearity, the main cause of measurement error in traditional CRDS. Using the CO and HD line intensities as examples, we demonstrate the sub-permille accuracy of our method, confirmed by the best ab initio results, and the long-term repeatability of our dispersion measurements at 10^(-4) level. Such results have not been achieved in optical spectroscopy before. The high accuracy of the presented method indicates its potential in atmospheric studies, isotope ratio metrology, thermometry, and the establishment of primary gas standards.


title: An Efficient Model-Based Approach on Learning Agile Motor Skills without Reinforcement

abstract: Learning-based methods have improved locomotion skills of quadruped robots through deep reinforcement learning. However, the sim-to-real gap and low sample efficiency still limit the skill transfer. To address this issue, we propose an efficient model-based learning framework that combines a world model with a policy network. We train a differentiable world model to predict future states and use it to directly supervise a Variational Autoencoder (VAE)-based policy network to imitate real animal behaviors. This significantly reduces the need for real interaction data and allows for rapid policy updates. We also develop a high-level network to track diverse commands and trajectories. Our simulated results show a tenfold sample efficiency increase compared to reinforcement learning methods such as PPO. In real-world testing, our policy achieves proficient command-following performance with only a two-minute data collection period and generalizes well to new speeds and paths.


title: Hurwitz numbers for reflection groups $G(m,1,n)$

abstract: We are extending results from \cite{B-Hurwitz} by building a parallel theory of simple Hurwitz numbers for the reflection groups $G(m,1,n)$. We also study analogs of the cut-and-join operators. An algebraic description as well as a description in terms of ramified covering of Hurwitz numbers is provided. An explicit formula for them in terms of Schur polynomials are provided. In addition the generating function of $G(m,1,n)$-Hurwitz numbers is shown to give rise to $m$ independent variables $\tau$-function of the KP hierarchy. Finally we provide an ELSV-formula type for these new Hurwitz numbers.


title: The Heterogeneous Productivity Effects of Generative AI

abstract: We analyse the individual productivity effects of Italy's ban on ChatGPT, a generative pretrained transformer chatbot. We compile data on the daily coding output quantity and quality of over 36,000 GitHub users in Italy and other European countries and combine these data with the sudden announcement of the ban in a difference-in-differences framework. Among the affected users in Italy, we find a short-term increase in output quantity and quality for less experienced users and a decrease in productivity on more routine tasks for experienced users.


title: Towards Deterministic Algorithms for Constant-Depth Factors of Constant-Depth Circuits

abstract: We design a deterministic subexponential time algorithm that takes as input a multivariate polynomial $f$ computed by a constant-depth circuit over rational numbers, and outputs a list $L$ of circuits (of unbounded depth and possibly with division gates) that contains all irreducible factors of $f$ computable by constant-depth circuits. This list $L$ might also include circuits that are spurious: they either do not correspond to factors of $f$ or are not even well-defined, e.g. the input to a division gate is a sub-circuit that computes the identically zero polynomial. The key technical ingredient of our algorithm is a notion of the pseudo-resultant of $f$ and a factor $g$, which serves as a proxy for the resultant of $g$ and $f/g$, with the advantage that the circuit complexity of the pseudo-resultant is comparable to that of the circuit complexity of $f$ and $g$. This notion, which might be of independent interest, together with the recent results of Limaye, Srinivasan and Tavenas, helps us derandomize one key step of multivariate polynomial factorization algorithms - that of deterministically finding a good starting point for Newton Iteration for the case when the input polynomial as well as the irreducible factor of interest have small constant-depth circuits.


title: Enhancing Information Maximization with Distance-Aware Contrastive Learning for Source-Free Cross-Domain Few-Shot Learning

abstract: Existing Cross-Domain Few-Shot Learning (CDFSL) methods require access to source domain data to train a model in the pre-training phase. However, due to increasing concerns about data privacy and the desire to reduce data transmission and training costs, it is necessary to develop a CDFSL solution without accessing source data. For this reason, this paper explores a Source-Free CDFSL (SF-CDFSL) problem, in which CDFSL is addressed through the use of existing pretrained models instead of training a model with source data, avoiding accessing source data. This paper proposes an Enhanced Information Maximization with Distance-Aware Contrastive Learning (IM-DCL) method to address these challenges. Firstly, we introduce the transductive mechanism for learning the query set. Secondly, information maximization (IM) is explored to map target samples into both individual certainty and global diversity predictions, helping the source model better fit the target data distribution. However, IM fails to learn the decision boundary of the target task. This motivates us to introduce a novel approach called Distance-Aware Contrastive Learning (DCL), in which we consider the entire feature set as both positive and negative sets, akin to Schrodinger's concept of a dual state. Instead of a rigid separation between positive and negative sets, we employ a weighted distance calculation among features to establish a soft classification of the positive and negative sets for the entire feature set. Furthermore, we address issues related to IM by incorporating contrastive constraints between object features and their corresponding positive and negative sets. Evaluations of the 4 datasets in the BSCD-FSL benchmark indicate that the proposed IM-DCL, without accessing the source domain, demonstrates superiority over existing methods, especially in the distant domain task.


title: Characterization of non-Markovianity with maximal extractable qubit-reservoir entanglement

abstract: Understanding the dynamical behavior of a qubit in a reservoir is critical to applications in quantum technological protocols, ranging from quantum computation to quantum metrology. The effect of the reservoir depends on reservoir's spectral structure, as well as on the qubit-reservoir coupling strength. We here propose a measure for quantifying the non-Markovian effect of a reservoir with a Lorentzian spectrum, based on the maximum qubit-reservoir quantum entanglement that can be extracted. Numerical simulation shows this entanglement exhibits a monotonous behavior in response to the variation of the coupling strength. We confirm the validity of this measure with an experiment, where a superconducting qubit is controllably coupled to a lossy resonator, which acts as a reservoir for the qubit. The experimental results illustrate the maximal extractable entanglement is progressively increased with the strengthening of the non-Markovianity.


title: Explicit Motion Handling and Interactive Prompting for Video Camouflaged Object Detection

abstract: Camouflage poses challenges in distinguishing a static target, whereas any movement of the target can break this disguise. Existing video camouflaged object detection (VCOD) approaches take noisy motion estimation as input or model motion implicitly, restricting detection performance in complex dynamic scenes. In this paper, we propose a novel Explicit Motion handling and Interactive Prompting framework for VCOD, dubbed EMIP, which handles motion cues explicitly using a frozen pre-trained optical flow fundamental model. EMIP is characterized by a two-stream architecture for simultaneously conducting camouflaged segmentation and optical flow estimation. Interactions across the dual streams are realized in an interactive prompting way that is inspired by emerging visual prompt learning. Two learnable modules, i.e. the camouflaged feeder and motion collector, are designed to incorporate segmentation-to-motion and motion-to-segmentation prompts, respectively, and enhance outputs of the both streams. The prompt fed to the motion stream is learned by supervising optical flow in a self-supervised manner. Furthermore, we show that long-term historical information can also be incorporated as a prompt into EMIP and achieve more robust results with temporal consistency. Experimental results demonstrate that our EMIP achieves new state-of-the-art records on popular VCOD benchmarks. The code will be publicly available.


title: AS-ES Learning: Towards Efficient CoT Learning in Small Models

abstract: Chain-of-Thought (CoT) serves as a critical emerging ability in LLMs, especially when it comes to logical reasoning. Attempts have been made to induce such ability in small models as well by distilling from the data with CoT generated by Large Language Models (LLMs). However, existing methods often simply generate and incorporate more data from LLMs and fail to note the importance of efficiently utilizing existing CoT data. We here propose a new training paradigm AS-ES (Abstractive Segments - Extractive Segments) learning, which exploits the inherent information in CoT for iterative generation. Experiments show that our methods surpass the direct seq2seq training on CoT-extensive tasks like MWP and PET summarization, without data augmentation or altering the model itself. Furthermore, we explore the reason behind the inefficiency of small models in learning CoT and provide an explanation of why AS-ES learning works, giving insights into the underlying mechanism of CoT.


title: Calorimetric evidence for the existence of an intermediate phase between the ferroelectric nematic phase and the nematic phase in the liquid crystal RM734

abstract: The idea that rod-like molecules possessing an electric dipole moment could exhibit a ferroelectric nematic phase was suggested more than a century ago. However, only recently such a phase has been reported for two quite different liquid crystals: RM734 (4-[(4-nitrophenoxy)carbonyl)]phenyl 2,4-dimethoxybenzoate) and DIO (2.3',4',5'-tetrafluoro[1,1'-biphenyl]-4-yl 2.6-difluoro-4-(5-propyl-1,3-dioxan-2-yl) benzoate). For RM734 a direct ferroelectric nematic (NF) to classical nematic N transition was reported, whereas for DIO an intermediate phase Nx was discovered between the NF and the N phases. Here we present high-resolution calorimetric evidence that an intermediate Nx phase also exists in RM734 along a narrow temperature range between the NF and the N phases.


title: ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs

abstract: Automated Program Repair (APR) aims to automatically generate patches for rectifying software bugs. Recent strides in Large Language Models (LLM), such as ChatGPT, have yielded encouraging outcomes in APR, especially within the conversation-driven APR framework. Nevertheless, the efficacy of conversation-driven APR is contingent on the quality of the feedback information. In this paper, we propose ContrastRepair, a novel conversation-based APR approach that augments conversation-driven APR by providing LLMs with contrastive test pairs. A test pair consists of a failing test and a passing test, which offer contrastive feedback to the LLM. Our key insight is to minimize the difference between the generated passing test and the given failing test, which can better isolate the root causes of bugs. By providing informative and specific feedback, ContrastRepair enables the LLM to produce effective bug fixes. The implementation of ContrastRepair is based on the state-of-the-art LLM, ChatGPT, and it iteratively interacts with ChatGPT until plausible patches are generated. We evaluate ContrastRepair on multiple benchmark datasets, including Defects4j, QuixBugs, and HumanEval-Java. The results demonstrate that ContrastRepair significantly outperforms existing methods, achieving a new state-of-the-art in program repair. For instance, among Defects4j 1.2 and 2.0, ContrastRepair correctly repairs 143 out of all 337 bug cases, while the best-performing baseline fixes 124 bugs.


title: Multi-perspective Improvement of Knowledge Graph Completion with Large Language Models

abstract: Knowledge graph completion (KGC) is a widely used method to tackle incompleteness in knowledge graphs (KGs) by making predictions for missing links. Description-based KGC leverages pre-trained language models to learn entity and relation representations with their names or descriptions, which shows promising results. However, the performance of description-based KGC is still limited by the quality of text and the incomplete structure, as it lacks sufficient entity descriptions and relies solely on relation names, leading to sub-optimal results. To address this issue, we propose MPIKGC, a general framework to compensate for the deficiency of contextualized knowledge and improve KGC by querying large language models (LLMs) from various perspectives, which involves leveraging the reasoning, explanation, and summarization capabilities of LLMs to expand entity descriptions, understand relations, and extract structures, respectively. We conducted extensive evaluation of the effectiveness and improvement of our framework based on four description-based KGC models and four datasets, for both link prediction and triplet classification tasks.


title: Oriented artificial nanofibers and laser induced periodic surface structures as substrates for Schwann cells alignment

abstract: People with injuries to the peripheral nervous system, due to its poor functional regeneration, suffer from paralysis of the facial muscles, fingers and hands, or toes and feet, often for the rest of their lives. Therefore, to improve patients' quality of life, there is an urgent need for conduits that effectively support the healing of large defects in nerve pathways through specific guidance of nerve cells. This paper describes two specific methods for achieving directed growth of Schwann cells, a type of glial cells that can support the regeneration of the nerve pathway by guiding the neuronal axons in the direction of their alignment. One method implies the exposure of a poly(ethylene terephthalate) (PET) foil to a KrF* laser beam, that renders a nanorippled surface topography. The other method uses aligned polyamide-6 (PA-6) nanofibers produced via electrospinning on a very fast rotating structured collector, which enables easy nanofiber detachment, without additional effort. Schwann cells growth on these substrates was inspected after one week of cultivation by means of scanning electron microscope (SEM). For both methods we show that Schwann cells grow in a certain direction, predetermined by nanoripples and nanofibers orientation. In contrast, cells cultivated onto unstructured surfaces or randomly oriented nanofibers, show an omnidirectional growth behavior.


title: Renormalization group for Anderson localization on high-dimensional lattices

abstract: We discuss the dependence of the critical properties of the Anderson model on the dimension $d$ in the language of $\beta$-function and renormalization group recently introduced in Ref.[arXiv:2306.14965] in the context of Anderson transition on random regular graphs. We show how in the delocalized region, including the transition point, the one-parameter scaling part of the $\beta$-function for the fractal dimension $D_{1}$ evolves smoothly from its $d=2$ form, in which $\beta_2\leq 0$, to its $\beta_\infty\geq 0$ form, which is represented by the regular random graph (RRG) result. We show how the $\epsilon=d-2$ expansion and the $1/d$ expansion around the RRG result can be reconciled and how the initial part of a renormalization group trajectory governed by the irrelevant exponent $y$ depends on dimensionality. We also show how the irrelevant exponent emerges out of the high-gradient terms of expansion in the nonlinear sigma-model and put forward a conjecture about a lower bound for the fractal dimension. The framework introduced here may serve as a basis for investigations of disordered many-body systems and of more general non-equilibrium quantum systems.


title: OCEL (Object-Centric Event Log) 2.0 Specification

abstract: Object-Centric Event Logs (OCELs) form the basis for Object-Centric Process Mining (OCPM). OCEL 1.0 was first released in 2020 and triggered the development of a range of OCPM techniques. OCEL 2.0 forms the new, more expressive standard, allowing for more extensive process analyses while remaining in an easily exchangeable format. In contrast to the first OCEL standard, it can depict changes in objects, provide information on object relationships, and qualify these relationships to other objects or specific events. Compared to XES, it is more expressive, less complicated, and better readable. OCEL 2.0 offers three exchange formats: a relational database (SQLite), XML, and JSON format. This OCEL 2.0 specification document provides an introduction to the standard, its metamodel, and its exchange formats, aimed at practitioners and researchers alike.


title: SciAssess: Benchmarking LLM Proficiency in Scientific Literature Analysis

abstract: Recent breakthroughs in Large Language Models (LLMs) have revolutionized natural language understanding and generation, sparking significant interest in applying them to scientific literature analysis. However, existing benchmarks fail to adequately evaluate the proficiency of LLMs in this domain, particularly in scenarios requiring higher-level abilities beyond mere memorization and the handling of multimodal data. In response to this gap, we introduce SciAssess, a benchmark specifically designed for the comprehensive evaluation of LLMs in scientific literature analysis. SciAssess aims to thoroughly assess the efficacy of LLMs by focusing on their capabilities in Memorization (L1), Comprehension (L2), and Analysis \& Reasoning (L3). It encompasses a variety of tasks drawn from diverse scientific fields, including fundamental science, alloy materials, biomedicine, drug discovery, and organic materials. To ensure the reliability of SciAssess, rigorous quality control measures have been implemented, ensuring accuracy, anonymization, and compliance with copyright standards. SciAssess evaluates 11 LLMs, including GPT, Claude, and Gemini, highlighting their strengths and areas for improvement. This evaluation supports the ongoing development of LLM applications in the analysis of scientific literature. SciAssess and its resources are available at \url{https://sci-assess.github.io/}.


title: TTA-Nav: Test-time Adaptive Reconstruction for Point-Goal Navigation under Visual Corruptions

abstract: Robot navigation under visual corruption presents a formidable challenge. To address this, we propose a Test-time Adaptation (TTA) method, named as TTA-Nav, for point-goal navigation under visual corruptions. Our "plug-and-play" method incorporates a top-down decoder to a pre-trained navigation model. Firstly, the pre-trained navigation model gets a corrupted image and extracts features. Secondly, the top-down decoder produces the reconstruction given the high-level features extracted by the pre-trained model. Then, it feeds the reconstruction of a corrupted image back to the pre-trained model. Finally, the pre-trained model does forward pass again to output action. Despite being trained solely on clean images, the top-down decoder can reconstruct cleaner images from corrupted ones without the need for gradient-based adaptation. The pre-trained navigation model with our top-down decoder significantly enhances navigation performance across almost all visual corruptions in our benchmarks. Our method improves the success rate of point-goal navigation from the state-of-the-art result of 46% to 94% on the most severe corruption. This suggests its potential for broader application in robotic visual navigation. Project page: https://sites.google.com/view/tta-nav


title: Leveraging Anchor-based LiDAR 3D Object Detection via Point Assisted Sample Selection

abstract: 3D object detection based on LiDAR point cloud and prior anchor boxes is a critical technology for autonomous driving environment perception and understanding. Nevertheless, an overlooked practical issue in existing methods is the ambiguity in training sample allocation based on box Intersection over Union (IoU_box). This problem impedes further enhancements in the performance of anchor-based LiDAR 3D object detectors. To tackle this challenge, this paper introduces a new training sample selection method that utilizes point cloud distribution for anchor sample quality measurement, named Point Assisted Sample Selection (PASS). This method has undergone rigorous evaluation on two widely utilized datasets. Experimental results demonstrate that the application of PASS elevates the average precision of anchor-based LiDAR 3D object detectors to a novel state-of-the-art, thereby proving the effectiveness of the proposed approach. The codes will be made available at https://github.com/XJTU-Haolin/Point_Assisted_Sample_Selection.


title: Ab initio path integral Monte Carlo simulations of warm dense two-component systems without fixed nodes: structural properties

abstract: We present extensive new \emph{ab initio} path integral Monte Carlo (PIMC) results for a variety of structural properties of warm dense hydrogen and beryllium. To deal with the fermion sign problem -- an exponential computational bottleneck due to the antisymmetry of the electronic thermal density matrix -- we employ the recently proposed [\textit{J.~Chem.~Phys.}~\textbf{157}, 094112 (2022); \textbf{159}, 164113 (2023)] $\xi$-extrapolation method and find excellent agreement with exact direct PIMC reference data where available. This opens up the intriguing possibility to study a gamut of properties of light elements and potentially material mixtures over a substantial part of the warm dense matter regime, with direct relevance for astrophysics, material science, and inertial confinement fusion research.


title: Chemical Transferability and Accuracy of Ionic Liquid Simulations with Machine Learning Interatomic Potentials

abstract: Ionic liquids (ILs) are an exciting class of electrolytes finding applications in many areas from energy storage to solvents, and have been touted as ``designer solvents'', as they can be mixed to precisely tailor the physiochemical properties. As using machine learning interatomic potentials (MLIPs) to simulate ILs is still relatively unexplored, several questions need to be answered to see if MLIPs can be transformative for ILs. Since ILs are often not pure, but are either mixed together or contain additives, we first demonstrate that a MLIP can be trained to be chemically transferable, i.e., can be applied to compositions not directly train on, but with similar chemistries, whilst only being trained on a few compositions. We also investigate the accuracy of MLIPs for a novel IL, which we experimentally synthesis and characterise. Our MLIP trained on $\sim$200 DFT frames is in reasonable agreement with our experiments and good agreement against DFT, demonstrating the data-efficient power of this method.


title: Evaluating the Explainability of Neural Rankers

abstract: Information retrieval models have witnessed a paradigm shift from unsupervised statistical approaches to feature-based supervised approaches to completely data-driven ones that make use of the pre-training of large language models. While the increasing complexity of the search models have been able to demonstrate improvements in effectiveness (measured in terms of relevance of top-retrieved results), a question worthy of a thorough inspection is - "how explainable are these models?", which is what this paper aims to evaluate. In particular, we propose a common evaluation platform to systematically evaluate the explainability of any ranking model (the explanation algorithm being identical for all the models that are to be evaluated). In our proposed framework, each model, in addition to returning a ranked list of documents, also requires to return a list of explanation units or rationales for each document. This meta-information from each document is then used to measure how locally consistent these rationales are as an intrinsic measure of interpretability - one that does not require manual relevance assessments. Additionally, as an extrinsic measure, we compute how relevant these rationales are by leveraging sub-document level relevance assessments. Our findings show a number of interesting observations, such as sentence-level rationales are more consistent, an increase in complexity mostly leads to less consistent explanations, and that interpretability measures offer a complementary dimension of evaluation of IR systems because consistency is not well-correlated with nDCG at top ranks.