title: RepNeXt: A Fast Multi-Scale CNN using Structural Reparameterization

abstract: In the realm of resource-constrained mobile vision tasks, the pursuit of efficiency and performance consistently drives innovation in lightweight Convolutional Neural Networks (CNNs) and Vision Transformers (ViTs). While ViTs excel at capturing global context through self-attention mechanisms, their deployment in resource-limited environments is hindered by computational complexity and latency. Conversely, lightweight CNNs are favored for their parameter efficiency and low latency. This study investigates the complementary advantages of CNNs and ViTs to develop a versatile vision backbone tailored for resource-constrained applications. We introduce RepNeXt, a novel model series integrates multi-scale feature representations and incorporates both serial and parallel structural reparameterization (SRP) to enhance network depth and width without compromising inference speed. Extensive experiments demonstrate RepNeXt's superiority over current leading lightweight CNNs and ViTs, providing advantageous latency across various vision benchmarks. RepNeXt-M4 matches RepViT-M1.5's 82.3\% accuracy on ImageNet within 1.5ms on an iPhone 12, outperforms its AP$^{box}$ by 1.1 on MS-COCO, and reduces parameters by 0.7M. Codes and models are available at https://github.com/suous/RepNeXt.


title: A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications

abstract: With rapid advances in network hardware, far memory has gained a great deal of traction due to its ability to break the memory capacity wall. Existing far memory systems fall into one of two data paths: one that uses the kernel's paging system to transparently access far memory at the page granularity, and a second that bypasses the kernel, fetching data at the object granularity. While it is generally believed that object fetching outperforms paging due to its fine-grained access, it requires significantly more compute resources to run object-level LRU and eviction. We built Atlas, a hybrid data plane enabled by a runtime-kernel co-design that simultaneously enables accesses via these two data paths to provide high efficiency for real-world applications. Atlas uses always-on profiling to continuously measure page locality. For workloads already with good locality, paging is used to fetch data, whereas for those without, object fetching is employed. Object fetching moves objects that are accessed close in time to contiguous local space, dynamically improving locality and making the execution increasingly amenable to paging, which is much more resource-efficient. Our evaluation shows that Atlas improves the throughput (e.g., by 1.5x and 3.2x) and reduces the tail latency (e.g., by one and two orders of magnitude) when using remote memory, compared with AIFM and Fastswap, the state-of-the-art techniques respectively in the two categories.


title: Bounding-Box Inference for Error-Aware Model-Based Reinforcement Learning

abstract: In model-based reinforcement learning, simulated experiences from the learned model are often treated as equivalent to experience from the real environment. However, when the model is inaccurate, it can catastrophically interfere with policy learning. Alternatively, the agent might learn about the model's accuracy and selectively use it only when it can provide reliable predictions. We empirically explore model uncertainty measures for selective planning and show that best results require distribution insensitive inference to estimate the uncertainty over model-based updates. To that end, we propose and evaluate bounding-box inference, which operates on bounding-boxes around sets of possible states and other quantities. We find that bounding-box inference can reliably support effective selective planning.


title: Distributed Rule Vectors is A Key Mechanism in Large Language Models' In-Context Learning

abstract: Large Language Models (LLMs) have demonstrated remarkable abilities, one of the most important being In-Context Learning (ICL). With ICL, LLMs can derive the underlying rule from a few demonstrations and provide answers that comply with the rule. Previous work hypothesized that the network creates a "task vector" in specific positions during ICL. Patching the "task vector" allows LLMs to achieve zero-shot performance similar to few-shot learning. However, we discover that such "task vectors" do not exist in tasks where the rule has to be defined through multiple demonstrations. Instead, the rule information provided by each demonstration is first transmitted to its answer position and forms its own rule vector. Importantly, all the rule vectors contribute to the output in a distributed manner. We further show that the rule vectors encode a high-level abstraction of rules extracted from the demonstrations. These results are further validated in a series of tasks that rely on rules dependent on multiple demonstrations. Our study provides novel insights into the mechanism underlying ICL in LLMs, demonstrating how ICL may be achieved through an information aggregation mechanism.


title: Found in the Middle: Calibrating Positional Attention Bias Improves Long Context Utilization

abstract: Large language models (LLMs), even when specifically trained to process long input contexts, struggle to capture relevant information located in the middle of their input. This phenomenon has been known as the lost-in-the-middle problem. In this work, we make three contributions. First, we set out to understand the factors that cause this phenomenon. In doing so, we establish a connection between lost-in-the-middle to LLMs' intrinsic attention bias: LLMs exhibit a U-shaped attention bias where the tokens at the beginning and at the end of its input receive higher attention, regardless of their relevance. Second, we mitigate this positional bias through a calibration mechanism, found-in-the-middle, that allows the model to attend to contexts faithfully according to their relevance, even though when they are in the middle. Third, we show found-in-the-middle not only achieves better performance in locating relevant information within a long context, but also eventually leads to improved retrieval-augmented generation (RAG) performance across various tasks, outperforming existing methods by up to 15 percentage points. These findings open up future directions in understanding LLM attention bias and its potential consequences.


title: Multitype entanglement dynamics induced by exceptional points

abstract: As a most important feature of non-Hermitian systems, exceptional points (EPs) lead to a variety of unconventional phenomena and applications. Here we discover that multitype entanglement dynamics can be induced by engineering different orders of EP. By studying a generic model composed of two coupled non-Hermitian qubits, we find that diverse entanglement dynamics on the two sides of the fourth-order EP (EP4) and second-order EP (EP2) can be observed simultaneously in the weak coupling regime. With the increase of the coupling strength, the EP4 is replaced by an additional EP2, leading to the disappearance of the entanglement dynamics transition induced by EP4 in the strong coupling regime. Considering the case of Ising type interaction, we also realize EP-induced entanglement dynamics transition without the driving field. Our study paves the way for the investigation of EP-induced quantum effects and applications of EP-related quantum technologies.


title: Multi-Period Stochastic Logistic Hub Capacity Planning for Relay Transportation

abstract: This study focuses on relay transport carriers (RTCs) that contract with hub providers to lease hub capacity and employ relay transportation via hubs. It enables long-haul freight shipments to be transported by multiple short-haul drivers commuting between fixed-base hubs, promoting a driver-friendly approach. Inspired by Physical Internet, our paper addresses the multi-period capacity planning of logistic hubs within relay networks, accounting for uncertainty in demand and travel times. We model the problem as a two-stage stochastic optimization to determine the dynamic logistic hub throughput capacities for each planning period, ensuring the fulfillment of logistic demand while simultaneously minimizing both hub and transportation costs. This optimization problem falls within the NP-hard complexity class. To alleviate the inherent challenges in solving this problem, we employ a scenario reduction algorithm based on the fast forward selection (FFS) method to reduce computational effort while preserving approximation quality. Experiments with an automotive-delivery RTC in the Southeastern US demonstrate that our capacity planning model enables RTCs to proactively respond to dynamic circumstances, curtail avoidable expenditures, and enhance overall logistical efficiency.


title: The derived dimensions and representation distances of artin algebras

abstract: There is a well-known class of algebras called Igusa-Todorov algebras which were introduced in relation to finitistic dimension conjecture. As a generalization of Igusa-Todorov algebras, the new notion of $(m,n)$-Igusa-Todorov algebras provides a wider framework for studying derived dimensions. In this paper, we give a method for constructing $(m,n)$-Igusa-Todorov algebras. As an application, we present for general artin algebras a relationship between the derived dimension and the representation distance. Moreover, we end this paper to show that the main result can be used to give a better upper bound for the derived dimension for some classes of algebras.


title: Wound Tissue Segmentation in Diabetic Foot Ulcer Images Using Deep Learning: A Pilot Study

abstract: Identifying individual tissues, so-called tissue segmentation, in diabetic foot ulcer (DFU) images is a challenging task and little work has been published, largely due to the limited availability of a clinical image dataset. To address this gap, we have created a DFUTissue dataset for the research community to evaluate wound tissue segmentation algorithms. The dataset contains 110 images with tissues labeled by wound experts and 600 unlabeled images. Additionally, we conducted a pilot study on segmenting wound characteristics including fibrin, granulation, and callus using deep learning. Due to the limited amount of annotated data, our framework consists of both supervised learning (SL) and semi-supervised learning (SSL) phases. In the SL phase, we propose a hybrid model featuring a Mix Transformer (MiT-b3) in the encoder and a CNN in the decoder, enhanced by the integration of a parallel spatial and channel squeeze-and-excitation (P-scSE) module known for its efficacy in improving boundary accuracy. The SSL phase employs a pseudo-labeling-based approach, iteratively identifying and incorporating valuable unlabeled images to enhance overall segmentation performance. Comparative evaluations with state-of-the-art methods are conducted for both SL and SSL phases. The SL achieves a Dice Similarity Coefficient (DSC) of 84.89%, which has been improved to 87.64% in the SSL phase. Furthermore, the results are benchmarked against two widely used SSL approaches: Generative Adversarial Networks and Cross-Consistency Training. Additionally, our hybrid model outperforms the state-of-the-art methods with a 92.99% DSC in performing binary segmentation of DFU wound areas when tested on the Chronic Wound dataset. Codes and data are available at https://github.com/uwm-bigdata/DFUTissueSegNet.


title: Database-Augmented Query Representation for Information Retrieval

abstract: Information retrieval models that aim to search for the documents relevant to the given query have shown many successes, which have been applied to diverse tasks. However, the query provided by the user is oftentimes very short, which challenges the retrievers to correctly fetch relevant documents. To tackle this, existing studies have proposed expanding the query with a couple of additional (user-related) features related to the query. Yet, they may be suboptimal to effectively augment the query, though there is plenty of information available to augment it in a relational database. Motivated by this, we present a novel retrieval framework called Database-Augmented Query representation (DAQu), which augments the original query with various (query-related) metadata across multiple tables. In addition, as the number of features in the metadata can be very large and there is no order among them, we encode them with our graph-based set encoding strategy, which considers hierarchies of features in the database without order. We validate DAQu in diverse retrieval scenarios that can incorporate metadata from the relational database, demonstrating that ours significantly enhances overall retrieval performance, compared to existing query augmentation methods.


title: Inverse spin galvanic effect in proximitized superconductor/paramagnet systems

abstract: We show that the interplay between spin-orbit coupling (SOC) and the paramagnetic response of itinerant electrons in proximitized superconductor/paramagnet systems gives rise to the inverse spin galvanic effect, i.e. generation of magnetic moment under the influence of the charge current. Depending on the sign of the SOC constant and the system temperature, the corresponding contribution to the magnetic response of the superconductor can be either diamagnetic or paramagnetic. We discuss the relevance between the discovered phenomena and the recent experiments on Pt/Nb heterostructures as well as the puzzling sign change of the magnetic response observed in clean Ag coated Nb cylinders.


title: Formula Size-Depth Tradeoffs for Iterated Sub-Permutation Matrix Multiplication

abstract: We study the formula complexity of Iterated Sub-Permutation Matrix Multiplication, the logspace-complete problem of computing the product of $k$ $n$-by-$n$ Boolean matrices with at most a single $1$ in each row and column. For all $d \le \log k$, this problem is solvable by $n^{O(dk^{1/d})}$ size monotone formulas of two distinct types: (unbounded fan-in) $AC^0$ formulas of depth $d+1$ and (semi-unbounded fan-in) $SAC^0$ formulas of $\bigwedge$-depth $d$ and $\bigwedge$-fan-in $k^{1/d}$. The results of this paper give matching $n^{\Omega(dk^{1/d})}$ lower bounds for monotone $AC^0$ and $SAC^0$ formulas for all $k \le \log\log n$, as well as slightly weaker $n^{\Omega(dk^{1/2d})}$ lower bounds for non-monotone $AC^0$ and $SAC^0$ formulas. These size-depth tradeoffs converge at $d = \log k$ to tight $n^{\Omega(\log k)}$ lower bounds for both unbounded-depth monotone formulas [Ros15] and bounded-depth non-monotone formulas [Ros18]. Our non-monotone lower bounds extend to the more restricted Iterated Permutation Matrix Multiplication problem, improving the previous $n^{k^{1/\exp(O(d))}}$ tradeoff for this problem [BIP98].


title: Shortcut to adiabaticity and holonomic transformation are the same thing

abstract: A stable and fast path linking arbitrary pair of quantum states is commonly desired for the engineering protocols inspired by stimulated Raman adiabatic passage, such as shortcut to adiabaticity and holonomic transformation. It has immediate applications in quantum control and quantum computation and is fundamental about the exact solution of a time-dependent Schr\"odinger equation. We construct a universal control framework based on the system dynamics within an ancillary picture, in which the system Hamiltonian is diagonal so that no transition exists among the ancillary bases during the time evolution. Practically the desired evolution path can be obtained by the von Neumann equation for the parametric ancillary bases. We demonstrate that our control framework can be reduced to the nonadiabatic holonomic quantum transformation, the Lewis-Riesenfeld theory for invariant, and the counterdiabatic driving method under distinct scenarios and conditions. Also it can be used to achieve the cyclic transfer of system population that could be a hard or complex problem for the existing methods. For the state engineering over a finite-dimensional quantum system, our work can provide a full-rank nonadiabatic time-evolution operator.


title: Competing excitation quenching and charge exchange in ultracold Li-Ba$^+$ collisions

abstract: Hybrid atom-ion systems are a rich and powerful platform for studying chemical reactions, as they feature both excellent control over the electronic state preparation and readout as well as a versatile tunability over the scattering energy, ranging from the few-partial wave regime to the quantum regime. In this work, we make use of these excellent control knobs, and present a joint experimental and theoretical study of the collisions of a single $^{138}$Ba$^+$ ion prepared in the $5d\,^2D_{3/2,5/2}$ metastable states with a ground state $^6$Li gas near quantum degeneracy. We show that in contrast to previously reported atom-ion mixtures, several non-radiative processes, including charge exchange, excitation exchange and quenching, compete with each other due to the inherent complexity of the ion-atom molecular structure. We present a full quantum model based on high-level electronic structure calculations involving spin-orbit couplings. Results are in excellent agreement with observations, highlighting the strong coupling between the internal angular momenta and the mechanical rotation of the colliding pair, which is relevant in any other hybrid system composed of an alkali-metal atom and an alkaline-earth ion.


title: Comprehensive characterization of three-qubit Grover search algorithm on IBM's 127-qubit superconducting quantum computers

abstract: The Grover search algorithm is a pivotal advancement in quantum computing, promising a remarkable speedup over classical algorithms in searching unstructured large databases. Here, we report results for the implementation and characterization of a three-qubit Grover search algorithm using the state-of-the-art scalable quantum computing technology of superconducting quantum architectures. To delve into the algorithm's scalability and performance metrics, our investigation spans the execution of the algorithm across all eight conceivable single-result oracles, alongside nine two-result oracles, employing IBM Quantum's 127-qubit quantum computers. Moreover, we conduct five quantum state tomography experiments to precisely gauge the behavior and efficiency of our implemented algorithm under diverse conditions; ranging from noisy, noise-free environments to the complexities of real-world quantum hardware. By connecting theoretical concepts with real-world experiments, this study not only shed light on the potential of NISQ (Noisy Intermediate-Scale Quantum) computers in facilitating large-scale database searches but also offer valuable insights into the practical application of the Grover search algorithm in real-world quantum computing applications.


title: Spherical fibrations over certain complexes

abstract: This paper presents any spherical fibration over certain CW complexes is stably fibre homotopy equivalent to a $\mathrm{TOP}$-linear spherical bundle. Moreover, if the CW complex is a Poincar$\mathrm{\acute{e}}$ complex, then it is of the homotopy type of a topological manifold.


title: AudioBench: A Universal Benchmark for Audio Large Language Models

abstract: We introduce AudioBench, a new benchmark designed to evaluate audio large language models (AudioLLMs). AudioBench encompasses 8 distinct tasks and 26 carefully selected or newly curated datasets, focusing on speech understanding, voice interpretation, and audio scene understanding. Despite the rapid advancement of large language models, including multimodal versions, a significant gap exists in comprehensive benchmarks for thoroughly evaluating their capabilities. AudioBench addresses this gap by providing relevant datasets and evaluation metrics. In our study, we evaluated the capabilities of four models across various aspects and found that no single model excels consistently across all tasks. We outline the research outlook for AudioLLMs and anticipate that our open-source code, data, and leaderboard will offer a robust testbed for future model developments.


title: Harvesting Events from Multiple Sources: Towards a Cross-Document Event Extraction Paradigm

abstract: Document-level event extraction aims to extract structured event information from unstructured text. However, a single document often contains limited event information and the roles of different event arguments may be biased due to the influence of the information source. This paper addresses the limitations of traditional document-level event extraction by proposing the task of cross-document event extraction (CDEE) to integrate event information from multiple documents and provide a comprehensive perspective on events. We construct a novel cross-document event extraction dataset, namely CLES, which contains 20,059 documents and 37,688 mention-level events, where over 70% of them are cross-document. To build a benchmark, we propose a CDEE pipeline that includes 5 steps, namely event extraction, coreference resolution, entity normalization, role normalization and entity-role resolution. Our CDEE pipeline achieves about 72% F1 in end-to-end cross-document event extraction, suggesting the challenge of this task. Our work builds a new line of information extraction research and will attract new research attention.


title: The local well-posedness, blow-up and global solution of a new integrable system in Besov spaces

abstract: In this paper, we first establish the local well-posednesss for the Cauchy problem of a $N$-peakon system in the sense of Hadamard in both critical Besov spaces and supercritical Besov spaces. Second, we gain a blow-up criterion. According to blow-up criterion wemreach a precise blow-up criterion. Under a sign condition, we reach the existence of global solution. Finally, based on the first-order difference method, we give a simulation example of the blow-up of the equation and the properties of the global solution.


title: Quantum Metropolis Sampling via Weak Measurement

abstract: Gibbs sampling is a crucial computational technique used in physics, statistics, and many other scientific fields. For classical Hamiltonians, the most commonly used Gibbs sampler is the Metropolis algorithm, known for having the Gibbs state as its unique fixed point. For quantum Hamiltonians, designing provably correct Gibbs samplers has been more challenging. [TOV+11] introduced a novel method that uses quantum phase estimation (QPE) and the Marriot-Watrous rewinding technique to mimic the classical Metropolis algorithm for quantum Hamiltonians. The analysis of their algorithm relies upon the use of a boosted and shift-invariant version of QPE which may not exist [CKBG23]. Recent efforts to design quantum Gibbs samplers take a very different approach and are based on simulating Davies generators [CKBG23,CKG23,RWW23,DLL24]. Currently, these are the only provably correct Gibbs samplers for quantum Hamiltonians. We revisit the inspiration for the Metropolis-style algorithm of [TOV+11] and incorporate weak measurement to design a conceptually simple and provably correct quantum Gibbs sampler, with the Gibbs state as its approximate unique fixed point. Our method uses a Boosted QPE which takes the median of multiple runs of QPE, but we do not require the shift-invariant property. In addition, we do not use the Marriott-Watrous rewinding technique which simplifies the algorithm significantly.


title: Atmospheric Helium Abundances in the Giant Planets

abstract: Noble gases are accreted to the giant planets as part of the gas component of the planet-forming disk. While heavier noble gases can separate from the evolution of the hydrogen-rich gas, helium is thought to remain at the protosolar H/He ratio Yproto~0.27-0.28. However, spacecraft observations revealed a depletion in helium in the atmospheres of Jupiter, Saturn, and Uranus. For the gas giants, this is commonly seen as indication of H/He phase separation at greater depths. Here, we apply predictions of the H/He phase diagram and three H/He-EOS to compute the atmospheric helium mass abundance Yatm as a result of H/He phase separation. We obtain a strong depletion Yatm<0.1 for the ice giants if they are adiabatic. Introducing a thermal boundary layer at the Z-poor/Z-rich compositional transition with a temperature increase of up to a few 1000 K, we obtain a weak depletion in Uranus as observed. Our results suggest dissimilar internal structures between Uranus and Neptune. An accurate in-situ determination of their atmospheric He/H ratio would help to constrain their internal structures. This is even more true for Saturn, where we find that any considered H/He phase diagram and H/He-EOS would be consistent with any observed value. However, some H/He-EOS and phase diagram combinations applied to both Jupiter and Saturn require an outer stably-stratified layer at least in one of them.


title: A four-operator splitting algorithm for nonconvex and nonsmooth optimization

abstract: In this work, we address a class of nonconvex nonsmooth optimization problems where the objective function is the sum of two smooth functions (one of which is proximable) and two nonsmooth functions (one weakly convex and proximable and the other continuous and weakly concave). We introduce a new splitting algorithm that extends the Davis-Yin splitting (DYS) algorithm to handle such four-term nonconvex nonsmooth problems. We prove that with appropriately chosen step sizes, our algorithm exhibits global subsequential convergence to stationary points with a stationarity measure converging at a rate of $1/k$. When specialized to the setting of the DYS algorithm, our results allow for larger stepsizes compared to existing bounds in the literature. Experimental results demonstrate the practical applicability and effectiveness of our proposed algorithm.


title: CEST-KAN: Kolmogorov-Arnold Networks for CEST MRI Data Analysis

abstract: Purpose: This study aims to propose and investigate the feasibility of using Kolmogorov-Arnold Network (KAN) for CEST MRI data analysis (CEST-KAN). Methods: CEST MRI data were acquired from twelve healthy volunteers at 3T. Data from ten subjects were used for training, while the remaining two were reserved for testing. The performance of multi-layer perceptron (MLP) and KAN models with the same network settings were evaluated and compared to the conventional multi-pool Lorentzian fitting (MPLF) method in generating water and multiple CEST contrasts, including amide, relayed nuclear Overhauser effect (rNOE), and magnetization transfer (MT). Results: The water and CEST maps generated by both MLP and KAN were visually comparable to the MPLF results. However, the KAN model demonstrated higher accuracy in extrapolating the CEST fitting metrics, as evidenced by the smaller validation loss during training and smaller absolute error during testing. Voxel-wise correlation analysis showed that all four CEST fitting metrics generated by KAN consistently exhibited higher Pearson coefficients than the MLP results, indicating superior performance. Moreover, the KAN models consistently outperformed the MLP models in varying hidden layer numbers despite longer training time. Conclusion: In this study, we demonstrated for the first time the feasibility of utilizing KAN for CEST MRI data analysis, highlighting its superiority over MLP in this task. The findings suggest that CEST-KAN has the potential to be a robust and reliable post-analysis tool for CEST MRI in clinical settings.


title: Picosecond all-optical switching of Co/Gd based synthetic ferrimagnets

abstract: Single pulse all-optical switching of magnetization (AOS) in Co/Gd based synthetic ferrimagnets carries promises for hybrid spintronic-photonic integration. A crucial next step progressing towards this vision is to gain insight into AOS and multi-domain state (MDS) behavior using longer pulses, which is compatible with state-of-the-art integrated photonics. In this work, we present our studies on the AOS and MDS of [Co/Gd]n (n = 1, 2) using ps optical pulses across a large composition range. We theoretically and experimentally show that a large Gd layer thickness can enhance the AOS energy efficiency and maximum pulse duration. We have identified two augmenting roles of Gd in extending the maximum pulse duration. On the inter-atomic level, we found that more Gd offers a prolonged angular momentum supply to Co. On the micromagnetic level, a higher Gd content brings the system to be closer to magnetic compensation in the equilibrized hot state, thereby reducing the driving force for thermally assisted nucleation of domain walls, combating the formation of a MDS. Our study presents a composition overview of AOS in [Co/Gd]n and offers useful physical insights regarding AOS fundamentals as well as the projected photonic integration.


title: TimeAutoDiff: Combining Autoencoder and Diffusion model for time series tabular data synthesizing

abstract: In this paper, we leverage the power of latent diffusion models to generate synthetic time series tabular data. Along with the temporal and feature correlations, the heterogeneous nature of the feature in the table has been one of the main obstacles in time series tabular data modeling. We tackle this problem by combining the ideas of the variational auto-encoder (VAE) and the denoising diffusion probabilistic model (DDPM). Our model named as \texttt{TimeAutoDiff} has several key advantages including (1) Generality: the ability to handle the broad spectrum of time series tabular data from single to multi-sequence datasets; (2) Good fidelity and utility guarantees: numerical experiments on six publicly available datasets demonstrating significant improvements over state-of-the-art models in generating time series tabular data, across four metrics measuring fidelity and utility; (3) Fast sampling speed: entire time series data generation as opposed to the sequential data sampling schemes implemented in the existing diffusion-based models, eventually leading to significant improvements in sampling speed, (4) Entity conditional generation: the first implementation of conditional generation of multi-sequence time series tabular data with heterogenous features in the literature, enabling scenario exploration across multiple scientific and engineering domains. Codes are in preparation for release to the public, but available upon request.


title: Mind the Trap: Non-negligible effect of volatile trapping in ice on C/O ratios in protoplanetary disks and exoplanetary atmospheres

abstract: The ability of bulk ices (H$_{2}$O, CO$_{2}$) to trap volatiles has been well studied in any experimental sense, but largely ignored in protoplanetary disk and planet formation models as well as the interpretation of their observations. We demonstrate the influence of volatile trapping on C/O ratios in planet-forming environments. We created a simple model of CO, CO$_{2}$, and H$_{2}$O snowlines in protoplanetary disks and calculated the C/O ratio at different radii and temperatures. We included a trapping factor, which partially inhibits the release of volatiles (CO, CO$_{2}$) at their snowline and releases them instead, together with the bulk ice species (H$_{2}$O, CO$_{2}$). Our aim has been to assess its influence on trapping solid-state and gas phase C/O ratios throughout planet-forming environments. Volatile trapping significantly affects C/O ratios in protoplanetary disks. Variations in the ratio are reduced and become more homogeneous throughout the disk when compared to models that do not include volatile trapping. Trapping reduces the proportion of volatiles in the gas and, as such, reduces the available carbon- and oxygen-bearing molecules for gaseous accretion to planetary atmospheres. Volatile trapping is expected to also affect the elemental hydrogen and nitrogen budgets. Volatile trapping is an overlooked, but important effect to consider when assessing the C/O ratios in protoplanetary disks and exoplanet atmospheres. Due to volatile trapping, exoplanets with stellar C/O have the possibility to be formed within the CO and CO$_{2}$ snowline.


title: Zero-Shot Cross-Lingual NER Using Phonemic Representations for Low-Resource Languages

abstract: Existing zero-shot cross-lingual NER approaches require substantial prior knowledge of the target language, which is impractical for low-resource languages. In this paper, we propose a novel approach to NER using phonemic representation based on the International Phonetic Alphabet (IPA) to bridge the gap between representations of different languages. Our experiments show that our method significantly outperforms baseline models in extremely low-resource languages, with the highest average F-1 score (46.38%) and lowest standard deviation (12.67), particularly demonstrating its robustness with non-Latin scripts.


title: Source anisotropies and pulsar timing arrays

abstract: Pulsar timing arrays (PTA) hunt for gravitational waves (GW) by searching for the correlations that GWs induce in the time-of-arrival residuals from different pulsars. If the GW sources are of astrophysical origin, then they are located at discrete points on the sky. However, PTA data are often modeled, and subsequently analyzed, via a "standard Gaussian ensemble". That ensemble is obtained in the limit of an infinite density of vanishingly weak, Poisson-distributed sources. In this paper, we move away from that ensemble, to study the effects of two types of "source anisotropy". The first (a), which is often called "shot noise", arises because there are $N$ discrete GW sources at specific sky locations. The second (b) arises because the GW source positions are not a Poisson process, for example, because galaxy locations are clustered. Here, we quantify the impact of (a) and (b) on the mean and variance of the pulsar-averaged Hellings and Downs correlation. For conventional PTA sources, we show that the effects of shot noise (a) are much larger than the effects of clustering (b).


title: Effect of Random Learning Rate: Theoretical Analysis of SGD Dynamics in Non-Convex Optimization via Stationary Distribution

abstract: We consider a variant of the stochastic gradient descent (SGD) with a random learning rate and reveal its convergence properties. SGD is a widely used stochastic optimization algorithm in machine learning, especially deep learning. Numerous studies reveal the convergence properties of SGD and its simplified variants. Among these, the analysis of convergence using a stationary distribution of updated parameters provides generalizable results. However, to obtain a stationary distribution, the update direction of the parameters must not degenerate, which limits the applicable variants of SGD. In this study, we consider a novel SGD variant, Poisson SGD, which has degenerated parameter update directions and instead utilizes a random learning rate. Consequently, we demonstrate that a distribution of a parameter updated by Poisson SGD converges to a stationary distribution under weak assumptions on a loss function. Based on this, we further show that Poisson SGD finds global minima in non-convex optimization problems and also evaluate the generalization error using this method. As a proof technique, we approximate the distribution by Poisson SGD with that of the bouncy particle sampler (BPS) and derive its stationary distribution, using the theoretical advance of the piece-wise deterministic Markov process (PDMP).


title: Unlocking the Future: Exploring Look-Ahead Planning Mechanistic Interpretability in Large Language Models

abstract: Planning, as the core module of agents, is crucial in various fields such as embodied agents, web navigation, and tool using. With the development of large language models (LLMs), some researchers treat large language models as intelligent agents to stimulate and evaluate their planning capabilities. However, the planning mechanism is still unclear. In this work, we focus on exploring the look-ahead planning mechanism in large language models from the perspectives of information flow and internal representations. First, we study how planning is done internally by analyzing the multi-layer perception (MLP) and multi-head self-attention (MHSA) components at the last token. We find that the output of MHSA in the middle layers at the last token can directly decode the decision to some extent. Based on this discovery, we further trace the source of MHSA by information flow, and we reveal that MHSA mainly extracts information from spans of the goal states and recent steps. According to information flow, we continue to study what information is encoded within it. Specifically, we explore whether future decisions have been encoded in advance in the representation of flow. We demonstrate that the middle and upper layers encode a few short-term future decisions to some extent when planning is successful. Overall, our research analyzes the look-ahead planning mechanisms of LLMs, facilitating future research on LLMs performing planning tasks.


title: Some General Completeness Results for Propositionally Quantified Modal Logics

abstract: We study the completeness problem for propositionally quantified modal logics on quantifiable general frames, where the admissible sets are the propositions the quantifiers can range over and expressible sets of worlds are admissible, and Kripke frames, where the quantifiers range over all sets of worlds. We show that any normal propositionally quantified modal logic containing all instances of the Barcan scheme is strongly complete with respect to the class of quantifiable general frames validating it. We also provide a sufficient condition for the truth of all formulas, possibly with quantifiers, to be preserved under passing from a quantifiable general frame to its underlying Kripke frame. This is reminiscent of both the idea of elementary submodel in model theory and the persistence concepts in propositional modal logic. The key to this condition is the concept of finite diversity (Fritz 2023), and with it, we show that if $\Theta$ is a set of Sahlqvist formulas whose class of Kripke frames has finite diversity, then the smallest normal propositionally quantified modal logic containing $\Theta$, Barcan, a formula stating the existence of world propositions, and a formula stating the definability of successor sets, is Kripke complete. As a special case, we have a simple finite axiomatization of the logic of Euclidean Kripke frames.


title: Meta-FL: A Novel Meta-Learning Framework for Optimizing Heterogeneous Model Aggregation in Federated Learning

abstract: Federated Learning (FL) enables collaborative model training across diverse entities while safeguarding data privacy. However, FL faces challenges such as data heterogeneity and model diversity. The Meta-Federated Learning (Meta-FL) framework has been introduced to tackle these challenges. Meta-FL employs an optimization-based Meta-Aggregator to navigate the complexities of heterogeneous model updates. The Meta-Aggregator enhances the global model's performance by leveraging meta-features, ensuring a tailored aggregation that accounts for each local model's accuracy. Empirical evaluation across four healthcare-related datasets demonstrates the Meta-FL framework's adaptability, efficiency, scalability, and robustness, outperforming conventional FL approaches. Furthermore, Meta-FL's remarkable efficiency and scalability are evident in its achievement of superior accuracy with fewer communication rounds and its capacity to manage expanding federated networks without compromising performance.


title: Sharp local Bernstein estimates for Laplace eigenfunctions on Riemannian manifolds

abstract: In this paper we focus on local growth properties of Laplace eigenfunctions on a compact Riemannian manifold. The principal theme is that a Laplace eigenfunction behaves locally as a polynomial function of degree proportional to the square root of the eigenvalue. In this direction, we notably prove sharp local Bernstein estimates, conjectured by Donnelly and Fefferman in 1990.


title: Characterization of Lightweight GPS Disciplined Oscillators for Distributed UAV Measurement Applications

abstract: With an increasing variety of measurement applications using sensing nodes on unmanned aerial vehicles (UAVs), global positioning system (GPS) and global navigation satellite system (GNSS) disciplined oscillators (GPSDOs, GNSSDOs) are an appealing solution for precise wireless inter-device synchronization. Typically evaluated under laboratory conditions by analyzing the 10 MHz and 1 pulse per second (PPS) reference signal stability, these test methods overlook airborne oscillator performance. This paper characterizes lightweight GNSSDO models for flight suitability using a measurement system based on software defined radios (SDRs). We analyze reference signal stability under controlled GNSS signal impairments to predict performance and measurement precision loss in dynamic operational modes. Additionally, we assess behavior under the impacts caused by operating the UAV, as well as typical flight vibrations and accelerations outlined in the standard for payload devices.


title: LiveScene: Language Embedding Interactive Radiance Fields for Physical Scene Rendering and Control

abstract: This paper aims to advance the progress of physical world interactive scene reconstruction by extending the interactive object reconstruction from single object level to complex scene level. To this end, we first construct one simulated and one real scene-level physical interaction dataset containing 28 scenes with multiple interactive objects per scene. Furthermore, to accurately model the interactive motions of multiple objects in complex scenes, we propose LiveScene, the first scene-level language-embedded interactive neural radiance field that efficiently reconstructs and controls multiple interactive objects in complex scenes. LiveScene introduces an efficient factorization that decomposes the interactive scene into multiple local deformable fields to separately reconstruct individual interactive objects, achieving the first accurate and independent control on multiple interactive objects in a complex scene. Moreover, we introduce an interaction-aware language embedding method that generates varying language embeddings to localize individual interactive objects under different interactive states, enabling arbitrary control of interactive objects using natural language. Finally, we evaluate LiveScene on the constructed datasets OminiSim and InterReal with various simulated and real-world complex scenes. Extensive experiment results demonstrate that the proposed approach achieves SOTA novel view synthesis and language grounding performance, surpassing existing methods by +9.89, +1.30, and +1.99 in PSNR on CoNeRF Synthetic, OminiSim #chanllenging, and InterReal #chanllenging datasets, and +65.12 of mIOU on OminiSim, respectively. Project page: \href{https://livescenes.github.io}{https://livescenes.github.io}.


title: CholecInstanceSeg: A Tool Instance Segmentation Dataset for Laparoscopic Surgery

abstract: In laparoscopic and robotic surgery, precise tool instance segmentation is an essential technology for advanced computer-assisted interventions. Although publicly available procedures of routine surgeries exist, they often lack comprehensive annotations for tool instance segmentation. Additionally, the majority of standard datasets for tool segmentation are derived from porcine(pig) surgeries. To address this gap, we introduce CholecInstanceSeg, the largest open-access tool instance segmentation dataset to date. Derived from the existing CholecT50 and Cholec80 datasets, CholecInstanceSeg provides novel annotations for laparoscopic cholecystectomy procedures in patients. Our dataset comprises 41.9k annotated frames extracted from 85 clinical procedures and 64.4k tool instances, each labelled with semantic masks and instance IDs. To ensure the reliability of our annotations, we perform extensive quality control, conduct label agreement statistics, and benchmark the segmentation results with various instance segmentation baselines. CholecInstanceSeg aims to advance the field by offering a comprehensive and high-quality open-access dataset for the development and evaluation of tool instance segmentation algorithms.


title: Variational analysis of nonlocal Dirichlet problems in periodically perforated domains

abstract: In this paper we consider a family of non local functionals of convolution-type depending on a small parameter $\varepsilon>0$ and $\Gamma$-converging to local functionals defined on Sobolev spaces as $\varepsilon\to 0$. We study the asymptotic behaviour of the functionals when the order parameter is subject to Dirichlet conditions on a periodically perforated domains, given by a periodic array of small balls of radius $r_\delta$ centered on a $\delta$--periodic lattice, being $\delta > 0$ an additional small parameter and $r_\delta=o(\delta)$. We highlight differences and analogies with the local case, according to the interplay between the three scales $\varepsilon$, $\delta$ and $r_\delta$. A fundamental tool in our analysis turns out to be a non local variant of the classical Gagliardo-Nirenberg-Sobolev inequality in Sobolev spaces which may be of independent interest and useful for other applications.


title: Gridless Parameter Estimation in Partly Calibrated Rectangular Arrays

abstract: Spatial frequency estimation from a mixture of noisy sinusoids finds applications in various fields. While subspace-based methods offer cost-effective super-resolution parameter estimation, they demand precise array calibration, posing challenges for large antennas. In contrast, sparsity-based approaches outperform subspace methods, especially in scenarios with limited snapshots or correlated sources. This study focuses on direction-of-arrival (DOA) estimation using a partly calibrated rectangular array with fully calibrated subarrays. A gridless sparse formulation leveraging shift invariances in the array is developed, yielding two competitive algorithms under the alternating direction method of multipliers (ADMM) and successive convex approximation frameworks, respectively. Numerical simulations show the superior error performance of our proposed method, particularly in highly correlated scenarios, compared to the conventional subspace-based methods. It is demonstrated that the proposed formulation can also be adopted in the fully calibrated case to improve the robustness of the subspace-based methods to the source correlation. Furthermore, we provide a generalization of the proposed method to a more challenging case where a part of the sensors is unobservable due to failures.


title: Pose-Diversified Augmentation with Diffusion Model for Person Re-Identification

abstract: Person re-identification (Re-ID) often faces challenges due to variations in human poses and camera viewpoints, which significantly affect the appearance of individuals across images. Existing datasets frequently lack diversity and scalability in these aspects, hindering the generalization of Re-ID models to new camera systems. Previous methods have attempted to address these issues through data augmentation; however, they rely on human poses already present in the training dataset, failing to effectively reduce the human pose bias in the dataset. We propose Diff-ID, a novel data augmentation approach that incorporates sparse and underrepresented human pose and camera viewpoint examples into the training data, addressing the limited diversity in the original training data distribution. Our objective is to augment a training dataset that enables existing Re-ID models to learn features unbiased by human pose and camera viewpoint variations. To achieve this, we leverage the knowledge of pre-trained large-scale diffusion models. Using the SMPL model, we simultaneously capture both the desired human poses and camera viewpoints, enabling realistic human rendering. The depth information provided by the SMPL model indirectly conveys the camera viewpoints. By conditioning the diffusion model on both the human pose and camera viewpoint concurrently through the SMPL model, we generate realistic images with diverse human poses and camera viewpoints. Qualitative results demonstrate the effectiveness of our method in addressing human pose bias and enhancing the generalizability of Re-ID models compared to other data augmentation-based Re-ID approaches. The performance gains achieved by training Re-ID models on our offline augmented dataset highlight the potential of our proposed framework in improving the scalability and generalizability of person Re-ID models.


title: A study on the domain independence of the Laurent property, the irreducibility and the coprimeness in lattice equations

abstract: We study the Laurent property, the irreducibility and the coprimeness for lattice equations (partial difference equations), mainly focusing on how the choice of initial value problem (the choice of domain) affects these properties. We show that these properties do not depend on the choice of domain as long as they are considered together. In other words, these properties are inherent to a difference equation. Applying our result, we discuss the reductions of lattice equations. We show that any reduction of a Laurent system, even if the lattices have torsion elements, preserves the Laurent property.


title: Real-time antiproton annihilation vertexing with sub-micron resolution

abstract: The primary goal of the AEgIS experiment is to precisely measure the free fall of antihydrogen within Earth's gravitational field. To this end, a cold ~50K antihydrogen beam has to pass through two grids forming a moir\'e deflectometer before annihilating onto a position-sensitive detector, which shall determine the vertical position of the annihilation vertex relative to the grids with micrometric accuracy. Here we introduce a vertexing detector based on a modified mobile camera sensor and experimentally demonstrate that it can measure the position of antiproton annihilations with an accuracy of $0.62^{+0.40}_{-0.22}\mu m$, which represents a 35-fold improvement over the previous state-of-the-art for real-time antiproton vertexing. Importantly, these antiproton detection methods are directly applicable to antihydrogen. Moreover, the sensitivity to light of the sensor enables the in-situ calibration of the moir\'e deflectometer, significantly reducing systematic errors. This sensor emerges as a breakthrough technology for achieving the \aegis scientific goals and has been selected as the basis for the development of a large-area detector for conducting antihydrogen gravity measurements.


title: Combine and Conquer: A Meta-Analysis on Data Shift and Out-of-Distribution Detection

abstract: This paper introduces a universal approach to seamlessly combine out-of-distribution (OOD) detection scores. These scores encompass a wide range of techniques that leverage the self-confidence of deep learning models and the anomalous behavior of features in the latent space. Not surprisingly, combining such a varied population using simple statistics proves inadequate. To overcome this challenge, we propose a quantile normalization to map these scores into p-values, effectively framing the problem into a multi-variate hypothesis test. Then, we combine these tests using established meta-analysis tools, resulting in a more effective detector with consolidated decision boundaries. Furthermore, we create a probabilistic interpretable criterion by mapping the final statistics into a distribution with known parameters. Through empirical investigation, we explore different types of shifts, each exerting varying degrees of impact on data. Our results demonstrate that our approach significantly improves overall robustness and performance across diverse OOD detection scenarios. Notably, our framework is easily extensible for future developments in detection scores and stands as the first to combine decision boundaries in this context. The code and artifacts associated with this work are publicly available\footnote{\url{https://github.com/edadaltocg/detectors}}.


title: Drag Rewriting

abstract: We present a new and powerful algebraic framework for graph rewriting, based on drags, a class of graphs enjoying a novel composition operator. Graphs are embellished with roots and sprouts, which can be wired together to form edges. Drags enjoy a rich algebraic structure with sums and products. Drag rewriting naturally extends graph rewriting, dag rewriting, and term rewriting models.


title: Quantum battery in the Heisenberg spin chain models with Dzyaloshinskii-Moriya interaction

abstract: Quantum battery (QB) is an energy storage and extraction device conforming to the principles of quantum mechanics. In this study, we consider the characteristics of QBs for the Heisenberg spin chain models in the absence and presence of Dzyaloshinskii-Moriya (DM) interaction. Our results show that the DM interaction can enhance the ergotropy and power of QBs, which shows the collective charging can outperform parallel charging regarding QB's performance. Besides, it turns out that first-order coherence is a crucial quantum resource during charging, while quantum steering between the cells is not conducive to the energy storage of QBs. Our investigations offer insight into the properties of QBs with Heisenberg spin chain models with DM interaction and facilitate us to acquire the performance in the framework of realistic quantum batteries.


title: Evaluating D-MERIT of Partial-annotation on Information Retrieval

abstract: Retrieval models are often evaluated on partially-annotated datasets. Each query is mapped to a few relevant texts and the remaining corpus is assumed to be irrelevant. As a result, models that successfully retrieve false negatives are punished in evaluation. Unfortunately, completely annotating all texts for every query is not resource efficient. In this work, we show that using partially-annotated datasets in evaluation can paint a distorted picture. We curate D-MERIT, a passage retrieval evaluation set from Wikipedia, aspiring to contain all relevant passages for each query. Queries describe a group (e.g., ``journals about linguistics'') and relevant passages are evidence that entities belong to the group (e.g., a passage indicating that Language is a journal about linguistics). We show that evaluating on a dataset containing annotations for only a subset of the relevant passages might result in misleading ranking of the retrieval systems and that as more relevant texts are included in the evaluation set, the rankings converge. We propose our dataset as a resource for evaluation and our study as a recommendation for balance between resource-efficiency and reliable evaluation when annotating evaluation sets for text retrieval.


title: Quantum Cournot model based on general entanglement operator

abstract: The properties of the Cournot model based on the most general entanglement operator containing quadratic expressions which is symmetric with respect to the exchange of players are considered. The degree of entanglement of games dependent on one and two squeezing parameters and their payoff values in Nash equilibrium are compared.


title: Theoretical constraints on models with vector-like fermions

abstract: We provide a set of theoretical constraints on models in which the Standard Model field content is extended by vector-like fermions and in some cases also by a real scalar singlet. Our approach is based on the study of electroweak vacuum stability, perturbativity of model couplings and gauge couplings unification with the use of renormalization group equations. We show that careful analysis of these issues leads to strong constraints on the parameter space of the considered models. This, in turn, has important implications for phenomenology, as we show using examples of the electroweak phase transition and the double Higgs boson production.


title: Entropy-driven decision-making dynamics sheds light on the emergence of the "paradox of choice"

abstract: Decision making is the cognitive process of selecting a course of action among multiple alternatives. As the decision maker belongs to a complex microenvironment (which contains multiple decision makers), has to make a decision where multiple options are present which often leads to a phenomenon known as the "paradox of choices". The latter refers to the case where too many options can lead to negative outcomes, such as increased uncertainty, decision paralysis, and frustration. Here, we employ an entropy driven mechanism within a statistical physics framework to explain the premises of the paradox. In turn, we focus on the emergence of a collective "paradox of choice", in the case of interacting decision-making agents, quantified as the decision synchronization time. Our findings reveal a trade-off between synchronization time and the sensing radius, indicating the optimal conditions for information transfer among group members, which significantly depends the individual sensitivity parameters. Interestingly, when agents sense their microenvironment in a biased way or their decisions are influenced by their past choices, then the collective "paradox of choice" does not occur. In a nutshell, our theory offers a low-dimensional and unified statistical explanation of the "paradox of choice" at the individual and at the collective level.

categories: physics.soc-ph cond-mat.stat-mech nlin.AO physics.bio-ph physics.data-an


title: Pivotal Auto-Encoder via Self-Normalizing ReLU

abstract: Sparse auto-encoders are useful for extracting low-dimensional representations from high-dimensional data. However, their performance degrades sharply when the input noise at test time differs from the noise employed during training. This limitation hinders the applicability of auto-encoders in real-world scenarios where the level of noise in the input is unpredictable. In this paper, we formalize single hidden layer sparse auto-encoders as a transform learning problem. Leveraging the transform modeling interpretation, we propose an optimization problem that leads to a predictive model invariant to the noise level at test time. In other words, the same pre-trained model is able to generalize to different noise levels. The proposed optimization algorithm, derived from the square root lasso, is translated into a new, computationally efficient auto-encoding architecture. After proving that our new method is invariant to the noise level, we evaluate our approach by training networks using the proposed architecture for denoising tasks. Our experimental results demonstrate that the trained models yield a significant improvement in stability against varying types of noise compared to commonly used architectures.


title: Lipschitz continuity of solution multifunctions of extended $\ell_1$ regularization problems

abstract: In this paper we obtain a verifiable sufficient condition for a polyhedral multifunction to be Lipschitz continuous on its domain. We apply this sufficient condition to establish the Lipschitz continuity of the solution multifunction for an extended $\ell_1$ regularization problem with respect to the regularization parameter and the observation parameter under the assumption that the data matrix is of full row rank. In doing so, we show that the solution multifunction is a polyhedral one by expressing its graph as the union of the polyhedral cones constructed by the index sets defined by nonempty faces of the feasible set of an extended dual $\ell_1$ regularization problem. We demonstrate that the domain of the solution multifunction is partitioned as the union of the projections of the above polyhedral cones onto the parameters space and that the graph of the restriction of the multifunction on each of these projections is convex. In comparing with the existing result of the local Lipschitz continuity of the Lasso problem in the literature where certain linear independence condition was assumed, our condition (i.e., full row rank of data matrix) is very weak and our result (i.e., Lipschitz continuity on the domain) is much more stronger. As corollaries of the Lipschitz continuity of the solution multifunction, we show that the single-valuedness and linearity (or piecewise linearity) of the solution multifunction on a particular polyhedral set of the domain are equivalent to certain linear independence conditions of the corresponding columns of the data matrix proposed in the literature.


title: On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop

abstract: Probabilistic Hoare logic (PHL) is an extension of Hoare logic and is specifically useful in verifying randomized programs. It allows researchers to formally reason about the behavior of programs with stochastic elements, ensuring the desired probabilistic properties are upheld. The relative completeness of satisfaction-based PHL has been an open problem ever since the birth of the first PHL in 1979. More specifically, no satisfaction-based PHL with While-loop has been proven to be relatively complete yet. This paper solves this problem by establishing a new PHL with While-loop and prove its relative completeness. The programming language concerned in our PHL is expressively equivalent to the existing PHL systems but brings a lot of convenience in showing completeness. The weakest preterm for While-loop command reveals how it changes the probabilistic properties of computer states, considering both execution branches that halt and infinite runs. We prove the relative completeness of our PHL in two steps. We first establish a semantics and proof system of Hoare triples with probabilistic programs and deterministic assertions. Then, by utilizing the weakest precondition of deterministic assertions, we construct the weakest preterm calculus of probabilistic expressions. The relative completeness of our PHL is then obtained as a consequence of the weakest preterm calculus.


title: J-PLUS: The fraction of calcium white dwarfs along the cooling sequence

abstract: We used the Javalambre Photometric Local Universe Survey (J-PLUS) DR2 photometry in twelve optical bands over 2176 deg2 to estimate the fraction of white dwarfs with presence of CaII H+K absorption along the cooling sequence. We compared the J-PLUS photometry against metal-free theoretical models to estimate the equivalent width in the J0395 passband of 10 nm centered at 395 nm (EW_J0395), a proxy to detect calcium absorption. A total of 4399 white dwarfs within 30000 > Teff > 5500 K and mass M > 0.45 Msun were analyzed. Their EW_J0395 distribution was modeled using two populations, corresponding to polluted and non-polluted systems, to estimate the fraction of calcium white dwarfs (f_Ca) as a function of Teff. The probability for each individual white dwarf of presenting calcium absorption, pca, was also computed. The comparison with both the measured Ca/He abundance and the metal pollution from spectroscopy shows that EW_J0395 correlates with the presence of calcium. The fraction of calcium white dwarfs increases from f_Ca = 0 at Teff = 13500 K to f_Ca = 0.15 at Teff = 5500 K. We compare our results with the fractions derived from the 40 pc spectroscopic sample and from SDSS spectra. The trend found in J-PLUS observations is also present in the 40 pc sample, however SDSS shows a deficit of metal-polluted objects at Teff < 12000 K. Finally, we found 39 white dwarfs with pca > 0.99. Twenty of them have spectra presented in previous studies, whereas we observed six additional targets. These 26 objects were all confirmed as metal-polluted systems. The J-PLUS optical data provide a robust statistical measurement for the presence of CaII H+K absorption in white dwarfs. We find a 15 +- 3 % increase in the fraction of calcium white dwarfs from Teff = 13500 K to 5500 K, which reflects their selection function in the optical from the total population of metal-polluted systems.


title: Logics of polyhedral reachability

abstract: Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral semantics for the basic modal language has already been well investigated. However, for many practical applications of polyhedral semantics, it is advantageous to enrich the basic modal language with a reachability modality. Recently, a language with an Until-like spatial modality has been introduced, with demonstrated applicability to the analysis of 3D meshes via model checking. In this paper, we exhibit an axiom system for this logic, and show that it is complete with respect to polyhedral semantics. The proof consists of two major steps: First, we show that this logic, which is built over Grzegorczyk's system $\mathsf{Grz}$, has the finite model property. Subsequently, we show that every formula satisfied in a finite poset is also satisfied in a polyhedral model, thereby establishing polyhedral completeness.


title: A machine learning approach to predict near-optimal meshes for turbulent compressible flow simulations

abstract: This work presents a methodology to predict a near-optimal spacing function, which defines the element sizes, suitable to perform steady RANS turbulent viscous flow simulations. The strategy aims at utilising existing high fidelity simulations to compute a target spacing function and train an artificial neural network (ANN) to predict the spacing function for new simulations, either unseen operating conditions or unseen geometric configurations. Several challenges induced by the use of highly stretched elements are addressed. The final goal is to substantially reduce the time and human expertise that is nowadays required to produce suitable meshes for simulations. Numerical examples involving turbulent compressible flows in two dimensions are used to demonstrate the ability of the trained ANN to predict a suitable spacing function. The influence of the NN architecture and the size of the training dataset are discussed. Finally, the suitability of the predicted meshes to perform simulations is investigated.


title: Text-Queried Target Sound Event Localization

abstract: Sound event localization and detection (SELD) aims to determine the appearance of sound classes, together with their Direction of Arrival (DOA). However, current SELD systems can only predict the activities of specific classes, for example, 13 classes in DCASE challenges. In this paper, we propose text-queried target sound event localization (SEL), a new paradigm that allows the user to input the text to describe the sound event, and the SEL model can predict the location of the related sound event. The proposed task presents a more user-friendly way for human-computer interaction. We provide a benchmark study for the proposed task and perform experiments on datasets created by simulated room impulse response (RIR) and real RIR to validate the effectiveness of the proposed methods. We hope that our benchmark will inspire the interest and additional research for text-queried sound source localization.


title: Measurement of the $\mathrm{{}^{12}C}(e,e')$ cross sections at $Q^2=0.8\,\mathrm{GeV}^2/c^2$

abstract: We present the findings of a study based on a new inelastic electron-scattering experiment on the ${}^{12}\mathrm{C}$ nucleus focusing on the kinematic region of $Q^2=0.8\,\mathrm{GeV}^2/{c}^2$. The measured cross section is sensitive to the transverse response function and provides a stringent test of theoretical models, as well as of the theoretical assumptions made in Monte-Carlo event-generator codes developed for the interpretation of neutrino-nucleus experiments, such as DUNE and HyperK. We find that modern generators such as GENIE and GiBUU reproduce our new experimental data within 10$\%$.


title: Target Characteristics on Rotation in Euclidean Space Using Full Polarimetric SAR Data

abstract: In radar polarimetry, the target characteristics significantly depend on the rotation of the target concerning the radar line of sight. Hence, several attempts have been made in the literature to compensate for the rotational dependency or to derive a complete roll-invariant parameter using full polarimetric SAR data. However, the degree of dependency of the targets on the rotation domain has yet to be well explored. Hence, in this study, we have proposed a new parameter that characterizes the targets concerning rotation in Euclidean space. The parameter shows similar values for the targets, which can be related to each other through a unitary transformation. The advantage of this parameter has been demonstrated over different canonical targets. Further, the characteristics of the natural targets have been shown using the Single Look Complex data of C band Radarsat-2 and ALOS PALSAR over the San Francisco Bay area and Cuba, respectively.


title: PORT: Preference Optimization on Reasoning Traces

abstract: Preference optimization methods have been successfully applied to improve not only the alignment of large language models (LLMs) with human values, but also specific natural language tasks such as summarization and stylistic continuations. This paper proposes using preference optimization methods on Chain-of-Thought steps in order to improve the reasoning performances of language models. While the chosen answers are obtained from datasets that include reasoning traces, we propose two complementary schemes for generating rejected answers: digit corruption, and weak LLM prompting. Our approach leads to increased accuracy on the GSM8K, AQuA-RAT, and ARC benchmarks for Falcon2-11B and Mistral-7B. For example, the approach can lead to up to a relative 8.47% increase in accuracy on the GSM8K benchmark without any extra annotations. This work suggests that spending resources on creating more datasets of reasoning traces would further boost LLM performances on informal reasoning tasks.


title: Towards Biologically Plausible Computing: A Comprehensive Comparison

abstract: Backpropagation is a cornerstone algorithm in training neural networks for supervised learning, which uses a gradient descent method to update network weights by minimizing the discrepancy between actual and desired outputs. Despite its pivotal role in propelling deep learning advancements, the biological plausibility of backpropagation is questioned due to its requirements for weight symmetry, global error computation, and dual-phase training. To address this long-standing challenge, many studies have endeavored to devise biologically plausible training algorithms. However, a fully biologically plausible algorithm for training multilayer neural networks remains elusive, and interpretations of biological plausibility vary among researchers. In this study, we establish criteria for biological plausibility that a desirable learning algorithm should meet. Using these criteria, we evaluate a range of existing algorithms considered to be biologically plausible, including Hebbian learning, spike-timing-dependent plasticity, feedback alignment, target propagation, predictive coding, forward-forward algorithm, perturbation learning, local losses, and energy-based learning. Additionally, we empirically evaluate these algorithms across diverse network architectures and datasets. We compare the feature representations learned by these algorithms with brain activity recorded by non-invasive devices under identical stimuli, aiming to identify which algorithm can most accurately replicate brain activity patterns. We are hopeful that this study could inspire the development of new biologically plausible algorithms for training multilayer networks, thereby fostering progress in both the fields of neuroscience and machine learning.


title: Optimal matching for sharing and linearity analysis

abstract: Static analysis of logic programs by abstract interpretation requires designing abstract operators which mimic the concrete ones, such as unification, renaming and projection. In the case of goal-driven analysis, where goal-dependent semantics are used, we also need a backward-unification operator, typically implemented through matching. In this paper we study the problem of deriving optimal abstract matching operators for sharing and linearity properties. We provide an optimal operator for matching in the domain ${\mathtt{ShLin}^{\omega}}$, which can be easily instantiated to derive optimal operators for the domains ${\mathtt{ShLin}^{2}}$ by Andy King and the reduced product $\mathtt{Sharing} \times \mathtt{Lin}$.


title: MicroMagnetic.jl: A Julia package for micromagnetic and atomistic simulations with GPU support

abstract: MicroMagnetic.jl is an open-source Julia package for micromagnetic and atomistic simulations. Using the features of the Julia programming language, MicroMagnetic.jl supports CPU and various GPU platforms, including NVIDIA, AMD, Intel, and Apple GPUs. Moreover, MicroMagnetic.jl supports Monte Carlo simulations for atomistic models and implements the Nudged-Elastic-Band method for energy barrier computations. With built-in support for double and single precision modes and a design allowing easy extensibility to add new features, MicroMagnetic.jl provides a versatile toolset for researchers in micromagnetics and atomistic simulations.


title: Sub-Riemannian geodesics on the Heisenberg 3D nil-manifold

abstract: We study the projection of the left-invariant sub-Riemannian structure on the 3D Heisenberg group $G$ to the Heisenberg 3D nil-manifold~$M$ -- the compact homogeneous space of $G$ by the discrete Heisenberg group. First we describe dynamical properties of the geodesic flow for $M$: periodic and dense orbits, and a dynamical characterization of the normal Hamiltonian flow of Pontryagin maximum principle. Then we obtain sharp twoside bounds of sub-Riemannian balls and distance in~$G$, and on this basis we estimate the cut time for sub-Riemannian geodesics in $M$.


title: Constructing Boundary-identical Microstructures by Guided Diffusion for Fast Multiscale Designs

abstract: We propose a novel method to construct large-scale boundary-identical microstructure datasets with high attribute coverage for highly efficient multiscale design. Central to our technique is using a deep generative model to generate microstructures under the two conditions, including the specified boundary and homogenized elastic tensor. We achieve the desired dataset by alternately adding microstructures with diverse attributes constructed by the deep generative model into the dataset and retraining the deep generative model. Sixteen compatible metamaterial datasets with high attribute coverage are constructed by our method. We demonstrate the effectiveness and practicability of the obtained datasets over various multiscale design examples. Specifically, in the design of a mechanical cloak, we utilize macrostructures with $30 \times 30$ elements and microstructures filled with $256 \times 256$ elements. The entire reverse design process is completed within one minute, significantly enhancing the efficiency of the multiscale optimization.


title: Heat conduction in low-dimensional electron gases without and with a magnetic field

abstract: We investigate the behavior of heat conduction in two-dimensional (2D) electron gases without and with a magnetic field. We perform simulations with the Multi-Particle-Collision approach, suitably adapted to account for the Lorenz force acting on the particles. For zero magnetic field, we find that the heat conductivity $\kappa$ diverges with the system size $L$ following the logarithmic relation $\kappa\thicksim \ln L$ (as predicted for two-dimensional (2D) systems) for small $L$ values; however, in the thermodynamic limit the heat conductivity tends to follow the relation $\kappa\thicksim L^{1/3}$, as predicted for one-dimensional (1D) fluids. This suggests the presence of a dimensional-crossover effect in heat conduction in electronic systems that adhere to standard momentum conservation. Under the magnetic field, time-reversal symmetry is broken and the standard momentum conservation in the system is no longer satisfied but the \emph{pseudomomentum} of the system is still conserved. In contrast with the zero-field case, both equilibrium and non-equilibrium simulations indicate a finite heat conductivity independent on the system size $L$ as $L$ increases. This indicates that pseudomomentum conservation can exhibit normal diffusive heat transport, which differs from the abnormal behavior observed in low-dimensional coupled charged harmonic oscillators with pseudomomentum conservation in a magnetic field. These findings support the validity of the hydrodynamic theory in electron gases and clarify that pseudomomentum conservation is not enough to ensure the anomalous behavior of heat conduction.


title: Towards Real-Time Neural Volumetric Rendering on Mobile Devices: A Measurement Study

abstract: Neural Radiance Fields (NeRF) is an emerging technique to synthesize 3D objects from 2D images with a wide range of potential applications. However, rendering existing NeRF models is extremely computation intensive, making it challenging to support real-time interaction on mobile devices. In this paper, we take the first initiative to examine the state-of-the-art real-time NeRF rendering technique from a system perspective. We first define the entire working pipeline of the NeRF serving system. We then identify possible control knobs that are critical to the system from the communication, computation, and visual performance perspective. Furthermore, an extensive measurement study is conducted to reveal the effects of these control knobs on system performance. Our measurement results reveal that different control knobs contribute differently towards improving the system performance, with the mesh granularity being the most effective knob and the quantization being the least effective knob. In addition, diverse hardware device settings and network conditions have to be considered to fully unleash the benefit of operating under the appropriate knobs


title: FastMem: Fast Memorization of Prompt Improves Context Awareness of Large Language Models

abstract: Large language models (LLMs) excel in generating coherent text, but they often struggle with context awareness, leading to inaccuracies in tasks requiring faithful adherence to provided information. We introduce FastMem, a novel method designed to enhance instruction fine-tuned LLMs' context awareness through fast memorization of the prompt. FastMem maximizes the likelihood of the prompt before inference by fine-tuning only the last Feed-Forward Network (FFN) module. This targeted approach ensures efficient optimization without overfitting, significantly improving the model's ability to comprehend and accurately follow the context. Our experiments demonstrate substantial gains in reading comprehension, text summarization and adherence to output structures. For instance, FastMem improves the accuracy of Llama 3-8B-Inst on the NQ-SWAP dataset from 59.1% to 71.6%, and reduces the output structure failure rate of Qwen 1.5-4B-Chat from 34.9% to 25.5%. Extensive experimental results highlight FastMem's potential to offer a robust solution to enhance the reliability and accuracy of LLMs in various applications. Our code is available at: https://github.com/IAAR-Shanghai/FastMem


title: Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces

abstract: We study the space $S(X)^I$ of smooth functions on a symmetric space $X=G/H$ invariant to the action of an Iwahori subgroup $I$, as a module over $\mathcal{H}(G,I)$, the Iwahori Hecke algebra of a p-adic group $G$. We present a description of this module that generalizes the description given to $\mathcal{H}(G,I)$ by Iwahori and Matsumoto.


title: Dancing in the syntax forest: fast, accurate and explainable sentiment analysis with SALSA

abstract: Sentiment analysis is a key technology for companies and institutions to gauge public opinion on products, services or events. However, for large-scale sentiment analysis to be accessible to entities with modest computational resources, it needs to be performed in a resource-efficient way. While some efficient sentiment analysis systems exist, they tend to apply shallow heuristics, which do not take into account syntactic phenomena that can radically change sentiment. Conversely, alternatives that take syntax into account are computationally expensive. The SALSA project, funded by the European Research Council under a Proof-of-Concept Grant, aims to leverage recently-developed fast syntactic parsing techniques to build sentiment analysis systems that are lightweight and efficient, while still providing accuracy and explainability through the explicit use of syntax. We intend our approaches to be the backbone of a working product of interest for SMEs to use in production.


title: DV-3DLane: End-to-end Multi-modal 3D Lane Detection with Dual-view Representation

abstract: Accurate 3D lane estimation is crucial for ensuring safety in autonomous driving. However, prevailing monocular techniques suffer from depth loss and lighting variations, hampering accurate 3D lane detection. In contrast, LiDAR points offer geometric cues and enable precise localization. In this paper, we present DV-3DLane, a novel end-to-end Dual-View multi-modal 3D Lane detection framework that synergizes the strengths of both images and LiDAR points. We propose to learn multi-modal features in dual-view spaces, i.e., perspective view (PV) and bird's-eye-view (BEV), effectively leveraging the modal-specific information. To achieve this, we introduce three designs: 1) A bidirectional feature fusion strategy that integrates multi-modal features into each view space, exploiting their unique strengths. 2) A unified query generation approach that leverages lane-aware knowledge from both PV and BEV spaces to generate queries. 3) A 3D dual-view deformable attention mechanism, which aggregates discriminative features from both PV and BEV spaces into queries for accurate 3D lane detection. Extensive experiments on the public benchmark, OpenLane, demonstrate the efficacy and efficiency of DV-3DLane. It achieves state-of-the-art performance, with a remarkable 11.2 gain in F1 score and a substantial 53.5% reduction in errors. The code is available at \url{https://github.com/JMoonr/dv-3dlane}.


title: LGS: A Light-weight 4D Gaussian Splatting for Efficient Surgical Scene Reconstruction

abstract: The advent of 3D Gaussian Splatting (3D-GS) techniques and their dynamic scene modeling variants, 4D-GS, offers promising prospects for real-time rendering of dynamic surgical scenarios. However, the prerequisite for modeling dynamic scenes by a large number of Gaussian units, the high-dimensional Gaussian attributes and the high-resolution deformation fields, all lead to serve storage issues that hinder real-time rendering in resource-limited surgical equipment. To surmount these limitations, we introduce a Lightweight 4D Gaussian Splatting framework (LGS) that can liberate the efficiency bottlenecks of both rendering and storage for dynamic endoscopic reconstruction. Specifically, to minimize the redundancy of Gaussian quantities, we propose Deformation-Aware Pruning by gauging the impact of each Gaussian on deformation. Concurrently, to reduce the redundancy of Gaussian attributes, we simplify the representation of textures and lighting in non-crucial areas by pruning the dimensions of Gaussian attributes. We further resolve the feature field redundancy caused by the high resolution of 4D neural spatiotemporal encoder for modeling dynamic scenes via a 4D feature field condensation. Experiments on public benchmarks demonstrate efficacy of LGS in terms of a compression rate exceeding 9 times while maintaining the pleasing visual quality and real-time rendering efficiency. LGS confirms a substantial step towards its application in robotic surgical services.


title: CAVM: Conditional Autoregressive Vision Model for Contrast-Enhanced Brain Tumor MRI Synthesis

abstract: Contrast-enhanced magnetic resonance imaging (MRI) is pivotal in the pipeline of brain tumor segmentation and analysis. Gadolinium-based contrast agents, as the most commonly used contrast agents, are expensive and may have potential side effects, and it is desired to obtain contrast-enhanced brain tumor MRI scans without the actual use of contrast agents. Deep learning methods have been applied to synthesize virtual contrast-enhanced MRI scans from non-contrast images. However, as this synthesis problem is inherently ill-posed, these methods fall short in producing high-quality results. In this work, we propose Conditional Autoregressive Vision Model (CAVM) for improving the synthesis of contrast-enhanced brain tumor MRI. As the enhancement of image intensity grows with a higher dose of contrast agents, we assume that it is less challenging to synthesize a virtual image with a lower dose, where the difference between the contrast-enhanced and non-contrast images is smaller. Thus, CAVM gradually increases the contrast agent dosage and produces higher-dose images based on previous lower-dose ones until the final desired dose is achieved. Inspired by the resemblance between the gradual dose increase and the Chain-of-Thought approach in natural language processing, CAVM uses an autoregressive strategy with a decomposition tokenizer and a decoder. Specifically, the tokenizer is applied to obtain a more compact image representation for computational efficiency, and it decomposes the image into dose-variant and dose-invariant tokens. Then, a masked self-attention mechanism is developed for autoregression that gradually increases the dose of the virtual image based on the dose-variant tokens. Finally, the updated dose-variant tokens corresponding to the desired dose are decoded together with dose-invariant tokens to produce the final contrast-enhanced MRI.


title: Odd Dipole Screening in Radial Inflation

abstract: The inflation of an inner radial (or spherical) cavity in an amorphous solids confined in a disk (or a sphere), served as a fruitful case model for studying the effects of plastic deformations on the mechanical response. It was shown that when the field associated with Eshelby quadrupolar charges is non-uniform, the displacement field is riddled with dipole charges that screen elasticity, reminiscent of Debye monopoles screening in electrostatics. In this paper we look deeper into the screening phenomenon, taking into account the consequences of irreversibility that are associated with the breaking of Chiral symmetry. We consider the equations for the displacement field with the presence of "Odd Dipole Screening", solve them analytically and compare with numerical simulations. Suggestions how to test the theory in experiments are provided.

categories: cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech


title: Identification and classification of clusters of dipolar colloids in an external field

abstract: Colloids can acquire a dipolar interaction in the presence of an external electric field. At high field strength, the particles form strings in the field direction. However at weaker field strength, competition with isotropic interactions is expected. One means to investigate this interplay between dipolar and isotropic interactions is to consider clusters of such particles. We have therefore identified, using the GMIN basinhopping tool, a rich library of lowest energy clusters of a dipolar colloidal system where the dipole orientation is fixed with respect to the z-axis, and the dipole strength is varied for m--membered clusters of 7 <= m <=13. In the regime where the isotropic and dipolar interactions are comparable, we find elongated polytetrahedral, octahedral and spiral clusters as well as a set of non--rigid clusters which emerge close to the transition to strings. We further implement a search algorithm which identifies these minimum energy clusters in bulk systems using the topological cluster classification [J. Chem. Phys. 139 234506 (2013)]. We demonstrate this methodology with computer simulations which shows instances of these clusters as a function of dipole strength.


title: Detecting Abnormal Operations in Concentrated Solar Power Plants from Irregular Sequences of Thermal Images

abstract: Concentrated Solar Power (CSP) plants store energy by heating a storage medium with an array of mirrors that focus sunlight onto solar receivers atop a central tower. Operating at high temperatures these receivers face risks such as freezing, deformation, and corrosion, leading to operational failures, downtime, or costly equipment damage. We study the problem of anomaly detection (AD) in sequences of thermal images collected over a year from an operational CSP plant. These images are captured at irregular intervals ranging from one to five minutes throughout the day by infrared cameras mounted on solar receivers. Our goal is to develop a method to extract useful representations from high-dimensional thermal images for AD. It should be able to handle temporal features of the data, which include irregularity, temporal dependency between images and non-stationarity due to a strong daily seasonal pattern. The co-occurrence of low-temperature anomalies that resemble normal images from the start and the end of the operational cycle with high-temperature anomalies poses an additional challenge. We first evaluate state-of-the-art deep image-based AD methods, which have been shown to be effective in deriving meaningful image representations for the detection of anomalies. Then, we introduce a forecasting-based AD method that predicts future thermal images from past sequences and timestamps via a deep sequence model. This method effectively captures specific temporal data features and distinguishes between difficult-to-detect temperature-based anomalies. Our experiments demonstrate the effectiveness of our approach compared to multiple SOTA baselines across multiple evaluation metrics. We have also successfully deployed our solution on five months of unseen data, providing critical insights for the maintenance of the CSP plant. Our code is available at: https://tinyurl.com/ForecastAD


title: First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning

abstract: Multi-step reasoning is widely adopted in the community to explore the better performance of language models (LMs). We report on the systematic strategy that LMs use in this process. Our controlled experiments reveal that LMs rely more heavily on heuristics, such as lexical overlap, in the earlier stages of reasoning when more steps are required to reach an answer. Conversely, as LMs progress closer to the final answer, their reliance on heuristics decreases. This suggests that LMs track only a limited number of future steps and dynamically combine heuristic strategies with logical ones in tasks involving multi-step reasoning.


title: EERPD: Leveraging Emotion and Emotion Regulation for Improving Personality Detection

abstract: Personality is a fundamental construct in psychology, reflecting an individual's behavior, thinking, and emotional patterns. Previous researches have made some progress in personality detection, primarily by utilizing the whole text to predict personality. However, these studies generally tend to overlook psychological knowledge: they rarely apply the well-established correlations between emotion regulation and personality. Based on this, we propose a new personality detection method called EERPD. This method introduces the use of emotion regulation, a psychological concept highly correlated with personality, for personality prediction. By combining this feature with emotion features, it retrieves few-shot examples and provides process CoTs for inferring labels from text. This approach enhances the understanding of LLM for personality within text and improves the performance in personality detection. Experimental results demonstrate that EERPD significantly enhances the accuracy and robustness of personality detection, outperforming previous SOTA by 15.05/4.29 in average F1 on the two benchmark datasets.


title: Spectral properties of Cayley graphs over finite commutative rings

abstract: Let $R$ be a finite commutative ring with unity and $x$ be a non-zero element of $R$. In this paper, we calculate the spectrum and energy of the Cayley graph ${\rm Cay}(R,xR^{*})$, and also compute the energy of their compliment graph. It generalizes to Theorem 2.4 and Theorem 4.1 of https://doi.org/10.1016/j.laa.2011.03.015. Further, we characterize the commutative ring $R$ such that the Cayley graph ${\rm Cay}(R,xR^{*})$ is Ramanujan. This generalizes to Theorem 12 of https://doi.org/10.48550/arXiv.1205.5932.


title: Impact of reactor neutrino uncertainties on coherent scattering's discovery potential

abstract: Nuclear power reactors are the most intense man-made source of antineutrino's and have long been recognized as promising sources for coherent elastic neutrino-nucleus scattering (CE$\nu$NS) studies. Its observation and the spectral shape of the associated recoil spectrum is sensitive to a variety of exotic new physics scenarios and many experimental efforts are underway. Within the context of the reactor antineutrino anomaly, which initially indicated eV-scale sterile neutrino's, the modeling of the reactor antineutrino spectrum has seen a significant evolution in the last decade. Even so, uncertainties remain due to a variety of nuclear structure effects, incomplete information in nuclear databases and fission dynamics complexities. Here, we investigate the effects of these uncertainties on one's ability to accurately distinguish new physics signals. For the scenarios discussed here, we find that reactor spectral uncertainties are similar in magnitude to the projected sensitivities pointing towards a need for $\beta$ spectroscopy measurements below the inverse $\beta$ decay threshold.


title: On enforcing function diagram commutativity and anti-commutativity constraints in MatBase

abstract: Presented are algorithms for enforcing function diagram commutativity and anti-commutativity database constraints, using the database software application constraint-driven design and development methodology, in the realm of the (Elementary) Mathematical Data Model ((E)MDM). MatBase, an intelligent data and knowledge management system prototype mainly based on the (E)MDM, uses these algorithms to automatically generate corresponding code in both its versions (i.e., the MS Access and the .NET and SQL Server ones). Of course, any software developer may also use these algorithms manually. The paper also discusses the code generated to enforce two such constraints from a Geography database.


title: Mamba-based Light Field Super-Resolution with Efficient Subspace Scanning

abstract: Transformer-based methods have demonstrated impressive performance in 4D light field (LF) super-resolution by effectively modeling long-range spatial-angular correlations, but their quadratic complexity hinders the efficient processing of high resolution 4D inputs, resulting in slow inference speed and high memory cost. As a compromise, most prior work adopts a patch-based strategy, which fails to leverage the full information from the entire input LFs. The recently proposed selective state-space model, Mamba, has gained popularity for its efficient long-range sequence modeling. In this paper, we propose a Mamba-based Light Field Super-Resolution method, named MLFSR, by designing an efficient subspace scanning strategy. Specifically, we tokenize 4D LFs into subspace sequences and conduct bi-directional scanning on each subspace. Based on our scanning strategy, we then design the Mamba-based Global Interaction (MGI) module to capture global information and the local Spatial- Angular Modulator (SAM) to complement local details. Additionally, we introduce a Transformer-to-Mamba (T2M) loss to further enhance overall performance. Extensive experiments on public benchmarks demonstrate that MLFSR surpasses CNN-based models and rivals Transformer-based methods in performance while maintaining higher efficiency. With quicker inference speed and reduced memory demand, MLFSR facilitates full-image processing of high-resolution 4D LFs with enhanced performance.


title: Update on technical aspects of $B$ meson mixing at NNLO

abstract: This report summarises important technical challenges and their solutions in the calculation of the next-to-next-to-leading order QCD corrections to the width difference $\Delta\Gamma_s$ in the $B_s-\overline{B}_s$ system. We focus on the treatment of spinor structures with products of up to 22 $\gamma$ matrices by means of projection and tensor integrals. Moreover, we present an approach for the semi-numeric computation of master integrals.


title: A Simple Framework for Open-Vocabulary Zero-Shot Segmentation

abstract: Zero-shot classification capabilities naturally arise in models trained within a vision-language contrastive framework. Despite their classification prowess, these models struggle in dense tasks like zero-shot open-vocabulary segmentation. This deficiency is often attributed to the absence of localization cues in captions and the intertwined nature of the learning process, which encompasses both image representation learning and cross-modality alignment. To tackle these issues, we propose SimZSS, a Simple framework for open-vocabulary Zero-Shot Segmentation. The method is founded on two key principles: i) leveraging frozen vision-only models that exhibit spatial awareness while exclusively aligning the text encoder and ii) exploiting the discrete nature of text and linguistic knowledge to pinpoint local concepts within captions. By capitalizing on the quality of the visual representations, our method requires only image-caption pairs datasets and adapts to both small curated and large-scale noisy datasets. When trained on COCO Captions across 8 GPUs, SimZSS achieves state-of-the-art results on 7 out of 8 benchmark datasets in less than 15 minutes.