title: Predictive Probabilities Made Simple: A Fast and Accurate Method for Clinical Trial Decision Making

abstract: Bayesian predictive probabilities are commonly used for interim monitoring of clinical trials through efficacy and futility stopping rules. Despite their usefulness, calculation of predictive probabilities, particularly in pre-experiment trial simulation, can be a significant challenge. We introduce an approximation for computing predictive probabilities using either a p-value or a posterior probability that significantly reduces this burden. We show the approximation has a high degree of concordance with standard Monte Carlo imputation methods for computing predictive probabilities, and present five simulation studies comparing the approximation to the full predictive probability for a range of primary analysis strategies: dichotomous, time-to-event, and ordinal endpoints, as well as historical borrowing and longitudinal modeling. We find that this faster method of predictive probability approximation works well in all five applications, thus significantly reducing the computational burden of trial simulation, allowing more virtual trials to be simulated to achieve greater precision in estimating trial operating characteristics.


title: Note on a vector-host epidemic model with spatial structure

abstract: Magal, Webb and Wu [Nonlinearity 31, 5589-5614 (2018)] studied the model describing outbreak of Zika in Rio De Janerio, and provided a complete analysis of dynamical properties for the solutions. In this note we first use a very simple approach to prove their results, and then investigate the modified version of the model concerned in their paper, with Neumann boundary condition replaced by Dirichlet boundary condition.


title: Heat flow in a periodically forced, unpinned thermostatted chain

abstract: We prove the hydrodynamic limit for a one-dimensional harmonic chain of interacting atoms with a random flip of the momentum sign. The system is open: at the left boundary it is attached to a heat bath at temperature $T_-$, while at the right endpoint it is subject to an action of a force which reads as $\bar F + \frac 1{\sqrt n} \widetilde{\mathcal F} (n^2 t)$, where $\bar F \ge0$ and $\widetilde{\mathcal F}(t)$ is a periodic function. Here $n$ is the size of the microscopic system. Under a diffusive scaling of space-time, we prove that the empirical profiles of the two locally conserved quantities - the volume stretch and the energy - converge, as $n\to+\infty$, to the solution of a non-linear diffusive system of conservative partial differential equations with a Dirichlet type and Neumann boundary conditions on the left and the right endpoints, respectively.


title: CodeGemma: Open Code Models Based on Gemma

abstract: This paper introduces CodeGemma, a collection of specialized open code models built on top of Gemma, capable of a variety of code and natural language generation tasks. We release three model variants. CodeGemma 7B pretrained (PT) and instruction-tuned (IT) variants have remarkably resilient natural language understanding, excel in mathematical reasoning, and match code capabilities of other open models. CodeGemma 2B is a state-of-the-art code completion model designed for fast code infilling and open-ended generation in latency-sensitive settings.


title: HARE: HumAn pRiors, a key to small language model Efficiency

abstract: Human priors play a crucial role in efficiently utilizing data in deep learning. However, with the development of large language models (LLMs), there is an increasing emphasis on scaling both model size and data volume, which often diminishes the importance of human priors in data construction. Influenced by these trends, existing Small Language Models (SLMs) mainly rely on web-scraped large-scale training data, neglecting the proper incorporation of human priors. This oversight limits the training efficiency of language models in resource-constrained settings. In this paper, we propose a principle to leverage human priors for data construction. This principle emphasizes achieving high-performance SLMs by training on a concise dataset that accommodates both semantic diversity and data quality consistency, while avoiding benchmark data leakage. Following this principle, we train an SLM named HARE-1.1B. Extensive experiments on large-scale benchmark datasets demonstrate that HARE-1.1B performs favorably against state-of-the-art SLMs, validating the effectiveness of the proposed principle. Additionally, this provides new insights into efficient language model training in resource-constrained environments from the view of human priors.


title: A posteriori error estimation for an interior penalty virtual element method of Kirchhoff plates

abstract: A residual-type a posteriori error estimation is developed for an interior penalty virtual element method (IPVEM) to solve a Kirchhoff plate bending problem. The computable error estimator is incorporated. We derive the reliability and efficiency of the a posteriori error bound by constructing an enriching operator and establishing some related error estimates. As an outcome of the error estimator, an adaptive VEM is introduced by means of the mesh refinement strategy with the one-hanging-node rule. Numerical results on various benchmark tests confirm the robustness of the proposed error estimator and show the efficiency of the resulting adaptive VEM. (This is the initial version; additional content will be included in the final version.)


title: Some Bounds on the Energy of Graphs with Self-Loops regarding $\lambda_{1}$ and $\lambda_{n}$

abstract: Let $G_{S}$ be a graph with $n$ vertices obtained from a simple graph $G$ by attaching one self-loop at each vertex in $S \subseteq V(G)$. The energy of $G_{S}$ is defined by Gutman et al. as $E(G_{S})=\sum_{i=1}^{n}\left| \lambda_{i} -\frac{\sigma}{n} \right|$, where $\lambda_{1},\dots,\lambda_{n}$ are the adjacency eigenvalues of $G_{S}$ and $\sigma$ is the number of self-loops of $G_{S}$. In this paper, several upper and lower bounds of $E(G_{S})$ regarding $\lambda_{1}$ and $\lambda_{n}$ are obtained. Especially, the upper bound $E(G_{S}) \leq \sqrt{n\left(2m+\sigma-\frac{\sigma^{2}}{n}\right)}$ $(\ast)$ given by Gutman et al. is improved to the following bound \begin{align*} E(G_{S})\leq \sqrt{n\left(2m+\sigma-\frac{\sigma^{2}}{n}\right)-\frac{n}{2}\left(\left |\lambda_{1}-\frac{\sigma}{n}\right |-\left |\lambda_{n}-\frac{\sigma}{n}\right |\right)^{2}}, \end{align*} where $\left| \lambda_{1}-\frac{\sigma}{n}\right| \geq \dots \geq \left| \lambda_{n}-\frac{\sigma}{n}\right|$. Moreover, all graphs are characterized when the equality holds in Gutmans' bound $(\ast)$ by using this new bound.


title: A platform for lightweight deployment of IoT applications based on a Function-as-a-Service model

abstract: This paper presents a platform to facilitate the deployment of applications in Internet of Things (IoT) devices. The platform allows to the programmers to use a Function-as-a-Service programming paradigm that are managed and configured in a Platform-as-a-Service web tool. The tool also allows to establish interoperability between the functions of the applications. The proposed platform obtained faster and easier deployments of the applications and the resource usages of the IoT devices also were lower in relation to a deployment process based in containers of Docker.


title: Formally Certified Approximate Model Counting

abstract: Approximate model counting is the task of approximating the number of solutions to an input Boolean formula. The state-of-the-art approximate model counter for formulas in conjunctive normal form (CNF), ApproxMC, provides a scalable means of obtaining model counts with probably approximately correct (PAC)-style guarantees. Nevertheless, the validity of ApproxMC's approximation relies on a careful theoretical analysis of its randomized algorithm and the correctness of its highly optimized implementation, especially the latter's stateful interactions with an incremental CNF satisfiability solver capable of natively handling parity (XOR) constraints. We present the first certification framework for approximate model counting with formally verified guarantees on the quality of its output approximation. Our approach combines: (i) a static, once-off, formal proof of the algorithm's PAC guarantee in the Isabelle/HOL proof assistant; and (ii) dynamic, per-run, verification of ApproxMC's calls to an external CNF-XOR solver using proof certificates. We detail our general approach to establish a rigorous connection between these two parts of the verification, including our blueprint for turning the formalized, randomized algorithm into a verified proof checker, and our design of proof certificates for both ApproxMC and its internal CNF-XOR solving steps. Experimentally, we show that certificate generation adds little overhead to an approximate counter implementation, and that our certificate checker is able to fully certify $84.7\%$ of instances with generated certificates when given the same time and memory limits as the counter.


title: Polycyclic Aromatic Hydrocarbon Emission in Galaxies as seen with JWST

abstract: We present a systematic study of mid-infrared spectra of galaxies including star-forming galaxies and Active Galactic Nuclei observed with JWST MIRI-MRS and NIRSpec-IFU. We focus on the relative variations of the 3.3, 6.2, 7.7, 11.3, 12.7 and 17 micron Polycyclic Aromatic Hydrocarbon (PAH) features within spatially resolved regions of galaxies including NGC 3256, NGC 7469, VV 114, II Zw96 and NGC 5728. Using theoretical PAH models and extending our earlier work, we introduce a new PAH diagnostic involving the 17 micron PAH feature. To determine the drivers of PAH band variations in galaxies, we compare observed PAH spectral bands to predictions from theoretical PAH models. We consider extinction, dehydrogenation and PAH size and charge as possible drivers of PAH band variations. We find a surprising uniformity in PAH size distribution among the spatially resolved regions of the galaxies studied here, with no evidence for preferential destruction of the smallest grains, contrary to earlier findings. Neither extinction nor dehydrogenation play a crucial role in setting the observed PAH bands. Instead, we find that PAH charge plays a significant role in PAH inter-band variations. We find a tight relation between PAH charge and the intensity of the radiation field as traced by the [NeIII]/[NeII] maps. In agreement with recent JWST results, we find a predominance of neutral PAH molecules in the nuclei of Active Galaxies and their outflows. Ionised PAHs are the dominant population in star-forming galaxies. We discuss the implications of our findings for the use of PAHs as ISM tracers in high redshift galaxies.


title: Topological solitons in coupled Su-Schrieffer-Heeger waveguide arrays

abstract: We investigate the formation of multipole topological solitons at the edges of two and three coupled parallel Su-Schrieffer-Heeger (SSH) waveguide arrays. We show that independent variations of waveguide spacing in the unit cells (dimers) in coupled waveguide arrays result in the emergence at their edges of several topological edge states with different internal symmetry. The number of emerging edge states is determined by how many arrays are in topologically nontrivial phase. In the presence of nonlinearity, such edge states give rise to families of multipole topological edge solitons with distinct stability properties. Our results illustrate that coupling between quasi-one-dimensional topological structures substantially enriches the variety of stable topological edge solitons existing in them.


title: Primordial black hole formation during cosmic phase transitions

abstract: Primordial black holes (PBHs) may be part of the dark matter. It is shown here that PBHs form more easily during cosmic phase transitions. For approximately scale-invariant primordial curvature fluctuations the PBH mass function may therefore leave a record of the thermal history of the early Universe. In particular a peak is expected on the 1.9 solar mass scale due to the cosmic QCD transition.


title: BAMBINO-LM: (Bilingual-)Human-Inspired Continual Pretraining of BabyLM

abstract: Children from bilingual backgrounds benefit from interactions with parents and teachers to re-acquire their heritage language. In this paper, we investigate how this insight from behavioral study can be incorporated into the learning of small-scale language models. We introduce BAMBINO-LM, a continual pretraining strategy for BabyLM that uses a novel combination of alternation and PPO-based perplexity reward induced from a parent Italian model. Upon evaluation on zero-shot classification tasks for English and Italian, BAMBINO-LM improves the Italian language capability of a BabyLM baseline. Our ablation analysis demonstrates that employing both the alternation strategy and PPO-based modeling is key to this effectiveness gain. We also show that, as a side effect, the proposed method leads to similar degradation in L1 effectiveness as human children would have had in an equivalent learning scenario.


title: A parametrization of nonassociative cyclic algebras of prime degree

abstract: We determine and explicitly parametrize the isomorphism classes of nonassociative quaternion algebras over a field of characteristic different from two, as well as the isomorphism classes of nonassociative cyclic algebras of odd prime degree when the base field contains a primitive $m$th root of unity. In the course of doing so, we prove that any two such algebras can be isomorphic only if the cyclic field extension and the chosen generator of the Galois group are the same. As an application, we give a parametrization of nonassociative cyclic algebras of prime degree over a local nonarchimedean field $F$, which is entirely explicit under mild hypotheses on the residual characteristic. In particular, this gives a rich understanding of the important class of nonassociative quaternion algebras up to isomorphism over nonarchimedean local fields.


title: Minimal Self in Humanoid Robot "Alter3" Driven by Large Language Model

abstract: This paper introduces Alter3, a humanoid robot that demonstrates spontaneous motion generation through the integration of GPT-4, Large Language Model (LLM). This overcomes challenges in applying language models to direct robot control. By translating linguistic descriptions into actions, Alter3 can autonomously perform various tasks. The key aspect of humanoid robots is their ability to mimic human movement and emotions, allowing them to leverage human knowledge from language models. This raises the question of whether Alter3+GPT-4 can develop a "minimal self" with a sense of agency and ownership. This paper introduces mirror self-recognition and rubber hand illusion tests to assess Alter3's potential for a sense of self. The research suggests that even disembodied language models can develop agency when coupled with a physical robotic platform.


title: Private Approximate Query over Horizontal Data Federation

abstract: In many real-world scenarios, multiple data providers need to collaboratively perform analysis of their private data. The challenges of these applications, especially at the big data scale, are time and resource efficiency as well as end-to-end privacy with minimal loss of accuracy. Existing approaches rely primarily on cryptography, which improves privacy, but at the expense of query response time. However, current big data analytics frameworks require fast and accurate responses to large-scale queries, making cryptography-based solutions less suitable. In this work, we address the problem of combining Approximate Query Processing (AQP) and Differential Privacy (DP) in a private federated environment answering range queries on horizontally partitioned multidimensional data. We propose a new approach that considers a data distribution-aware online sampling technique to accelerate the execution of range queries and ensure end-to-end data privacy during and after analysis with minimal loss in accuracy. Through empirical evaluation, we show that our solution is able of providing up to 8 times faster processing than the basic non-secure solution while maintaining accuracy, formal privacy guarantees and resilience to learning-based attacks.


title: Cross-domain Open-world Discovery

abstract: In many real-world applications, test data may commonly exhibit categorical shifts, characterized by the emergence of novel classes, as well as distribution shifts arising from feature distributions different from the ones the model was trained on. However, existing methods either discover novel classes in the open-world setting or assume domain shifts without the ability to discover novel classes. In this work, we consider a cross-domain open-world discovery setting, where the goal is to assign samples to seen classes and discover unseen classes under a domain shift. To address this challenging problem, we present CROW, a prototype-based approach that introduces a cluster-then-match strategy enabled by a well-structured representation space of foundation models. In this way, CROW discovers novel classes by robustly matching clusters with previously seen classes, followed by fine-tuning the representation space using an objective designed for cross-domain open-world discovery. Extensive experimental results on image classification benchmark datasets demonstrate that CROW outperforms alternative baselines, achieving an 8% average performance improvement across 75 experimental settings.


title: Dredge Word, Social Media, and Webgraph Networks for Unreliable Website Classification and Identification

abstract: In an attempt to mimic the complex paths through which unreliable content spreads between search engines and social media, we explore the impact of incorporating both webgraph and large-scale social media contexts into website credibility classification and discovery systems. We further explore the usage of what we define as \textit{dredge words} on social media -- terms or phrases for which unreliable domains rank highly. Through comprehensive graph neural network ablations, we demonstrate that curriculum-based heterogeneous graph models that leverage context from both webgraphs and social media data outperform homogeneous and single-mode approaches. We further demonstrate that the incorporation of dredge words into our model strongly associates unreliable websites with social media and online commerce platforms. Finally, we show our heterogeneous model greatly outperforms competing systems in the top-k identification of unlabeled unreliable websites. We demonstrate the strong unreliability signals present in the diverse paths that users follow to uncover unreliable content, and we release a novel dataset of dredge words.


title: Evaluating the Efficacy of Open-Source LLMs in Enterprise-Specific RAG Systems: A Comparative Study of Performance and Scalability

abstract: This paper presents an analysis of open-source large language models (LLMs) and their application in Retrieval-Augmented Generation (RAG) tasks, specific for enterprise-specific data sets scraped from their websites. With the increasing reliance on LLMs in natural language processing, it is crucial to evaluate their performance, accessibility, and integration within specific organizational contexts. This study examines various open-source LLMs, explores their integration into RAG frameworks using enterprise-specific data, and assesses the performance of different open-source embeddings in enhancing the retrieval and generation process. Our findings indicate that open-source LLMs, combined with effective embedding techniques, can significantly improve the accuracy and efficiency of RAG systems, offering a viable alternative to proprietary solutions for enterprises.


title: The Incompressible Limit of the Equations of Compressible Ideal Magneto-Hydrodynamics with perfectly conducting boundary

abstract: We consider the initial-boundary value problem in the halfspace for the system of equations of ideal Magneto-Hydrodynamics with a perfectly conducting wall boundary condition. We show the convergence of solutions to the solution of the equations of incompressible MHD as the Mach number goes to zero. Because of the characteristic boundary, where a loss of regularity in the normal direction to the boundary may occur, the convergence is shown in suitable anisotropic Sobolev spaces which take account of the singular behavior at the boundary.


title: Can AI with High Reasoning Ability Replicate Human-like Decision Making in Economic Experiments?

abstract: Economic experiments offer a controlled setting for researchers to observe human decision-making and test diverse theories and hypotheses; however, substantial costs and efforts are incurred to gather many individuals as experimental participants. To address this, with the development of large language models (LLMs), some researchers have recently attempted to develop simulated economic experiments using LLMs-driven agents, called generative agents. If generative agents can replicate human-like decision-making in economic experiments, the cost problem of economic experiments can be alleviated. However, such a simulation framework has not been yet established. Considering the previous research and the current evolutionary stage of LLMs, this study focuses on the reasoning ability of generative agents as a key factor toward establishing a framework for such a new methodology. A multi-agent simulation, designed to improve the reasoning ability of generative agents through prompting methods, was developed to reproduce the result of an actual economic experiment on the ultimatum game. The results demonstrated that the higher the reasoning ability of the agents, the closer the results were to the theoretical solution than to the real experimental result. The results also suggest that setting the personas of the generative agents may be important for reproducing the results of real economic experiments. These findings are valuable for the future definition of a framework for replacing human participants with generative agents in economic experiments when LLMs are further developed.


title: DiTTo-TTS: Efficient and Scalable Zero-Shot Text-to-Speech with Diffusion Transformer

abstract: Large-scale diffusion models have shown outstanding generative abilities across multiple modalities including images, videos, and audio. However, text-to-speech (TTS) systems typically involve domain-specific modeling factors (e.g., phonemes and phoneme-level durations) to ensure precise temporal alignments between text and speech, which hinders the efficiency and scalability of diffusion models for TTS. In this work, we present an efficient and scalable Diffusion Transformer (DiT) that utilizes off-the-shelf pre-trained text and speech encoders. Our approach addresses the challenge of text-speech alignment via cross-attention mechanisms with the prediction of the total length of speech representations. To achieve this, we enhance the DiT architecture to suit TTS and improve the alignment by incorporating semantic guidance into the latent space of speech. We scale the training dataset and the model size to 82K hours and 790M parameters, respectively. Our extensive experiments demonstrate that the large-scale diffusion model for TTS without domain-specific modeling not only simplifies the training pipeline but also yields superior or comparable zero-shot performance to state-of-the-art TTS models in terms of naturalness, intelligibility, and speaker similarity. Our speech samples are available at https://ditto-tts.github.io.


title: Binary population synthesis of the Galactic canonical pulsar population

abstract: Pulsars are rapidly rotating neutron stars that emit radiation across the electromagnetic spectrum, from radio to gamma-rays. We use the rapid binary population synthesis suite COMPAS to model the Galactic population of canonical pulsars. We account for both radio and gamma-ray selection effects, as well as the motion of pulsars in the Galactic potential due to natal kicks. We compare our models to the catalogs of pulsars detected in the radio, and those detected in gamma-rays by Fermi, and find broad agreement with both populations. We reproduce the observed ratio of radio-loud to radio-quiet gamma-ray pulsars. We further examine the possibility of low spin-down luminosity (Edot) pulsars emitting weak, unpulsed gamma-ray emission and attempt to match this with recent stacking results. We demonstrate that the apparent correlation between the latitude of a pulsar and its Edot arises due to natal kicks imparted to pulsars at birth, assuming that all pulsars are born in the Galactic disk.


title: Fusion Makes Perfection: An Efficient Multi-Grained Matching Approach for Zero-Shot Relation Extraction

abstract: Predicting unseen relations that cannot be observed during the training phase is a challenging task in relation extraction. Previous works have made progress by matching the semantics between input instances and label descriptions. However, fine-grained matching often requires laborious manual annotation, and rich interactions between instances and label descriptions come with significant computational overhead. In this work, we propose an efficient multi-grained matching approach that uses virtual entity matching to reduce manual annotation cost, and fuses coarse-grained recall and fine-grained classification for rich interactions with guaranteed inference speed. Experimental results show that our approach outperforms the previous State Of The Art (SOTA) methods, and achieves a balance between inference efficiency and prediction accuracy in zero-shot relation extraction tasks. Our code is available at https://github.com/longls777/EMMA.


title: A Simple and Effective $L_2$ Norm-Based Strategy for KV Cache Compression

abstract: The deployment of large language models (LLMs) is often hindered by the extensive memory requirements of the Key-Value (KV) cache, especially as context lengths increase. Existing approaches to reduce the KV cache size involve either fine-tuning the model to learn a compression strategy or leveraging attention scores to reduce the sequence length. We analyse the attention distributions in decoder-only Transformers-based models and observe that attention allocation patterns stay consistent across most layers. Surprisingly, we find a clear correlation between the $L_2$ and the attention scores over cached KV pairs, where a low $L_2$ of a key embedding usually leads to a high attention score during decoding. This finding indicates that the influence of a KV pair is potentially determined by the key embedding itself before being queried. Based on this observation, we compress the KV cache based on the $L_2$ of key embeddings. Our experimental results show that this simple strategy can reduce the KV cache size by 50% on language modelling and needle-in-a-haystack tasks and 90% on passkey retrieval tasks without losing accuracy.


title: Super(ficial)-alignment: Strong Models May Deceive Weak Models in Weak-to-Strong Generalization

abstract: Superalignment, where humans are weak supervisors of superhuman models, has become an important and widely discussed issue in the current era of rapid development of Large Language Models (LLMs). The recent work preliminarily studies this problem by using weak models to supervise strong models. It discovers that weakly supervised strong students can consistently outperform weak teachers towards the alignment target, leading to a weak-to-strong generalization phenomenon. However, we are concerned that behind such a promising phenomenon, whether there exists an issue of weak-to-strong deception, where strong models may deceive weak models by exhibiting well-aligned in areas known to weak models but producing misaligned behaviors in cases weak models do not know. We then take an initial step towards exploring this security issue in a specific but realistic multi-objective alignment case, where there may be some alignment targets conflicting with each other (e.g., helpfulness v.s. harmlessness). Such a conflict is likely to cause strong models to deceive weak models in one alignment dimension to gain high reward in other alignment dimension. Our experiments on both the reward modeling task and the preference optimization scenario indicate: (1) the weak-to-strong deception exists; (2) the deception phenomenon may intensify as the capability gap between weak and strong models increases. We also discuss potential solutions and find bootstrapping with an intermediate model can mitigate the deception to some extent. Our work highlights the urgent need to pay more attention to the true reliability of superalignment.


title: AnyTrans: Translate AnyText in the Image with Large Scale Models

abstract: This paper introduces AnyTrans, an all-encompassing framework for the task-Translate AnyText in the Image (TATI), which includes multilingual text translation and text fusion within images. Our framework leverages the strengths of large-scale models, such as Large Language Models (LLMs) and text-guided diffusion models, to incorporate contextual cues from both textual and visual elements during translation. The few-shot learning capability of LLMs allows for the translation of fragmented texts by considering the overall context. Meanwhile, the advanced inpainting and editing abilities of diffusion models make it possible to fuse translated text seamlessly into the original image while preserving its style and realism. Additionally, our framework can be constructed entirely using open-source models and requires no training, making it highly accessible and easily expandable. To encourage advancement in the TATI task, we have meticulously compiled a test dataset called MTIT6, which consists of multilingual text image translation data from six language pairs.


title: Serendipitous Catch of a Giant Jellyfish: an Ionized Nebula around 3C 275.1 with 170 kpc Long Tails

abstract: 3C 275.1 is a blue quasar at $z=0.55522$, hosting powerful outflows and residing in a complex environment. We present a serendipitously detected giant nebula surrounding 3C 275.1, which shows morphological features resembling those of objects known as "jellyfish galaxy", with extremely long tails of ionized gas extending to 170 kpc in projection. We analyze its optical spectra taken by the MUSE on the VLT. The brighter part of this giant nebula exceeds 100 kpc, whose rotation curve does not flatten out, is very different from those of normal spiral galaxies. This system shares some characteristics common to those formed via ram pressure stripping (RPS), yet its long narrow tails and higher ionization are unusual compared to known tails in jellyfish galaxies, not fully consistent with a simple RPS scenario. Our photoionization simulation and the inferred short recombination timescale both suggest that besides the quasar 3C 275.1, an extra source of ionization is necessary to keep the gas ionized at such distance from the nucleus, which could be related to RPS, tidal interaction or AGN outflow, providing new evidence of active dynamical interaction of a galaxy with the intracluster medium.


title: DB-GPT-Hub: Towards Open Benchmarking Text-to-SQL Empowered by Large Language Models

abstract: Large language models (LLMs) becomes the dominant paradigm for the challenging task of text-to-SQL. LLM-empowered text-to-SQL methods are typically categorized into prompting-based and tuning approaches. Compared to prompting-based methods, benchmarking fine-tuned LLMs for text-to-SQL is important yet under-explored, partially attributed to the prohibitively high computational cost. In this paper, we present DB-GPT-Hub, an open benchmark suite for LLM-empowered text-to-SQL, which primarily focuses on tuning LLMs at large scales. The proposed benchmark consists of: 1. a standardized and comprehensive evaluation of text-to-SQL tasks by fine-tuning medium to large-sized open LLMs; 2. a modularized and easy-to-extend codebase with mainstream LLMs and experimental scenarios supported, which prioritizes fine-tuning methods but can be easily extended to prompt-based setting. Our work investigates the potential gains and the performance boundaries of tuning approaches, compared to prompting approaches and explores optimal solutions tailored to specific scenarios. We hope DB-GPT-Hub, along with these findings, enables further research and broad applications that would otherwise be difficult owing to the absence of a dedicated open benchmark. The project code has been released at https://github.com/eosphoros-ai/DB-GPT-Hub.


title: Investigating the excitation function of HBT radii for L\'evy-stable sources

abstract: One of the main goals of today's heavy-ion physics research is to explore the phase diagram of strongly interacting matter and search for signs of the possible critical endpoint on the QCD phase diagram. Femtoscopy is among the important tools used for this endeavor; there have been indications that combinations of femtoscopic radii parameters (referred to as HBT radii for identical boson pairs) can be related to the system's emission duration. An apparent non-monotonic behavior in their excitation function thus might signal the location of the critical point. In this paper, we show that conclusions drawn from the results obtained with a Gaussian approximation for the pion source shape might be altered if one utilizes a more general L\'evy-stable source description. We find that the characteristic size of the pion source function is strongly connected to the shape of the source and its possible power-law behavior. Taking this into account properly changes the observed behavior of the excitation function.


title: Decomposition of commutative semisimple finite group algebras using the Combinatorial Nullstellensatz

abstract: Consider the finite field $\mathbb{F}_q$, and let $G$ be a finite abelian group with order coprime to $q$. We present a full decomposition of the semisimple group algebra $\mathbb{F}_q[G]$. This was achieved by studying algebraic properties of coordinate rings of the form $\mathbb{F}_q[X_1, \ldots ,X_n] / ( X_1^{m_1} - 1, \ldots, X_n^{m_n} - 1 )$, which omits the use of finding primitive idempotents and character theory. We discuss some properties of this decomposition, like providing a formula for the number of simple components. Moreover, we discuss some applications in cryptography, and the classification of all irreducible representations of $G$ over $\mathbb{F}_q$ up to isomorphism.


title: Analysing the Behaviour of Tree-Based Neural Networks in Regression Tasks

abstract: The landscape of deep learning has vastly expanded the frontiers of source code analysis, particularly through the utilization of structural representations such as Abstract Syntax Trees (ASTs). While these methodologies have demonstrated effectiveness in classification tasks, their efficacy in regression applications, such as execution time prediction from source code, remains underexplored. This paper endeavours to decode the behaviour of tree-based neural network models in the context of such regression challenges. We extend the application of established models--tree-based Convolutional Neural Networks (CNNs), Code2Vec, and Transformer-based methods--to predict the execution time of source code by parsing it to an AST. Our comparative analysis reveals that while these models are benchmarks in code representation, they exhibit limitations when tasked with regression. To address these deficiencies, we propose a novel dual-transformer approach that operates on both source code tokens and AST representations, employing cross-attention mechanisms to enhance interpretability between the two domains. Furthermore, we explore the adaptation of Graph Neural Networks (GNNs) to this tree-based problem, theorizing the inherent compatibility due to the graphical nature of ASTs. Empirical evaluations on real-world datasets showcase that our dual-transformer model outperforms all other tree-based neural networks and the GNN-based models. Moreover, our proposed dual transformer demonstrates remarkable adaptability and robust performance across diverse datasets.


title: Search for Majorana Neutrinos with the Complete KamLAND-Zen Dataset

abstract: We present a search for neutrinoless double-beta ($0\nu\beta\beta$) decay of $^{136}$Xe using the full KamLAND-Zen 800 dataset with 745 kg of enriched xenon, corresponding to an exposure of $2.097$ ton yr of $^{136}$Xe. This updated search benefits from a more than twofold increase in exposure, recovery of photo-sensor gain, and reduced background from muon-induced spallation of xenon. Combining with the search in the previous KamLAND-Zen phase, we obtain a lower limit for the $0\nu\beta\beta$ decay half-life of $T_{1/2}^{0\nu} > 3.8 \times 10^{26}$ yr at 90% C.L., a factor of 1.7 improvement over the previous limit. The corresponding upper limits on the effective Majorana neutrino mass are in the range 28-122 meV using phenomenological nuclear matrix element calculations.


title: GPT-Powered Elicitation Interview Script Generator for Requirements Engineering Training

abstract: Elicitation interviews are the most common requirements elicitation technique, and proficiency in conducting these interviews is crucial for requirements elicitation. Traditional training methods, typically limited to textbook learning, may not sufficiently address the practical complexities of interviewing techniques. Practical training with various interview scenarios is important for understanding how to apply theoretical knowledge in real-world contexts. However, there is a shortage of educational interview material, as creating interview scripts requires both technical expertise and creativity. To address this issue, we develop a specialized GPT agent for auto-generating interview scripts. The GPT agent is equipped with a dedicated knowledge base tailored to the guidelines and best practices of requirements elicitation interview procedures. We employ a prompt chaining approach to mitigate the output length constraint of GPT to be able to generate thorough and detailed interview scripts. This involves dividing the interview into sections and crafting distinct prompts for each, allowing for the generation of complete content for each section. The generated scripts are assessed through standard natural language generation evaluation metrics and an expert judgment study, confirming their applicability in requirements engineering training.


title: Liouville-type theorems for fully nonlinear elliptic and parabolic equations with boundary degeneracy

abstract: We study a general class of fully nonlinear boundary-degenerate elliptic equations that admit a trivial solution. Although no boundary conditions are posed together with the equations, we show that the operator degeneracy actually generates an implicit boundary condition. Under appropriate assumptions on the degeneracy rate and regularity of the operator, we then prove that there exist no bounded solutions other than the trivial one. Our method is based on the arguments for uniqueness of viscosity solutions to state constraint problems for Hamilton-Jacobi equations. We obtain similar results for fully nonlinear degenerate parabolic equations. Several concrete examples of the equations that satisfy the assumptions are also given.


title: SWCF-Net: Similarity-weighted Convolution and Local-global Fusion for Efficient Large-scale Point Cloud Semantic Segmentation

abstract: Large-scale point cloud consists of a multitude of individual objects, thereby encompassing rich structural and underlying semantic contextual information, resulting in a challenging problem in efficiently segmenting a point cloud. Most existing researches mainly focus on capturing intricate local features without giving due consideration to global ones, thus failing to leverage semantic context. In this paper, we propose a Similarity-Weighted Convolution and local-global Fusion Network, named SWCF-Net, which takes into account both local and global features. We propose a Similarity-Weighted Convolution (SWConv) to effectively extract local features, where similarity weights are incorporated into the convolution operation to enhance the generalization capabilities. Then, we employ a downsampling operation on the K and V channels within the attention module, thereby reducing the quadratic complexity to linear, enabling the Transformer to deal with large-scale point clouds. At last, orthogonal components are extracted in the global features and then aggregated with local features, thereby eliminating redundant information between local and global features and consequently promoting efficiency. We evaluate SWCF-Net on large-scale outdoor datasets SemanticKITTI and Toronto3D. Our experimental results demonstrate the effectiveness of the proposed network. Our method achieves a competitive result with less computational cost, and is able to handle large-scale point clouds efficiently.


title: Layer-dependent electromechanical response in twisted graphene moir\'e superlattices

abstract: The coupling of mechanical deformation and electrical stimuli at the nanoscale has been a subject of intense investigation in the realm of materials science. Recently, twisted van der Waals (vdW) materials have emerged as a platform to explore exotic quantum states. These states are intimately tied to the formation of moir\'e superlattices, which can be visualized directly exploiting the electromechanical response. However, the origin of the response, even in twisted bilayer graphene (tBLG), remains unsettled. Here, employing lateral piezoresponse force microscopy (LPFM), we investigate the electromechanical responses of marginally twisted graphene moir\'e superlattices with different layer thicknesses. We observe distinct LPFM amplitudes and spatial profiles in tBLG and twisted monolayer-bilayer graphene (tMBG), exhibiting effective in-plane piezoelectric coefficients of 0.05 pm/V and 0.35 pm/V, respectively. Force tuning experiments further underscore a marked divergence in their responses. The contrasting behaviors suggest different electromechanical couplings in tBLG and tMBG. In tBLG, the response near the domain walls is attributed to the flexoelectric effect, while in tMBG, the behaviors can be comprehended within the context of piezoelectric effect. Our results not only provide insights to electromechanical and corporative effects in twisted vdW materials with different stacking symmetries, but may also show their potential for engineering them at the nanoscale.


title: PrAViC: Probabilistic Adaptation Framework for Real-Time Video Classification

abstract: Video processing is generally divided into two main categories: processing of the entire video, which typically yields optimal classification outcomes, and real-time processing, where the objective is to make a decision as promptly as possible. The latter is often driven by the need to identify rapidly potential critical or dangerous situations. These could include machine failure, traffic accidents, heart problems, or dangerous behavior. Although the models dedicated to the processing of entire videos are typically well-defined and clearly presented in the literature, this is not the case for online processing, where a plethora of hand-devised methods exist. To address this, we present \our{}, a novel, unified, and theoretically-based adaptation framework for dealing with the online classification problem for video data. The initial phase of our study is to establish a robust mathematical foundation for the theory of classification of sequential data, with the potential to make a decision at an early stage. This allows us to construct a natural function that encourages the model to return an outcome much faster. The subsequent phase is to demonstrate a straightforward and readily implementable method for adapting offline models to online and recurrent operations. Finally, by comparing the proposed approach to the non-online state-of-the-art baseline, it is demonstrated that the use of \our{} encourages the network to make earlier classification decisions without compromising accuracy.


title: Bloch sphere representation for Rabi oscillation driven by Rashba field in the two-dimensional harmonic confinement

abstract: We studied the dynamical properties of Rabi oscillations driven by an alternating Rashba field applied to a two-dimensional (2D) harmonic confinement system. We solve the time-dependent (TD) Schr\"{o}dinger equation numerically and rewrite the resulting TD wavefunction onto the Bloch sphere (BS) using two BS parameters of the zenith ($\theta_B$) and azimuthal ($\phi_B$) angles, extracting the phase information $\phi_B$ as well as the mixing ratio $\theta_B$ between the two BS-pole states. We employed a two-state rotating wave (TSRW) approach and studied the fundamental features of $\theta_B$ and $\phi_B$ over time. The TSRW approach reveals a triangular wave formation in $\theta_B$. Moreover, at each apex of the triangular wave, the TD wavefunction passes through the BS pole, and the state is completely replaced by the opposite spin state. The TSRW approach also elucidates a linear change in $\phi_B$. The slope of $\phi_B$ vs. time is equal to the difference between the dynamical terms, leading to a confinement potential in the harmonic system. The TSRW approach further demonstrates a jump in the phase difference by $\pi$ when the wavefunction passes through the BS pole. The alternating Rashba field causes multiple successive Rabi transitions in the 2D harmonic system. We then introduce the effective BS (EBS) and transform these complicated transitions into an equivalent "single" Rabi one. Consequently, the EBS parameters $\theta_B^{\mathrm{eff}}$ and $\phi_B^{\mathrm{eff}}$ exhibit mixing and phase difference between two spin states $\alpha$ and $\beta$, leading to a deep understanding of the TD features of multi-Rabi oscillations. Furthermore, the combination of the BS representation with the TSRW approach successfully reveals the dynamical properties of the Rabi oscillation, even beyond the TSRW approximation.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cs.CE physics.comp-ph quant-ph


title: Solving the Inverse Problem of Electrocardiography for Cardiac Digital Twins: A Survey

abstract: Cardiac digital twins are personalized virtual representations used to understand complex heart mechanisms. Solving the ECG inverse problem is crucial for accurate virtual heart modelling, enabling the derivation of internal electrical activity information from recorded surface potentials. Despite challenges from cardiac complexity, noisy ECG data, and computational efficiency, recent advancements hold significant promise for enhancing virtual heart modelling, ultimately advancing precision medicine in cardiology. This paper aims to provide a comprehensive review of the methods of solving ECG inverse problem, the validation strategies, the clinical applications, and future perspectives. For the computing methodologies, we broadly classify state-of-the-art approaches into two categories: deterministic and probabilistic methods, including conventional and deep learning-based techniques. Integrating physics laws with deep learning models holds promise, but challenges such as capturing dynamic electrophysiology accurately, accessing accurate domain knowledge, and quantifying prediction uncertainty persist. Integrating models into clinical workflows while ensuring interpretability and usability for healthcare professionals is essential. Overcoming these challenges will drive further research in cardiac digital twins.


title: Approximate Angular Domain Expression for Near-Field XL-MIMO Channel

abstract: As Extremely Large-Scale Multiple-Input-Multiple-Output (XL-MIMO) technology advances and frequency band rises, the near-field effects in communication are intensifying. A concise and accurate near-field XL-MIMO channel model serves as the cornerstone for investigating the near-field effects. However, existing angular domain XL-MIMO channel models under near-field conditions require non-closed-form wave-number domain integrals for computation, which is complicated. To obtain a more succinct channel model, this paper introduces a closed-form approximate expression based on the principle of stationary phase. It was subsequently shown that when the scatterer distance is larger than the array aperture, the closed-form model can be further simplified as a trapezoidal spectrum. We validate the accuracy of the proposed approximation through simulations of power angular spectrum similarity. The results indicate that the proposed approximation can accurately approximate the near-field angular domain channel within the effective Rayleigh distance.


title: Theory of charge-6e condensed phase in Kagome lattice superconductors

abstract: Recently the experimental evidence of a charge-$6e$ condensed phase in the kagome superconductor $\mathrm{AV_3Sb_5}$ (J. Ge, et. al., Phys. Rev. X 14, 021025 (2024)) has sparked significant interest. At a phenomenological level, the order parameter of the $3Q$ pair-density-wave state can form either a triangular lattice or a kagome lattice, in which the vortices and antivortices locate at the center of the plaquettes. When the phase of a Cooper pair is denoted as a XY spin, the effective model for the phase fluctuation is characterized by the frustrated XY spin model on a triangular lattice with the nearest neighbour antiferromagnetic coupling or a kagome lattice with both nearest neighbour and next-nearest neighbor antiferromagnetic couplings. While both models produce $\frac{1}{3}$ fractional vortex excitations, which arise as the kinks on the domain walls in the low-energy excitations, the triangular lattice model has a much larger domain wall energy than the vortex interaction energy, so the frustrated kagome lattice model becomes unique. By developing a state-of-the-art numerical tensor network method, we rigorously solve this effective model at finite temperatures and confirm the presence of a vestigial phase with $\frac{1}{3}$ vortex-antivortex paired phase in the absence of phase coherence of Cooper pairs, which is dual to the charge-$6e$ condensed phase. Our theory provides a potential explanation for the vestigial charge-$6e$ magneto-resistant oscillations observed in the recent experimental work.


title: Quantum interpretation of lattice paths

abstract: In the 1980s, Viennot developed a combinatorial approach to studying mixed moments of orthogonal polynomials using Motzkin paths. Recently, an alternative combinatorial model for these mixed moments based on lecture hall paths was introduced in arXiv:2311.12761. For sequences of orthogonal polynomials, we establish here a bijection between the Motzin paths and the lecture hall paths via a novel symmetric lecture hall graph. We use this connection to calculate the moments of the position operator in various separable quantum systems, such as the quantum harmonic oscillator and the hydrogen atom, showing that they may be expressed as generating functions of Motzkin paths and symmetric lecture hall paths, thereby providing a quantum interpretation for these paths. Our approach can be extended to other quantum systems where the wavefunctions are expressed in terms of orthogonal polynomials.


title: Hermitian-Einstein equations on noncompact manifolds

abstract: This paper first investigates solvability of Hermitian-Einstein equation on a Hermitian holomorphic vector bundle on the complement of an arbitrary closed subset in a compact complex manifold. The uniqueness of Hermitian-Einstein metrics on a Zariski open subset in a compact K\"{a}hler manifold was only figured out by Takuro Mochizuki recently, the second part of this paper gives an affirmative answer to a question proposed by Takuro Mochizuki and based on which it leads to an alternative approach to the unique issue. We also prove stability from solvability of Hermitian-Einstein equation, which together with the classical existence result of Carlos Simpson in particular establish a Kobayashi-Hitchin bijective correspondence. The argument is also effective for uniqueness result and Kobayashi-Hitchin bijective correspondence on $\mathbb{C}$, as well as on non-K\"{a}hler and semi-stable contexts.


title: The Evolution of Language in Social Media Comments

abstract: Understanding the impact of digital platforms on user behavior presents foundational challenges, including issues related to polarization, misinformation dynamics, and variation in news consumption. Comparative analyses across platforms and over different years can provide critical insights into these phenomena. This study investigates the linguistic characteristics of user comments over 34 years, focusing on their complexity and temporal shifts. Utilizing a dataset of approximately 300 million English comments from eight diverse platforms and topics, we examine the vocabulary size and linguistic richness of user communications and their evolution over time. Our findings reveal consistent patterns of complexity across social media platforms and topics, characterized by a nearly universal reduction in text length, diminished lexical richness, but decreased repetitiveness. Despite these trends, users consistently introduce new words into their comments at a nearly constant rate. This analysis underscores that platforms only partially influence the complexity of user comments. Instead, it reflects a broader, universal pattern of human behaviour, suggesting intrinsic linguistic tendencies of users when interacting online.


title: MedThink: Inducing Medical Large-scale Visual Language Models to Hallucinate Less by Thinking More

abstract: When Large Vision Language Models (LVLMs) are applied to multimodal medical generative tasks, they suffer from significant model hallucination issues. This severely impairs the model's generative accuracy, making it challenging for LVLMs to be implemented in real-world medical scenarios to assist doctors in diagnosis. Enhancing the training data for downstream medical generative tasks is an effective way to address model hallucination. Moreover, the limited availability of training data in the medical field and privacy concerns greatly hinder the model's accuracy and generalization capabilities. In this paper, we introduce a method that mimics human cognitive processes to construct fine-grained instruction pairs and apply the concept of chain-of-thought (CoT) from inference scenarios to training scenarios, thereby proposing a method called MedThink. Our experiments on various LVLMs demonstrate that our novel data construction method tailored for the medical domain significantly improves the model's performance in medical image report generation tasks and substantially mitigates the hallucinations. All resources of this work will be released soon.


title: Attention-Based Deep Reinforcement Learning for Qubit Allocation in Modular Quantum Architectures

abstract: Modular, distributed and multi-core architectures are currently considered a promising approach for scalability of quantum computing systems. The integration of multiple Quantum Processing Units necessitates classical and quantum-coherent communication, introducing challenges related to noise and quantum decoherence in quantum state transfers between cores. Optimizing communication becomes imperative, and the compilation and mapping of quantum circuits onto physical qubits must minimize state transfers while adhering to architectural constraints. The compilation process, inherently an NP-hard problem, demands extensive search times even with a small number of qubits to be solved to optimality. To address this challenge efficiently, we advocate for the utilization of heuristic mappers that can rapidly generate solutions. In this work, we propose a novel approach employing Deep Reinforcement Learning (DRL) methods to learn these heuristics for a specific multi-core architecture. Our DRL agent incorporates a Transformer encoder and Graph Neural Networks. It encodes quantum circuits using self-attention mechanisms and produce outputs through an attention-based pointer mechanism that directly signifies the probability of matching logical qubits with physical cores. This enables the selection of optimal cores for logical qubits efficiently. Experimental evaluations show that the proposed method can outperform baseline approaches in terms of reducing inter-core communications and minimizing online time-to-solution. This research contributes to the advancement of scalable quantum computing systems by introducing a novel learning-based heuristic approach for efficient quantum circuit compilation and mapping.


title: Matrix Concentration Inequalities and Free Probability II. Two-sided Bounds and Applications

abstract: The first paper in this series introduced a new family of nonasymptotic matrix concentration inequalities that sharply capture the spectral properties of very general Gaussian (as well as non-Gaussian) random matrices in terms of an associated noncommutative model. These methods achieved matching upper and lower bounds for smooth spectral statistics, but only provided upper bounds for the spectral edges. Here we obtain matching lower bounds for the spectral edges, completing the theory initiated in the first paper. The resulting two-sided bounds enable the study of applications that require an exact determination of the spectral edges to leading order, which is fundamentally beyond the reach of classical matrix concentration inequalities. To illustrate their utility, we undertake a detailed study of phase transition phenomena for spectral outliers of nonhomogeneous random matrices.


title: Sensitivity analysis of colored noise-driven interacting particle systems

abstract: We propose an efficient sensitivity analysis method for a wide class of colored noise-driven interacting particle systems (IPS). Our method is based on unperturbed simulations and significantly extends the Malliavin weight sampling method proposed by Szamel (EPL, 117 (2017) 50010) for evaluating sensitivities such as linear response functions of IPS driven by simple Ornstein-Uhlenbeck processes. We show that the sensitivity index depends not only on two effective parameters that characterize the variance and correlation time of the noise, but also on the noise spectrum. In the case of a single particle in a harmonic potential, we obtain exact analytical formulas for two types of linear response functions. By applying our method to a system of many particles interacting via a repulsive screened Coulomb potential, we compute the mobility and effective temperature of the system. Our results show that the system dynamics depend, in a nontrivial way, on the noise spectrum.


title: Adaptive Reinforcement Learning Planning: Harnessing Large Language Models for Complex Information Extraction

abstract: Existing research on large language models (LLMs) shows that they can solve information extraction tasks through multi-step planning. However, their extraction behavior on complex sentences and tasks is unstable, emerging issues such as false positives and missing elements. We observe that decomposing complex extraction tasks and extracting them step by step can effectively improve LLMs' performance, and the extraction orders of entities significantly affect the final results of LLMs. This paper proposes a two-stage multi-step method for LLM-based information extraction and adopts the RL framework to execute the multi-step planning. We regard sequential extraction as a Markov decision process, build an LLM-based extraction environment, design a decision module to adaptively provide the optimal order for sequential entity extraction on different sentences, and utilize the DDQN algorithm to train the decision model. We also design the rewards and evaluation metrics suitable for the extraction results of LLMs. We conduct extensive experiments on multiple public datasets to demonstrate the effectiveness of our method in improving the information extraction capabilities of LLMs.


title: Calibrating Where It Matters: Constrained Temperature Scaling

abstract: We consider calibration of convolutional classifiers for diagnostic decision making. Clinical decision makers can use calibrated classifiers to minimise expected costs given their own cost function. Such functions are usually unknown at training time. If minimising expected costs is the primary aim, algorithms should focus on tuning calibration in regions of probability simplex likely to effect decisions. We give an example, modifying temperature scaling calibration, and demonstrate improved calibration where it matters using convnets trained to classify dermoscopy images.


title: Complementable Operators and their Schur Complements

abstract: In this paper, we characterize complementable operators and provide more precise expressions for the Schur complement of these operators using a single Douglas solution. We demonstrate the existence of subspaces where the given operator is invariably complementable. Additionally, we investigate the range-Hermitian property of these operators.


title: Adversaries With Incentives: A Strategic Alternative to Adversarial Robustness

abstract: Adversarial training aims to defend against *adversaries*: malicious opponents whose sole aim is to harm predictive performance in any way possible - a rather harsh perspective, which we assert results in unnecessarily conservative models. Instead, we propose to model opponents as simply pursuing their own goals, rather than working directly against the classifier. Employing tools from strategic modeling, our approach uses knowledge or beliefs regarding the opponent's possible incentives as inductive bias for learning. Our method of *strategic training* is designed to defend against opponents within an *incentive uncertainty set*: this resorts to adversarial learning when the set is maximal, but offers potential gains when it can be appropriately reduced. We conduct a series of experiments that show how even mild knowledge regarding the adversary's incentives can be useful, and that the degree of potential gains depends on how incentives relate to the structure of the learning task.


title: Measurement of $J/\psi$ and $\psi\left(2S\right)$ production in $p+p$ and $p+d$ interactions at 120 GeV

abstract: We report the $p+p$ and $p+d$ differential cross sections measured in the SeaQuest experiment for $J/\psi$ and $\psi\left(2S\right)$ production at 120 GeV beam energy covering the forward $x$-Feynman ($x_F$) range of $0.5 < x_F <0.9$. The measured cross sections are in good agreement with theoretical calculations based on the nonrelativistic QCD (NRQCD) using the long-distance matrix elements deduced from a recent global analysis of proton- and pion-induced charmonium production data. The $\sigma_{\psi\left(2S\right)} / \sigma_{J/\psi}$ cross section ratios are found to increase as $x_F$ increases, indicating that the $q \bar{q}$ annihilation process has larger contributions in the $\psi\left(2S\right)$ production than the $J/\psi$ production. The $\sigma_{pd}/2\sigma_{pp}$ cross section ratios are observed to be significantly different for the Drell-Yan process and $J/\psi$ production, reflecting their different production mechanisms. We find that the $\sigma_{pd}/2\sigma_{pp}$ ratios for $J/\psi$ production at the forward $x_F$ region are sensitive to the $\bar{d}/ \bar{u}$ flavor asymmetry of the proton sea, analogous to the Drell-Yan process. The transverse momentum ($p_T$) distributions for $J/\psi$ and $\psi\left(2S\right)$ production are also presented and compared with data collected at higher center-of-mass energies.


title: TRACE the Evidence: Constructing Knowledge-Grounded Reasoning Chains for Retrieval-Augmented Generation

abstract: Retrieval-augmented generation (RAG) offers an effective approach for addressing question answering (QA) tasks. However, the imperfections of the retrievers in RAG models often result in the retrieval of irrelevant information, which could introduce noises and degrade the performance, especially when handling multi-hop questions that require multiple steps of reasoning. To enhance the multi-hop reasoning ability of RAG models, we propose TRACE. TRACE constructs knowledge-grounded reasoning chains, which are a series of logically connected knowledge triples, to identify and integrate supporting evidence from the retrieved documents for answering questions. Specifically, TRACE employs a KG Generator to create a knowledge graph (KG) from the retrieved documents, and then uses an Autoregressive Reasoning Chain Constructor to build reasoning chains. Experimental results on three multi-hop QA datasets show that TRACE achieves an average performance improvement of up to 14.03% compared to using all the retrieved documents. Moreover, the results indicate that using reasoning chains as context, rather than the entire documents, is often sufficient to correctly answer questions.


title: Sparse approximations for contact mechanics

abstract: Low-rank model order reduction strategies for contact mechanics show limited dimensionality reduction due to linear inseparability of contact pressure field. Therefore, a dictionary based strategy is explored for creating efficient models for frictionless non-adhesive contact. A large dictionary of contact pressure trajectories is generated using a high-fidelity finite element model, while approximating the online query with a small number of dictionary entries. This is achieved by inducing sparsity in the approximation. Accuracy, computational effort and limitations of such methods are demonstrated on few numerical examples.


title: MusicScore: A Dataset for Music Score Modeling and Generation

abstract: Music scores are written representations of music and contain rich information about musical components. The visual information on music scores includes notes, rests, staff lines, clefs, dynamics, and articulations. This visual information in music scores contains more semantic information than audio and symbolic representations of music. Previous music score datasets have limited sizes and are mainly designed for optical music recognition (OMR). There is a lack of research on creating a large-scale benchmark dataset for music modeling and generation. In this work, we propose MusicScore, a large-scale music score dataset collected and processed from the International Music Score Library Project (IMSLP). MusicScore consists of image-text pairs, where the image is a page of a music score and the text is the metadata of the music. The metadata of MusicScore is extracted from the general information section of the IMSLP pages. The metadata includes rich information about the composer, instrument, piece style, and genre of the music pieces. MusicScore is curated into small, medium, and large scales of 400, 14k, and 200k image-text pairs with varying diversity, respectively. We build a score generation system based on a UNet diffusion model to generate visually readable music scores conditioned on text descriptions to benchmark the MusicScore dataset for music score generation. MusicScore is released to the public at https://huggingface.co/datasets/ZheqiDAI/MusicScore.


title: Just How Flexible are Neural Networks in Practice?

abstract: It is widely believed that a neural network can fit a training set containing at least as many samples as it has parameters, underpinning notions of overparameterized and underparameterized models. In practice, however, we only find solutions accessible via our training procedure, including the optimizer and regularizers, limiting flexibility. Moreover, the exact parameterization of the function class, built into an architecture, shapes its loss surface and impacts the minima we find. In this work, we examine the ability of neural networks to fit data in practice. Our findings indicate that: (1) standard optimizers find minima where the model can only fit training sets with significantly fewer samples than it has parameters; (2) convolutional networks are more parameter-efficient than MLPs and ViTs, even on randomly labeled data; (3) while stochastic training is thought to have a regularizing effect, SGD actually finds minima that fit more training data than full-batch gradient descent; (4) the difference in capacity to fit correctly labeled and incorrectly labeled samples can be predictive of generalization; (5) ReLU activation functions result in finding minima that fit more data despite being designed to avoid vanishing and exploding gradients in deep architectures.


title: Automating Easy Read Text Segmentation

abstract: Easy Read text is one of the main forms of access to information for people with reading difficulties. One of the key characteristics of this type of text is the requirement to split sentences into smaller grammatical segments, to facilitate reading. Automated segmentation methods could foster the creation of Easy Read content, but their viability has yet to be addressed. In this work, we study novel methods for the task, leveraging masked and generative language models, along with constituent parsing. We conduct comprehensive automatic and human evaluations in three languages, analysing the strengths and weaknesses of the proposed alternatives, under scarce resource limitations. Our results highlight the viability of automated ER segmentation and remaining deficiencies compared to expert-driven human segmentation.


title: Integer defects, flow localization, and bistability on curved active surfaces

abstract: Biological surfaces, such as developing epithelial tissues, exhibit in-plane polar or nematic order and can be strongly curved. Recently, integer (+1) topological defects have been identified as morphogenetic hotspots in living systems. Yet, while +1 defects in active matter on flat surfaces are well-understood, the general principles governing curved active defects remain unknown. Here, we study the dynamics of integer defects in an extensile or contractile polar fluid on two types of morphogenetically-relevant substrates : (1) a cylinder terminated by a spherical cap, and (2) a bump on an otherwise flat surface. Because the Frank elastic energy on a curved surface generically induces a coupling to $\textit{deviatoric}$ curvature, $\mathcal{D}$ (difference between squared principal curvatures), a +1 defect is induced on both surface types. We find that $\mathcal{D}$ leads to surprising effects including localization of orientation gradients and active flows, and particularly for contractility, to hysteresis and bistability between quiescent and flowing defect states.


title: Unbounded sequential multipartite nonlocality via violation of Mermin inequality

abstract: Quantum nonlocality is a significant feature in quantum information theory, prompting recent investigations into the potential reuse of post-measurement states to uncover nonlocality among sequentially measuring observers. While prior studies primarily focused on bipartite or tripartite systems and observers with one chain, such as multiple Bobs with a single Alice or multiple Charlies with a single Alice and Bob, our work extends beyond this framework. We explore sequential nonlocality in systems comprising more parties and observer chains. Our findings reveal that in $n$-partite systems, regardless of whether it is a single-chain or double-chain scenario, there exist unbounded sequential observers capable of detecting nonlocality through violations of the Mermin inequality. In contrast to the conjecture that sequential Bell nonlocality cannot manifest with multiple Alices and Bobs in bipartite systems (i.e., the double-chain setting)[Phys. Rev. A 104, L060201 (2021)], our results suggest that increasing the number of subsystems may enable more observer chains to detect nonlocality alongside single observers. Our study advances research on sequential nonlocality, providing valuable insights into its detection across diverse scenarios.


title: Resilience of international oil trade networks under extreme event shock-recovery simulations

abstract: With the frequent occurrence of black swan events, global energy security situation has become increasingly complex and severe. Assessing the resilience of the international oil trade network (iOTN) is crucial for evaluating its ability to withstand extreme shocks and recover thereafter, ensuring energy security. We overcomes the limitations of discrete historical data by developing a simulation model for extreme event shock-recovery in the iOTNs. We introduce network efficiency indicator to measure oil resource allocation efficiency and evaluate network performance. Then, construct a resilience index to explore the resilience of the iOTNs from dimensions of resistance and recoverability. Our findings indicate that extreme events can lead to sharp declines in performance of the iOTNs, especially when economies with significant trading positions and relations suffer shocks. The upward trend in recoverability and resilience reflects the self-organizing nature of the iOTNs, demonstrating its capacity for optimizing its own structure and functionality. Unlike traditional energy security research based solely on discrete historical data or resistance indicators, our model evaluates resilience from multiple dimensions, offering insights for global energy governance systems while providing diverse perspectives for various economies to mitigate risks and uphold energy security.


title: Fractional Brauer configuration algebras I: definitions and examples

abstract: In 2017, Green and Schroll introduced a generalization of Brauer graph algebras which they call Brauer configuration algebras. In the present paper, we further generalize Brauer configuration algebras to fractional Brauer configuration algebras by generalizing Brauer configurations to fractional Brauer configurations. The fractional Brauer configuration algebras are locally bounded but neither finite-dimensional nor symmetric in general. We show that if the fractional Brauer configuration is of type S (resp. of type MS), then the corresponding fractional Brauer configuration algebra is a locally bounded Frobenius algebra (resp. a locally bounded special multiserial Frobenius algebra). Moreover, we show that over an algebraically closed field, the class of finite-dimensional indecomposable representation-finite fractional Brauer configuration algebras in type S coincides with the class of basic indecomposable finite-dimensional standard representation-finite self-injective algebras.


title: RMFA-Net: A Neural ISP for Real RAW to RGB Image Reconstruction

abstract: Deep learning-based ISP algorithms have demonstrated significant potential in raw2rgb reconstruction. However, existing networks have not fully considered the specific characteristics of raw data, such as black level and CFA, which can negatively impact texture and color if mishandled. Moreover, uneven exposure in raw data is also not considered carefully, leading to adverse effects on contrast and brightness. In this paper, we introduce RMFA-Net to tackle these problems. We perform implicit black level correction to mitigate color shifts in dim scenes. To preserve high-frequency information and prevent misalignment, we propose a novel Three-Channel-Split mode. To address the issue of uneven exposure, we designed an explicit tone mapping module based on the Retinex theory. We train and evaluate our models using the dataset released by the Mobile AI 2022 Learned Smartphone ISP Challenge. It is demonstrated that RMFA-Net outperforms previous algorithms, achieving a PSNR score of over 25 dB, surpassing the state-of-the-art by +1 dB. Furthermore, we developed a lightweight version, RMFANet-tiny, for engineering deployment while still maintaining strong performance, surpassing the SOTA by +0.5 dB.


title: Seven white dwarfs with circumstellar gas discs II: Tracing the composition of exoplanetary building blocks

abstract: This second paper presents an in-depth analysis of the composition of the planetary material that has been accreted onto seven white dwarfs with circumstellar dust and gas emission discs with abundances reported in Paper I. The white dwarfs are accreting planetary bodies with a wide range of oxygen, carbon, and sulfur volatile contents, including one white dwarf that shows the most enhanced sulfur abundance seen to date. Three white dwarfs show tentative evidence (2-3$\sigma$) of accreting oxygen-rich material, potentially from water-rich bodies, whilst two others are accreting dry, rocky material. One white dwarf is accreting a mantle-rich fragment of a larger differentiated body, whilst two white dwarfs show an enhancement in their iron abundance and could be accreting core-rich fragments. Whilst most planetary material accreted by white dwarfs display chondritic or bulk Earth-like compositions, these observations demonstrate that core-mantle differentiation, disruptive collisions, and the accretion of core-mantle differentiated material are important. Less than one percent of polluted white dwarfs host both observable circumstellar gas and dust. It is unknown whether these systems are experiencing an early phase in the disruption and accretion of planetary bodies, or alternatively if they are accreting larger planetary bodies. From this work there is no substantial evidence for significant differences in the accreted refractory abundance ratios for those white dwarfs with or without circumstellar gas, but there is tentative evidence for those with circumstellar gas discs to be accreting more water rich material which may suggest that volatiles accrete earlier in a gas-rich phase.


title: Non-negative Einstein tensor factorization for unmixing hyperspectral images

abstract: In this manuscript, we introduce a tensor-based approach to Non-Negative Tensor Factorization (NTF). The method entails tensor dimension reduction through the utilization of the Einstein product. To maintain the regularity and sparsity of the data, certain constraints are imposed. Additionally, we present an optimization algorithm in the form of a tensor multiplicative updates method, which relies on the Einstein product. To guarantee a minimum number of iterations for the convergence of the proposed algorithm, we employ the Reduced Rank Extrapolation (RRE) and the Topological Extrapolation Transformation Algorithm (TEA). The efficacy of the proposed model is demonstrated through tests conducted on Hyperspectral Images (HI) for denoising, as well as for Hyperspectral Image Linear Unmixing. Numerical experiments are provided to substantiate the effectiveness of the proposed model for both synthetic and real data.


title: Learning from Exemplars for Interactive Image Segmentation

abstract: Interactive image segmentation enables users to interact minimally with a machine, facilitating the gradual refinement of the segmentation mask for a target of interest. Previous studies have demonstrated impressive performance in extracting a single target mask through interactive segmentation. However, the information cues of previously interacted objects have been overlooked in the existing methods, which can be further explored to speed up interactive segmentation for multiple targets in the same category. To this end, we introduce novel interactive segmentation frameworks for both a single object and multiple objects in the same category. Specifically, our model leverages transformer backbones to extract interaction-focused visual features from the image and the interactions to obtain a satisfactory mask of a target as an exemplar. For multiple objects, we propose an exemplar-informed module to enhance the learning of similarities among the objects of the target category. To combine attended features from different modules, we incorporate cross-attention blocks followed by a feature fusion module. Experiments conducted on mainstream benchmarks demonstrate that our models achieve superior performance compared to previous methods. Particularly, our model reduces users' labor by around 15\%, requiring two fewer clicks to achieve target IoUs 85\% and 90\%. The results highlight our models' potential as a flexible and practical annotation tool. The source code will be released after publication.


title: Promises, Outlooks and Challenges of Diffusion Language Modeling

abstract: The modern autoregressive Large Language Models (LLMs) have achieved outstanding performance on NLP benchmarks, and they are deployed in the real world. However, they still suffer from limitations of the autoregressive training paradigm. For example, autoregressive token generation is notably slow and can be prone to \textit{exposure bias}. The diffusion-based language models were proposed as an alternative to autoregressive generation to address some of these limitations. We evaluate the recently proposed Score Entropy Discrete Diffusion (SEDD) approach and show it is a promising alternative to autoregressive generation but it has some short-comings too. We empirically demonstrate the advantages and challenges of SEDD, and observe that SEDD generally matches autoregressive models in perplexity and on benchmarks such as HellaSwag, Arc or WinoGrande. Additionally, we show that in terms of inference latency, SEDD can be up to 4.5$\times$ more efficient than GPT-2. While SEDD allows conditioning on tokens at abitrary positions, SEDD appears slightly weaker than GPT-2 for conditional generation given short prompts. Finally, we reproduced the main results from the original SEDD paper.


title: How Far Can In-Context Alignment Go? Exploring the State of In-Context Alignment

abstract: Recent studies have demonstrated that In-Context Learning (ICL), through the use of specific demonstrations, can align Large Language Models (LLMs) with human preferences known as In-Context Alignment (ICA), indicating that models can comprehend human instructions without requiring parameter adjustments. However, the exploration of the mechanism and applicability of ICA remains limited. In this paper, we begin by dividing the context text used in ICA into three categories: format, system prompt, and example. Through ablation experiments, we investigate the effectiveness of each part in enabling ICA to function effectively. We then examine how variants in these parts impact the model's alignment performance. Our findings indicate that the example part is crucial for enhancing the model's alignment capabilities, with changes in examples significantly affecting alignment performance. We also conduct a comprehensive evaluation of ICA's zero-shot capabilities in various alignment tasks. The results indicate that compared to parameter fine-tuning methods, ICA demonstrates superior performance in knowledge-based tasks and tool-use tasks. However, it still exhibits certain limitations in areas such as multi-turn dialogues and instruction following.


title: Expansion by regions: an overview

abstract: A short review of expansion by regions is presented. It is a well-known strategy to obtain an expansion of a given multiloop Feynman integral in a given limit where some kinematic invariants and/or masses have certain scaling measured in powers of a given small parameter. Prescriptions of this strategy are formulated in a simple geometrical language and are illustrated through simple examples.


title: Relativistic coupled-cluster calculations for the molecular properties of AlX$^+$ (X: F, Cl, Br, I, At and Ts) ions

abstract: In this article, the molecular permanent electric dipole moments and components of static dipole polarizabilities for the electronic ground state of singly charged aluminum monohalides are reported. The coupled-cluster method by considering single and double excitations (CCSD) together with relativistic Dyall basis sets have been used to carry out these molecular property calculations. The contribution from triple excitations are incorporated through perturbative triples (CCSD(T)). The results from a series of progressively larger basis sets are extrapolated to the complete basis set limit. Further, the role of correlation and relativistic effects, and also the effect of augmentation over the considered basis sets on the valence molecular properties are studied. Our results are compared with those available in the literature.


title: Vocabulary Expansion for Low-resource Cross-lingual Transfer

abstract: Large language models (LLMs) have shown remarkable capabilities in many languages beyond English. Yet, LLMs require more inference steps when generating non-English text due to their reliance on English-centric tokenizers, vocabulary, and pre-training data, resulting in higher usage costs to non-English speakers. Vocabulary expansion with target language tokens is a widely used cross-lingual vocabulary adaptation approach to remedy this issue. Despite its effectiveness in inference speedup, the majority of previous work has focused on high-resource settings assuming access to a substantial amount of target language data to effectively initialize the embeddings of the new tokens and adapt the LLM to the target language. However, vocabulary expansion for LLMs in low-resource settings (i.e. languages and compute) has yet to be explored. In this paper, we investigate sample-efficient adaptation strategies from different angles, including target vocabulary size and initialization methods, and the amount of target data available for adaptation. Extensive experiments across typologically diverse languages, tasks and models show that simpler heuristic-based embedding initialization is more efficient and robust to changes in target vocabulary size and adaptation data in low-resource settings, outperforming a popular random initialization and a more sophisticated state-of-the-art approach that relies on external data and model.


title: A parallel in time algorithm based ParaExp for optimal control problems

abstract: We propose a new parallel-in-time algorithm for solving optimal control problems constrained bypartial differential equations. Our approach, which is based on a deeper understanding of ParaExp,considers an overlapping time-domain decomposition in which we combine the solution of homogeneous problems using exponential propagation with the local solutions of inhomogeneous problems.The algorithm yields a linear system whose matrix-vector product can be fully performed in parallel.We then propose a preconditioner to speed up the convergence of GMRES in the special cases ofthe heat and wave equations. Numerical experiments are provided to illustrate the efficiency of ourpreconditioners.


title: A proof of Sugawara's conjecture on Hasse-Weber ray class invariants

abstract: In this paper a proof is given of Sugawara's conjecture from 1936, that the ray class field of conductor $\mathfrak{f}$ over an imaginary quadratic field $K$ is generated over $K$ by a single primitive $\mathfrak{f}$-division value of the $\tau$-function, first defined by Weber and then modified by Hasse in his 1927 paper giving a new foundation of complex multiplication.


title: Polarized internal target experiments based on EIC beams

abstract: The Electron-Ion Collider is under construction at BNL. It will have high-energy high-intensity polarized beams of electrons and hadrons. These beams will allow a high accuracy investigation of nucleon structure in the low- to very-low-x DIS regime. At the same time, similar to the realization at HERA, these beams could be used with an internal target for a very productive investigation of medium- to high-x nucleon structure. Due to a novel regime of electron beam operation and its high polarization and intensity, the Figure-of-Merit of an internal target experiment at EIC will be 500+ times higher than was obtained by HERMES.


title: Constrained Reinforcement Learning with Average Reward Objective: Model-Based and Model-Free Algorithms

abstract: Reinforcement Learning (RL) serves as a versatile framework for sequential decision-making, finding applications across diverse domains such as robotics, autonomous driving, recommendation systems, supply chain optimization, biology, mechanics, and finance. The primary objective in these applications is to maximize the average reward. Real-world scenarios often necessitate adherence to specific constraints during the learning process. This monograph focuses on the exploration of various model-based and model-free approaches for Constrained RL within the context of average reward Markov Decision Processes (MDPs). The investigation commences with an examination of model-based strategies, delving into two foundational methods - optimism in the face of uncertainty and posterior sampling. Subsequently, the discussion transitions to parametrized model-free approaches, where the primal-dual policy gradient-based algorithm is explored as a solution for constrained MDPs. The monograph provides regret guarantees and analyzes constraint violation for each of the discussed setups. For the above exploration, we assume the underlying MDP to be ergodic. Further, this monograph extends its discussion to encompass results tailored for weakly communicating MDPs, thereby broadening the scope of its findings and their relevance to a wider range of practical scenarios.


title: Extinction in agent-based and collective models of bet-hedging

abstract: Bet-hedging is a phenotype diversification strategy that combines a fast-growing vulnerable phenotype with a slow-growing resistant phenotype. In environments switching between favorable and unfavorable conditions, bet-hedging optimizes growth and reduces fluctuations over a long time, which is expected to reduce extinction risk. Here, we address directly how bet-hedging can reduce extinction probability in an agent-based model. An agent-based model is appropriate for studying extinction due to the low number of individuals close to extinction. We also show that the agent-based model converges to the collective model behavior for populations of $100$ individuals or more. However, the collective model provides relevant qualitative insight even for low populations. The collective model provides expressions for extinction that stress the relevance of the population number, showing that a factor four increase in the total population has a greater effect than a change of strategy from maximum growth to minimal extinction. This work provides further insight into the impact of finite population effects on the bet-hedging strategy's success.


title: Analysis of water injection heat recovery potential of abandoned oil wells to geothermal wells in northern Shaanxi

abstract: The Chang 2 bottom water reservoir area in the western part of northern Shaanxi is one of the core oil-producing areas in the Ordos Basin.One of the main reservoirs is the Chang 2 reservoir of the Triassic Yanchang Formation, which has good physical conditions, active edge and bottom water, and high geothermal gradient. In this paper, the reservoir numerical simulation software CMG is used to simulate the water intake and heat recovery in the target study area, and the heat recovery rate and heat recovery of the three water production methods of direct water production, four injection and one production and one injection and four production under different injection pressures are analyzed. The results show that it is difficult to realize the direct water extraction from the bottom water reservoir. The annual heat recovery of single well of four injection and one production and one injection and four production is converted to the standard coal production between 190 ~ 420 t, so the Chang 2 reservoir in the western part of northern Shaanxi has the potential of water injection and heat recovery.


title: Bayesian composite confidence interval for the tail index under randomly right-censored data

abstract: Bayesian composite likelihood estimation of the tail index of a heavy-tailed distribution is addressed when data are randomly right-censored. Maximum a posteriori and mean posterior estimators are constructed under Jeffrey's prior distribution of the tail index. Based on asymptotic results, some confidence regions (CR) for the tail index are constructed using posterior distribution and log-posterior ratio statistic. The proposed confidence regions are investigated via Finite-sample simulations. Finally, the proposed confidence regions are outperformed through two real datasets


title: Active clustering with bandit feedback

abstract: We investigate the Active Clustering Problem (ACP). A learner interacts with an $N$-armed stochastic bandit with $d$-dimensional subGaussian feedback. There exists a hidden partition of the arms into $K$ groups, such that arms within the same group, share the same mean vector. The learner's task is to uncover this hidden partition with the smallest budget - i.e., the least number of observation - and with a probability of error smaller than a prescribed constant $\delta$. In this paper, (i) we derive a non-asymptotic lower bound for the budget, and (ii) we introduce the computationally efficient ACB algorithm, whose budget matches the lower bound in most regimes. We improve on the performance of a uniform sampling strategy. Importantly, contrary to the batch setting, we establish that there is no computation-information gap in the active setting.


title: Analysing zero-shot temporal relation extraction on clinical notes using temporal consistency

abstract: This paper presents the first study for temporal relation extraction in a zero-shot setting focusing on biomedical text. We employ two types of prompts and five LLMs (GPT-3.5, Mixtral, Llama 2, Gemma, and PMC-LLaMA) to obtain responses about the temporal relations between two events. Our experiments demonstrate that LLMs struggle in the zero-shot setting performing worse than fine-tuned specialized models in terms of F1 score, showing that this is a challenging task for LLMs. We further contribute a novel comprehensive temporal analysis by calculating consistency scores for each LLM. Our findings reveal that LLMs face challenges in providing responses consistent to the temporal properties of uniqueness and transitivity. Moreover, we study the relation between the temporal consistency of an LLM and its accuracy and whether the latter can be improved by solving temporal inconsistencies. Our analysis shows that even when temporal consistency is achieved, the predictions can remain inaccurate.


title: Spinning Hall Probe magnetic compass

abstract: In a large range of physics and space experiments, the direction of the magnetic field needs to be determined with an accuracy on the level of one milli radian or better. We have proposed a new type of magnetic compass - a rotation-based one, which provides an alternating signal from the Hall probe proportional to the value of the magnetic field transverse to the axis of rotation. The spinning Hall probe device has been realized. Alignment of the spinning axis for a minimum (zero) value of the signal allows us to find the direction of the magnetic field. The device does not require calibration and is free of any drift problems. The measurement of the rotation axis direction was accomplished by means of a laser and a flat mirror attached to the rotor. The constructed prototype achieved an accuracy for the magnetic field direction in the experiment with the polarized He-3 target on the level of one milli radian.


title: Reversible Transducers over Infinite Words

abstract: Deterministic two-way transducers capture the class of regular functions. The efficiency of composing two-way transducers has a direct implication in algorithmic problems related to reactive synthesis, where transformation specifications are converted into equivalent transducers. These specifications are presented in a modular way, and composing the resultant machines simulates the full specification. An important result by Dartois et al. shows that composition of two-way transducers enjoy a polynomial composition when the underlying transducer is reversible, that is, if they are both deterministic and co-deterministic. This is a major improvement over general deterministic two-way transducers, for which composition causes a doubly exponential blow-up in the size of the inputs in general. Moreover, they show that reversible two-way transducers have the same expressiveness as deterministic two-way transducers. However, the question of expressiveness of reversible transducers over infinite words is still open. In this article, we introduce the class of reversible two-way transducers over infinite words and show that they enjoy the same expressive power as deterministic two-way transducers over infinite words. This is done through a non-trivial, effective construction inducing a single exponential blow-up in the set of states. Further, we also prove that composing two reversible two-way transducers over infinite words incurs only a polynomial complexity, thereby providing foundations for efficient procedure for composition of transducers over infinite words.


title: Transverse optical gradient force in untethered rotating metaspinners

abstract: We introduce optical metasurfaces as components of ultracompact untethered microscopic metaspinners capable of efficient light-induced rotation in a liquid environment. Illuminated by weakly focused light, a metaspinner generates torque via photon recoil through the metasurfaces' ability to bend light towards high angles despite their sub-wavelength thickness, thereby creating orbital angular momentum. We find that a metaspinner is subject to an anomalous transverse optical gradient force that acts in concert with the classical gradient force. Consequently, when two or more metaspinners are trapped together in a laser beam, they collectively orbit the optical axis in the opposite direction to their spinning motion, in stark contrast to rotors coupled through hydrodynamic or mechanical interactions. The metaspinners delineated herein not only serve to illustrate the vast possibilities of utilizing optical metasurfaces for fundamental exploration of optical torques, but they also represent potential building-blocks of artificial active matter systems, light-driven micromachinery, and general-purpose optomechanical devices.