title: Topological pairing of composite fermions via criticality

abstract: The fractional quantum Hall effect (FQHE) at the filling factor with an even denominator, 5/2, occurs despite the expectation, due to the electron statistics, that the denominator must be an odd number. It is believed that the Cooper pairing of underlying quasiparticles, composite fermions (CFs), leads to the explanation of this effect. Such a state should have a Pfaffian form of the BCS wave function (due to the absence of spin) and non-Abelian statistics of possible vortex-like excitations (due to the $p$-wave nature of the pairing). Here we expose the origin of pairing by using the effective dipole representation of the problem and show that pairing is encoded in a Hamiltonian that describes the interaction of the charge density with dipoles i.e. the current of CFs. The necessary condition for the paired state to exist is the effective dipole physics at the Fermi level as a consequence of the non-trivial topology of the ideal band in which electrons live - a Landau level (LL); the paired state is a resolution of the unstable, critical behaviour characterized by the distancing of correlation hole with respect to electron (and thus dipole) at the Fermi level due to the topology. We describe analytically this deconfined critical point, at which deconfinement of Majorana neutral fermions takes place. In the presence of large, short-range repulsive interaction inside a LL, the critical behavior may be stabilized into a regularized Fermi-liquid-like (FLL) state, like the one that characterizes the physics in the lowest LL (LLL), but in general, for an interaction with slowly decaying pseudopotentials, the system is prone to pairing.


title: Bayesian Structural Model Updating with Multimodal Variational Autoencoder

abstract: A novel framework for Bayesian structural model updating is presented in this study. The proposed method utilizes the surrogate unimodal encoders of a multimodal variational autoencoder (VAE). The method facilitates an approximation of the likelihood when dealing with a small number of observations. It is particularly suitable for high-dimensional correlated simultaneous observations applicable to various dynamic analysis models. The proposed approach was benchmarked using a numerical model of a single-story frame building with acceleration and dynamic strain measurements. Additionally, an example involving a Bayesian update of nonlinear model parameters for a three-degree-of-freedom lumped mass model demonstrates computational efficiency when compared to using the original VAE, while maintaining adequate accuracy for practical applications.


title: Data-Free Generative Replay for Class-Incremental Learning on Imbalanced Data

abstract: Continual learning is a challenging problem in machine learning, especially for image classification tasks with imbalanced datasets. It becomes even more challenging when it involves learning new classes incrementally. One method for incremental class learning, addressing dataset imbalance, is rehearsal using previously stored data. In rehearsal-based methods, access to previous data is required for either training the classifier or the generator, but it may not be feasible due to storage, legal, or data access constraints. Although there are many rehearsal-free alternatives for class incremental learning, such as parameter or loss regularization, knowledge distillation, and dynamic architectures, they do not consistently achieve good results, especially on imbalanced data. This paper proposes a new approach called Data-Free Generative Replay (DFGR) for class incremental learning, where the generator is trained without access to real data. In addition, DFGR also addresses dataset imbalance in continual learning of an image classifier. Instead of using training data, DFGR trains a generator using mean and variance statistics of batch-norm and feature maps derived from a pre-trained classification model. The results of our experiments demonstrate that DFGR performs significantly better than other data-free methods and reveal the performance impact of specific parameter settings. DFGR achieves up to 88.5% and 46.6% accuracy on MNIST and FashionMNIST datasets, respectively. Our code is available at https://github.com/2younis/DFGR


title: Joint Channel Estimation and Prediction for Massive MIMO with Frequency Hopping Sounding

abstract: In massive multiple-input multiple-output (MIMO) systems, the downlink transmission performance heavily relies on accurate channel state information (CSI). Constrained by the transmitted power, user equipment always transmits sounding reference signals (SRSs) to the base station through frequency hopping, which will be leveraged to estimate uplink CSI and subsequently predict downlink CSI. This paper aims to investigate joint channel estimation and prediction (JCEP) for massive MIMO with frequency hopping sounding (FHS). Specifically, we present a multiple-subband (MS) delay-angle-Doppler (DAD) domain channel model with off-grid basis to tackle the energy leakage problem. Furthermore, we formulate the JCEP problem with FHS as a multiple measurement vector (MMV) problem, facilitating the sharing of common CSI across different subbands. To solve this problem, we propose an efficient Off-Grid-MS hybrid message passing (HMP) algorithm under the constrained Bethe free energy (BFE) framework. Aiming to address the lack of prior CSI in practical scenarios, the proposed algorithm can adaptively learn the hyper-parameters of the channel by minimizing the corresponding terms in the BFE expression. To alleviate the complexity of channel hyper-parameter learning, we leverage the approximations of the off-grid matrices to simplify the off-grid hyper-parameter estimation. Numerical results illustrate that the proposed algorithm can effectively mitigate the energy leakage issue and exploit the common CSI across different subbands, acquiring more accurate CSI compared to state-of-the-art counterparts.


title: Electronic structure of a nodal line semimetal candidate TbSbTe

abstract: The LnSbTe (Ln = Lanthanides) family, like isostructural ZrSiS type compounds, has emerged as a fertile playground for exploring the interaction of electronic correlations and magnetic ordering with the nodal line band topology. Here, we report a detailed electronic band structure investigation of TbSbTe, corroborated by electrical transport, thermodynamic, and magnetic studies. Temperature-dependent magnetic susceptibility and thermodynamic transport studies indicate the onset of antiferromagnetic ordering below TN = 5.1 K. The electronic band structure study, carried out with high-resolution angle-resolved photoemission spectroscopy (ARPES) measurements aided with density functional theory based first-principles calculations reveals presence of nodal lines in the GammaX high symmetry direction, forming a diamond-shaped nodal plane around Gamma high symmetry point. A strongly photon energy dependent nodal feature located at the X point of the surface Brillouin zone, indicating an extended nodal line along X R direction, is also observed. This study elucidates the intricate interplay among symmetry-protected band characteristics, the influence of spin orbit coupling, magnetism, and topological properties.


title: Relational event models with global covariates

abstract: Traditional inference in relational event models from dynamic network data involves only dyadic and node-specific variables, as anything that is global, i.e. constant across dyads, drops out of the partial likelihood. We address this with the use of nested case-control sampling on a time-shifted version of the event process. This leads to a partial likelihood of a degenerate logistic additive model, enabling efficient estimation of global and non-global covariate effects. The method's effectiveness is demonstrated through a simulation study. An application to bike sharing data reveals significant influences of global covariates like weather and time of day on bike-sharing dynamics.


title: CUDRT: Benchmarking the Detection of Human vs. Large Language Models Generated Texts

abstract: The proliferation of large language models (LLMs) has significantly enhanced text generation capabilities across various industries. However, these models' ability to generate human-like text poses substantial challenges in discerning between human and AI authorship. Despite the effectiveness of existing AI-generated text detectors, their development is hindered by the lack of comprehensive, publicly available benchmarks. Current benchmarks are limited to specific scenarios, such as question answering and text polishing, and predominantly focus on English texts, failing to capture the diverse applications and linguistic nuances of LLMs. To address these limitations, this paper constructs a comprehensive bilingual benchmark in both Chinese and English to evaluate mainstream AI-generated text detectors. We categorize LLM text generation into five distinct operations: Create, Update, Delete, Rewrite, and Translate (CUDRT), encompassing all current LLMs activities. We also establish a robust benchmark evaluation framework to support scalable and reproducible experiments. For each CUDRT category, we have developed extensive datasets to thoroughly assess detector performance. By employing the latest mainstream LLMs specific to each language, our datasets provide a thorough evaluation environment. Extensive experimental results offer critical insights for optimizing AI-generated text detectors and suggest future research directions to improve detection accuracy and generalizability across various scenarios.


title: The $q$-Schur algebras in type $D$, I, fundamental multiplication formulas

abstract: By embedding the Hecke algebra $\check H_q$ of type $D$ into the Hecke algebra $H_{q,1}$ of type $B$ with unequal parameters $(q,1)$, the $q$-Schur algebras $S^\kappa_q(n,r)$ of type $D$ is naturally defined as the endomorphism algebra of the tensor space with the $\check H_q$-action restricted from the $H_{q,1}$-action that defines the $(q,1)$-Schur algebra $S^\jmath_{q,1}(n,r)$ of type $B$. We investigate the algebras $S^\jmath_{q,1}(n,r)$ and $S^\kappa_q(n,r)$ both algebraically and geometrically and describe their standard bases, dimension formulas and weight idempotents. Most importantly, we use the geometrically derived two sets of the fundamental multiplication formulas in $S^\jmath_{q,1}(n,r)$ to derive multi-sets (9 sets in total!) of the fundamental multiplication formulas in $S^\kappa_q(n,r)$.


title: Environment-Aware Codebook Design for RIS-Assisted MU-MISO Communications: Implementation and Performance Analysis

abstract: Reconfigurable intelligent surface (RIS) provides a new electromagnetic response control solution, which can proactively reshape the characteristics of wireless channel environments. In RIS-assisted communication systems, the acquisition of channel state information (CSI) and the optimization of reflecting coefficients constitute major design challenges. To address these issues, codebook-based solutions have been developed recently, which, however, are mostly environment-agnostic. In this paper, a novel environment-aware codebook protocol is proposed, which can significantly reduce both pilot overhead and computational complexity, while maintaining expected communication performance. Specifically, first of all, a channel training framework is introduced to divide the training phase into several blocks. In each block, we directly estimate the composite end-to-end channel and focus only on the transmit beamforming. Second, we propose an environment-aware codebook generation scheme, which first generates a group of channels based on statistical CSI, and then obtains their corresponding RIS configuration by utilizing the alternating optimization (AO) method offline. In each online training block, the RIS is configured based on the corresponding codeword in the environment-aware codebook, and the optimal codeword resulting in the highest sum rate is adopted for assisting in the downlink data transmission. Third, we analyze the theoretical performance of the environment-aware codebook-based protocol taking into account the channel estimation errors. Finally, numerical simulations are provided to verify our theoretical analysis and the performance of the proposed scheme. In particular, the simulation results demonstrate that our protocol is more competitive than conventional environment-agnostic codebooks.


title: Distribution of hooks in self-conjugate partitions

abstract: We confirm the speculation that the distribution of $t$-hooks among unrestricted integer partitions essentially descends to self-conjugate partitions. Namely, we prove that the number of hooks of length $t$ among the size $n$ self-conjugate partitions is asymptotically normally distributed with mean $\mu_t(n) \sim \frac{\sqrt{6n}}{\pi} + \frac{3}{\pi^2} - \frac{t}{2}$ and variance $\sigma_t^2(n) \sim \frac{(\pi^2 - 6) \sqrt{6n}}{\pi^3}.$


title: Microparticle-assisted 2D super resolution virtual image modeling

abstract: The approach that makes it possible to explain the phenomenon of super resolution in a virtual image using dielectric microparticles is presented. A resolution of the order of 50 nm in the visible range is demonstrated. The presented two-dimensional model uses the FDTD code to generate radiation and its propagation through a microparticle-object system and the following optical image generation using backward propagation technique.


title: Joint Observer Gain and Input Design for Asymptotic Active Fault Diagnosis

abstract: This paper proposes a joint gain and input design method for observer-based asymptotic active fault diagnosis, which is based on a newly-defined notion named the excluding degree of the origin from a zonotope. Using the excluding degree, a quantitative specification is obtained to characterize the performance of set-based robust fault diagnosis. Furthermore, a single gain design method and a joint gain and input design method are proposed, respectively. This is the first work to achieve a joint observer gain and input design for set-based active fault diagnosis. Compared with the existing methods that design gains and input separately, the proposed joint gain and input design method has advantages to exploit the fault diagnosis potential of observer-based schemes. Finally, several examples are used to illustrate the effectiveness of the proposed methods.


title: State-Space Modeling in Long Sequence Processing: A Survey on Recurrence in the Transformer Era

abstract: Effectively learning from sequential data is a longstanding goal of Artificial Intelligence, especially in the case of long sequences. From the dawn of Machine Learning, several researchers engaged in the search of algorithms and architectures capable of processing sequences of patterns, retaining information about the past inputs while still leveraging the upcoming data, without losing precious long-term dependencies and correlations. While such an ultimate goal is inspired by the human hallmark of continuous real-time processing of sensory information, several solutions simplified the learning paradigm by artificially limiting the processed context or dealing with sequences of limited length, given in advance. These solutions were further emphasized by the large ubiquity of Transformers, that have initially shaded the role of Recurrent Neural Nets. However, recurrent networks are facing a strong recent revival due to the growing popularity of (deep) State-Space models and novel instances of large-context Transformers, which are both based on recurrent computations to go beyond several limits of currently ubiquitous technologies. In fact, the fast development of Large Language Models enhanced the interest in efficient solutions to process data over time. This survey provides an in-depth summary of the latest approaches that are based on recurrent models for sequential data processing. A complete taxonomy over the latest trends in architectural and algorithmic solutions is reported and discussed, guiding researchers in this appealing research field. The emerging picture suggests that there is room for thinking of novel routes, constituted by learning algorithms which depart from the standard Backpropagation Through Time, towards a more realistic scenario where patterns are effectively processed online, leveraging local-forward computations, opening to further research on this topic.


title: On the Measurement of the Unruh Effect Through Extended Quantum Thermometers

abstract: The Unruh effect, predicting a thermal reservoir for accelerating systems, calls for a more refined understanding of measurement processes involving quantum systems as thermometers. Conventional models fail to account for the inherent spatial extent of the thermometer, neglecting the complexities associated with accelerated extended quantum systems. Our work builds upon the seminal work of Bell, Hughes, and Leinaas. We propose a refined thermometer model incorporating a spin-1/2 particle where the spin acts as a temperature indicator. This refined model demonstrates the ability to effectively measure the temperature under specific, realistic conditions, providing a unique value that essentially averages the local Unruh temperatures throughout the extended quantum system acting as the thermometer.


title: The nature of the accretion physics in quiescent black hole system LB-1

abstract: LB-1 is a binary system that has drawn great attention since its discovery in 2019. The nature of the two components of LB-1 is not very clear, which however is suggested very possibly to be a B-type star plus a black hole (BH). In this paper, we first calculate the wind mass-loss rate of the B-type star. We then calculate the mass capture rate by the BH, with which as the initial mass accretion rate, we calculate the truncation radius of the accretion disk and the corresponding emergent spectra of the accretion flow (comprising an inner advection-dominated accretion flow (ADAF) + an outer truncated accretion disk) within the framework of the disk evaporation model. It is found that the predicted truncation radius of the accretion disk with appropriate model parameters is consistent with observations inferred from the observed broad H$_\alpha$ emission line. The predicted X-ray luminosity is definitely below the estimated upper limits with the sensitivity of Chandra X-ray Observatory of the X-ray luminosity $\sim 2\times 10^{31}$ erg/s. Finally, we argue that if the disk evaporation model indeed reflects the intrinsic physics of the accretion flow, the value of the viscosity parameter $\alpha$ is constrained to be $\alpha \gtrsim 0.05$ (with BH mass being $68M_{\rm \odot}$), or $\alpha \gtrsim 0.003$ (with BH mass being $21M_{\rm \odot}$) to match the observed upper limit of the X-ray luminosity of LB-1.


title: Engineering Digital Systems for Humanity: Challenges and Opportunities

abstract: As testified by new regulations like the European AI act, the worries about the societal impact of (autonomous) software technologies are becoming of public concern. Social and human values, besides the traditional software behaviour and quality, are increasingly recognized as important for sustainability and long-term well-being. In this paper, we identify the macro and technological challenges and opportunities of present and future digital systems that should be engineered for humanity. Our specific perspective in identifying the challenges is to focus on humans and on their role in their co-existence with digital systems. The first challenge considers humans in a proactive role when interacting with the digital systems, i.e., taking initiative in making things happening instead of reacting to events. The second concerns humans having an active role in the interaction with the digital systems i.e., on humans that interact with digital systems as a reaction to events. The third challenge focuses on humans that have a passive role i.e., they experience, enjoy or even suffer the decisions and/or actions of digital systems. Two further transversal challenges are considered: the duality of trust and trustworthiness and the compliance to legislation that both may seriously affect the deployment and use of digital systems.


title: Impermanent Identifiers: Enhanced Source Code Comprehension and Refactoring

abstract: In response to the prevailing challenges in contemporary software development, this article introduces an innovative approach to code augmentation centered around Impermanent Identifiers. The primary goal is to enhance the software development experience by introducing dynamic identifiers that adapt to changing contexts, facilitating more efficient interactions between developers and source code, ultimately advancing comprehension, maintenance, and collaboration in software development. Additionally, this study rigorously evaluates the adoption and acceptance of Impermanent Identifiers within the software development landscape. Through a comprehensive empirical examination, we investigate how developers perceive and integrate this approach into their daily programming practices, exploring perceived benefits, potential barriers, and factors influencing its adoption. In summary, this article charts a new course for code augmentation, proposing Impermanent Identifiers as its cornerstone while assessing their feasibility and acceptance among developers. This interdisciplinary research seeks to contribute to the continuous improvement of software development practices and the progress of code augmentation technology.


title: How structured are the representations in transformer-based vision encoders? An analysis of multi-object representations in vision-language models

abstract: Forming and using symbol-like structured representations for reasoning has been considered essential for generalising over novel inputs. The primary tool that allows generalisation outside training data distribution is the ability to abstract away irrelevant information into a compact form relevant to the task. An extreme form of such abstract representations is symbols. Humans make use of symbols to bind information while abstracting away irrelevant parts to utilise the information consistently and meaningfully. This work estimates the state of such structured representations in vision encoders. Specifically, we evaluate image encoders in large vision-language pre-trained models to address the question of which desirable properties their representations lack by applying the criteria of symbolic structured reasoning described for LLMs to the image models. We test the representation space of image encoders like VIT, BLIP, CLIP, and FLAVA to characterise the distribution of the object representations in these models. In particular, we create decoding tasks using multi-object scenes from the COCO dataset, relating the token space to its input content for various objects in the scene. We use these tasks to characterise the network's token and layer-wise information modelling. Our analysis highlights that the CLS token, used for the downstream task, only focuses on a few objects necessary for the trained downstream task. Still, other individual objects are well-modelled separately by the tokens in the network originating from those objects. We further observed a widespread distribution of scene information. This demonstrates that information is far more entangled in tokens than optimal for representing objects similar to symbols. Given these symbolic properties, we show the network dynamics that cause failure modes of these models on basic downstream tasks in a multi-object scene.


title: Dispelling the Mirage of Progress in Offline MARL through Standardised Baselines and Evaluation

abstract: Offline multi-agent reinforcement learning (MARL) is an emerging field with great promise for real-world applications. Unfortunately, the current state of research in offline MARL is plagued by inconsistencies in baselines and evaluation protocols, which ultimately makes it difficult to accurately assess progress, trust newly proposed innovations, and allow researchers to easily build upon prior work. In this paper, we firstly identify significant shortcomings in existing methodologies for measuring the performance of novel algorithms through a representative study of published offline MARL work. Secondly, by directly comparing to this prior work, we demonstrate that simple, well-implemented baselines can achieve state-of-the-art (SOTA) results across a wide range of tasks. Specifically, we show that on 35 out of 47 datasets used in prior work (almost 75% of cases), we match or surpass the performance of the current purported SOTA. Strikingly, our baselines often substantially outperform these more sophisticated algorithms. Finally, we correct for the shortcomings highlighted from this prior work by introducing a straightforward standardised methodology for evaluation and by providing our baseline implementations with statistically robust results across several scenarios, useful for comparisons in future work. Our proposal includes simple and sensible steps that are easy to adopt, which in combination with solid baselines and comparative results, could substantially improve the overall rigour of empirical science in offline MARL moving forward.


title: On the Robustness of Global Feature Effect Explanations

abstract: We study the robustness of global post-hoc explanations for predictive models trained on tabular data. Effects of predictor features in black-box supervised learning are an essential diagnostic tool for model debugging and scientific discovery in applied sciences. However, how vulnerable they are to data and model perturbations remains an open research question. We introduce several theoretical bounds for evaluating the robustness of partial dependence plots and accumulated local effects. Our experimental results with synthetic and real-world datasets quantify the gap between the best and worst-case scenarios of (mis)interpreting machine learning predictions globally.


title: EquiPrompt: Debiasing Diffusion Models via Iterative Bootstrapping in Chain of Thoughts

abstract: In the domain of text-to-image generative models, the inadvertent propagation of biases inherent in training datasets poses significant ethical challenges, particularly in the generation of socially sensitive content. This paper introduces EquiPrompt, a novel method employing Chain of Thought (CoT) reasoning to reduce biases in text-to-image generative models. EquiPrompt uses iterative bootstrapping and bias-aware exemplar selection to balance creativity and ethical responsibility. It integrates iterative reasoning refinement with controlled evaluation techniques, addressing zero-shot CoT issues in sensitive contexts. Experiments on several generation tasks show EquiPrompt effectively lowers bias while maintaining generative quality, advancing ethical AI and socially responsible creative processes.Code will be publically available.


title: FlamePINN-1D: Physics-informed neural networks to solve forward and inverse problems of 1D laminar flames

abstract: Given the existence of various forward and inverse problems in combustion studies and applications that necessitate distinct methods for resolution, a framework to solve them in a unified way is critically needed. A promising approach is the integration of machine learning methods with governing equations of combustion systems, which exhibits superior generality and few-shot learning ability compared to purely data-driven methods. In this work, the FlamePINN-1D framework is proposed to solve the forward and inverse problems of 1D laminar flames based on physics-informed neural networks. Three cases with increasing complexity have been tested: Case 1 are freely-propagating premixed (FPP) flames with simplified physical models, while Case 2 and Case 3 are FPP and counterflow premixed (CFP) flames with detailed models, respectively. For forward problems, FlamePINN-1D aims to solve the flame fields and infer the unknown eigenvalues (such as laminar flame speeds) under the constraints of governing equations and boundary conditions. For inverse problems, FlamePINN-1D aims to reconstruct the continuous fields and infer the unknown parameters (such as transport and chemical kinetics parameters) from noisy sparse observations of the flame. Our results strongly validate these capabilities of FlamePINN-1D across various flames and working conditions. Compared to traditional methods, FlamePINN-1D is differentiable and mesh-free, exhibits no discretization errors, and is easier to implement for inverse problems. The inverse problem results also indicate the possibility of optimizing chemical mechanisms from measurements of laboratory 1D flames. Furthermore, some proposed strategies, such as hard constraints and thin-layer normalization, are proven to be essential for the robust learning of FlamePINN-1D. The code for this paper is partially available at https://github.com/CAME-THU/FlamePINN-1D.


title: Living in the Moment: Can Large Language Models Grasp Co-Temporal Reasoning?

abstract: Temporal reasoning is fundamental for large language models (LLMs) to comprehend the world. Current temporal reasoning datasets are limited to questions about single or isolated events, falling short in mirroring the realistic temporal characteristics involving concurrent nature and intricate temporal interconnections. In this paper, we introduce CoTempQA, a comprehensive co-temporal Question Answering (QA) benchmark containing four co-temporal scenarios (Equal, Overlap, During, Mix) with 4,748 samples for evaluating the co-temporal comprehension and reasoning abilities of LLMs. Our extensive experiments reveal a significant gap between the performance of current LLMs and human-level reasoning on CoTempQA tasks. Even when enhanced with Chain of Thought (CoT) methodologies, models consistently struggle with our task. In our preliminary exploration, we discovered that mathematical reasoning plays a significant role in handling co-temporal events and proposed a strategy to boost LLMs' co-temporal reasoning from a mathematical perspective. We hope that our CoTempQA datasets will encourage further advancements in improving the co-temporal reasoning capabilities of LLMs. Our code is available at https://github.com/zhaochen0110/Cotempqa.


title: Are we making progress in unlearning? Findings from the first NeurIPS unlearning competition

abstract: We present the findings of the first NeurIPS competition on unlearning, which sought to stimulate the development of novel algorithms and initiate discussions on formal and robust evaluation methodologies. The competition was highly successful: nearly 1,200 teams from across the world participated, and a wealth of novel, imaginative solutions with different characteristics were contributed. In this paper, we analyze top solutions and delve into discussions on benchmarking unlearning, which itself is a research problem. The evaluation methodology we developed for the competition measures forgetting quality according to a formal notion of unlearning, while incorporating model utility for a holistic evaluation. We analyze the effectiveness of different instantiations of this evaluation framework vis-a-vis the associated compute cost, and discuss implications for standardizing evaluation. We find that the ranking of leading methods remains stable under several variations of this framework, pointing to avenues for reducing the cost of evaluation. Overall, our findings indicate progress in unlearning, with top-performing competition entries surpassing existing algorithms under our evaluation framework. We analyze trade-offs made by different algorithms and strengths or weaknesses in terms of generalizability to new datasets, paving the way for advancing both benchmarking and algorithm development in this important area.


title: Entanglement properties of optomagnonic crystal from nonlinear perspective

abstract: Optomagnonics is a new field of research in condensed matter physics and quantum optics focused on strong magnon-photon interactions. Particular interest concerns realistic, experimentally feasible materials and prototype cheap elements for futuristic nanodevices implemented in the processing or storing of quantum information. Quantifying the entanglement between two continuous bosonic modes, such as magnons and photons, is not trivial. The state-of-the-art for today is the logarithmic negativity, calculated through the quantum Langevin equations subjected to thermal noise. However, due to its complexity, this method requires further approximation. In the present work, we propose a new procedure that avoids the linearization of dynamics. Prior analyzing the quantum entanglement, we explore the nonlinear semiclassical dynamics in detail and precisely define the phase space. The typical nonlinear dynamical system holds bifurcation points and fixed points of different characters in its phase space. Our main finding is that entanglement is not defined in the Saddle Point region. On the other hand, the maximum of the entanglement corresponds to the region near the border between the Stable node and Stable spiral regions. In numerical calculations, we considered a particular system: optomagnonic crystal based on the yttrium iron garnet (YIG) slab with the periodic air holes drilled in the slab. In our case, Magnon-photon interaction occurs due to the magneto-electric effect in YIG. We provide explicit derivation of the coupling term. Besides, we calculate photon modes for a particular geometry of the optomagnonic crystal. We analyzed the amplitude-frequency characteristics of the optomagnonic crystal and showed that due to the instability region, one could efficiently switch the mean magnon numbers in the system and control entanglement in the system.


title: Strong External Difference Families and Classification of $\alpha$-valuations

abstract: One method of constructing $(a^2+1, 2,a, 1)$-SEDFs (i.e., strong external difference families) in $\mathbb{Z}_{a^2+1}$ makes use of $\alpha$-valuations of complete bipartite graphs $K_{a,a}$. We explore this approach and we provide a classification theorem which shows that all such $\alpha$-valuations can be constructed recursively via a sequence of ``blow-up'' operations. We also enumerate all $(a^2+1, 2,a, 1)$-SEDFs in $\mathbb{Z}_{a^2+1}$ for $a \leq 14$ and we show that all these SEDFs are equivalent to $\alpha$-valuations via affine transformations. Whether this holds for all $a > 14$ as well is an interesting open problem. We also study SEDFs in dihedral groups, where we show that two known constructions are equivalent.


title: 3M: Multi-modal Multi-task Multi-teacher Learning for Game Event Detection

abstract: Esports has rapidly emerged as a global phenomenon with an ever-expanding audience via platforms, like YouTube. Due to the inherent complexity nature of the game, it is challenging for newcomers to comprehend what the event entails. The chaotic nature of online chat, the fast-paced speech of the game commentator, and the game-specific user interface further compound the difficulty for users in comprehending the gameplay. To overcome these challenges, it is crucial to integrate the Multi-Modal (MM) information from the platform and understand the event. The paper introduces a new MM multi-teacher-based game event detection framework, with the ultimate goal of constructing a comprehensive framework that enhances the comprehension of the ongoing game situation. While conventional MM models typically prioritise aligning MM data through concurrent training towards a unified objective, our framework leverages multiple teachers trained independently on different tasks to accomplish the Game Event Detection. The experiment clearly shows the effectiveness of the proposed MM multi-teacher framework.


title: Spectroscopy of two-dimensional interacting lattice electrons using symmetry-aware neural backflow transformations

abstract: Neural networks have shown to be a powerful tool to represent ground state of quantum many-body systems, including for fermionic systems. In this work, we introduce a framework for embedding lattice symmetries in Neural Slater-Backflow-Jastrow wavefunction ansatzes, and demonstrate how our model allows us to target the ground state and low-lying excited states. To capture the Hamiltonian symmetries, we introduce group-equivariant backflow transformations. We study the low-energy excitation spectrum of the t-V model on a square lattice away from half-filling, and find that our symmetry-aware backflow significantly improves the ground-state energies, and yields accurate low-lying excited states for up to 10x10 lattices. We additionally compute the two-point density-correlation function and the structure factor to detect the phase transition and determine the critical point. Finally, we quantify the variational accuracy of our model using the V-score.

categories: cond-mat.str-el cond-mat.other physics.comp-ph quant-ph


title: ONNX-to-Hardware Design Flow for Adaptive Neural-Network Inference on FPGAs

abstract: The challenges involved in executing neural networks (NNs) at the edge include providing diversity, flexibility, and sustainability. That implies, for instance, supporting evolving applications and algorithms energy-efficiently. Using hardware or software accelerators can deliver fast and efficient computation of the NNs, while flexibility can be exploited to support long-term adaptivity. Nonetheless, handcrafting an NN for a specific device, despite the possibility of leading to an optimal solution, takes time and experience, and that's why frameworks for hardware accelerators are being developed. This work, starting from a preliminary semi-integrated ONNX-to-hardware toolchain [21], focuses on enabling approximate computing leveraging the distinctive ability of the original toolchain to favor adaptivity. The goal is to allow lightweight adaptable NN inference on FPGAs at the edge.


title: Latent Assistance Networks: Rediscovering Hyperbolic Tangents in RL

abstract: Activation functions are one of the key components of a neural network. The most commonly used activation functions can be classed into the category of continuously differentiable (e.g. tanh) and linear-unit functions (e.g. ReLU), both having their own strengths and drawbacks with respect to downstream performance and representation capacity through learning (e.g. measured by the number of dead neurons and the effective rank). In reinforcement learning, the performance of continuously differentiable activations often falls short as compared to linear-unit functions. From the perspective of the activations in the last hidden layer, this paper provides insights regarding this sub-optimality and explores how activation functions influence the occurrence of dead neurons and the magnitude of the effective rank. Additionally, a novel neural architecture is proposed that leverages the product of independent activation values. In the Atari domain, we show faster learning, a reduction in dead neurons and increased effective rank.


title: Link to Densify: Topological Transition During the Compression of Amorphous Ices

abstract: In this work we study the structural and topological transition between amorphous ices. We discover that applying external pressure to low-density amorphous ice (LDA) distorts the looped motifs constituting the hydrogen bond network (HBN). The transition to high-density amorphous ice (HDA) is accompanied by an abrupt topological transition of the HBN, which starts to display interpenetrated and Hopf linked looped motifs. This topologically linked HBN is metastable during decompression, and the links disentangle through a first order transition at the critical point. We discover that the rearrangement of the HBN motifs at the transitions induce a loss of mechanical rigidity, dramatically increasing compressiblity. We argue that topological transitions may be a generic mechanism for the densification of network-forming amorphous materials and enriches our understanding of the properties of water.


title: Multifractal analysis of the growth rate of digits in Schneider's $p$-adic continued fraction dynamical system

abstract: Let $\mathbb{Z}_p$ be the ring of $p$-adic integers and $a_n(x)$ be the $n$-th digit of Schneider's $p$-adic continued fraction of $x\in p\mathbb{Z}_p$. We study the growth rate of the digits $\{a_n(x)\}_{n\geq1}$ from the viewpoint of multifractal analysis. The Hausdorff dimension of the set \[E_{\sup}(\psi)=\Big\{x\in p\mathbb{Z}_p:\ \limsup\limits_{n\to\infty}\frac{a_n(x)}{\psi(n)}=1\Big\}\] is completely determined for any $\psi:\mathbb{N}\to\mathbb{R}^{+}$ satisfying $\psi(n)\to \infty$ as $n\to\infty$. As an application, we also calculate the Hausdorff dimension of the intersection sets \[E^{\sup}_{\inf}(\psi,\alpha_1,\alpha_2)=\left\{x\in p\mathbb{Z}_p:\liminf_{n\rightarrow\infty}\dfrac{a_n(x)}{\psi(n)}=\alpha_1,~\limsup_{n\rightarrow\infty}\dfrac{a_n(x)}{\psi(n)}=\alpha_2\right\}\] for the above function $\psi$ and $0\leq\alpha_1<\alpha_2\leq\infty$.


title: Data-driven modeling and supervisory control system optimization for plug-in hybrid electric vehicles

abstract: Learning-based intelligent energy management systems for plug-in hybrid electric vehicles (PHEVs) are crucial for achieving efficient energy utilization. However, their application faces system reliability challenges in the real world, which prevents widespread acceptance by original equipment manufacturers (OEMs). This paper begins by establishing a PHEV model based on physical and data-driven models, focusing on the high-fidelity training environment. It then proposes a real-vehicle application-oriented control framework, combining horizon-extended reinforcement learning (RL)-based energy management with the equivalent consumption minimization strategy (ECMS) to enhance practical applicability, and improves the flawed method of equivalent factor evaluation based on instantaneous driving cycle and powertrain states found in existing research. Finally, comprehensive simulation and hardware-in-the-loop validation are carried out which demonstrates the advantages of the proposed control framework in fuel economy over adaptive-ECMS and rule-based strategies. Compared to conventional RL architectures that directly control powertrain components, the proposed control method not only achieves similar optimality but also significantly enhances the disturbance resistance of the energy management system, providing an effective control framework for RL-based energy management strategies aimed at real-vehicle applications by OEMs.


title: Simple Chopsticks: Playing with any number of hands and fingers

abstract: Chopsticks is a game played by two players where they start with one finger raised on each hand. On their turn, each player moves by pointing an attacking hand at one of their opponent's hands. The number of fingers on the pointed hand increases by the number of fingers on the attacking hand. If, after a move, a hand contains more than five fingers, it is removed from play. There are also other rules that allow players to move fingers from one hand to another, but we focus on this simple setup. We introduce a generalization of Chopsticks, called Simple Chopsticks, in which the players may have any number of $n$-fingered hands. We find that having more hands than your opponent is generally good, and use this fact to fully characterize the outcomes of \octopus/ in the case where the players have 2-fingered hands.


title: Operator-informed score matching for Markov diffusion models

abstract: Diffusion models are typically trained using score matching, yet score matching is agnostic to the particular forward process that defines the model. This paper argues that Markov diffusion models enjoy an advantage over other types of diffusion model, as their associated operators can be exploited to improve the training process. In particular, (i) there exists an explicit formal solution to the forward process as a sequence of time-dependent kernel mean embeddings; and (ii) the derivation of score-matching and related estimators can be streamlined. Building upon (i), we propose Riemannian diffusion kernel smoothing, which ameliorates the need for neural score approximation, at least in the low-dimensional context; Building upon (ii), we propose operator-informed score matching, a variance reduction technique that is straightforward to implement in both low- and high-dimensional diffusion modeling and is demonstrated to improve score matching in an empirical proof-of-concept.


title: A Symbolic Computing Perspective on Software Systems

abstract: Symbolic mathematical computing systems have served as a canary in the coal mine of software systems for more than sixty years. They have introduced or have been early adopters of programming language ideas such ideas as dynamic memory management, arbitrary precision arithmetic and dependent types. These systems have the feature of being highly complex while at the same time operating in a domain where results are well-defined and clearly verifiable. These software systems span multiple layers of abstraction with concerns ranging from instruction scheduling and cache pressure up to algorithmic complexity of constructions in algebraic geometry. All of the major symbolic mathematical computing systems include low-level code for arithmetic, memory management and other primitives, a compiler or interpreter for a bespoke programming language, a library of high level mathematical algorithms, and some form of user interface. Each of these parts invokes multiple deep issues. We present some lessons learned from this environment and free flowing opinions on topics including: * Portability of software across architectures and decades; * Infrastructure to embrace and infrastructure to avoid; * Choosing base abstractions upon which to build; * How to get the most out of a small code base; * How developments in compilers both to optimise and to validate code have always been and remain of critical importance, with plenty of remaining challenges; * The way in which individuals including in particular Alan Mycroft who has been able to span from hand-crafting Z80 machine code up to the most abstruse high level code analysis techniques are needed, and * Why it is important to teach full-stack thinking to the next generation.


title: Dynamics of Spinning Binary at 2PM

abstract: We consider the covariant proposal for the gravitational Compton amplitude for a Kerr black hole. Employing the covariant three- and four-point Compton amplitudes, we assemble the classical one-loop integrand on the maximal cut at all orders in spin, utilizing the method of unitarity. Expanding in powers of spin, we evaluate the one-loop amplitude up to $\mathcal O(G^2 a^8)$. Supplemented with extra contact contributions derived from the far-zone data of the Teukolsky solutions, the one-loop amplitude is in agreement with results available in the literature. We showcase the classical eikonal in the aligned-spin case at $\mathcal O(G^2 a^7)$.


title: Suitability of KANs for Computer Vision: A preliminary investigation

abstract: Kolmogorov-Arnold Networks (KANs) introduce a paradigm of neural modeling that implements learnable functions on the edges of the networks, diverging from the traditional node-centric activations in neural networks. This work assesses the applicability and efficacy of KANs in visual modeling, focusing on the image recognition task. We mainly analyze the performance and efficiency of different network architectures built using KAN concepts along with conventional building blocks of convolutional and linear layers, enabling a comparative analysis with the conventional models. Our findings are aimed at contributing to understanding the potential of KANs in computer vision, highlighting both their strengths and areas for further research. Our evaluation shows that whereas KAN-based architectures perform in-line with the original claims of KAN paper for performance and model-complexity in the case of simpler vision datasets like MNIST, the advantages seem to diminish even for slightly more complex datasets like CIFAR-10.


title: Dyadic obligations: proofs and countermodels via hypersequents

abstract: The basic system E of dyadic deontic logic proposed by {\AA}qvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E from a proof-theoretical viewpoint. We propose a hypersequent calculus with good properties, the most important of which is cut-elimination, and the consequent subformula property. The calculus is refined to obtain a decision procedure for E and an effective countermodel computation in case of failure of proof search. Using the refined calculus, we prove that validity in E is Co-NP and countermodels have polynomial size.


title: DiffPoGAN: Diffusion Policies with Generative Adversarial Networks for Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) can learn optimal policies from pre-collected offline datasets without interacting with the environment, but the sampled actions of the agent cannot often cover the action distribution under a given state, resulting in the extrapolation error issue. Recent works address this issue by employing generative adversarial networks (GANs). However, these methods often suffer from insufficient constraints on policy exploration and inaccurate representation of behavior policies. Moreover, the generator in GANs fails in fooling the discriminator while maximizing the expected returns of a policy. Inspired by the diffusion, a generative model with powerful feature expressiveness, we propose a new offline RL method named Diffusion Policies with Generative Adversarial Networks (DiffPoGAN). In this approach, the diffusion serves as the policy generator to generate diverse distributions of actions, and a regularization method based on maximum likelihood estimation (MLE) is developed to generate data that approximate the distribution of behavior policies. Besides, we introduce an additional regularization term based on the discriminator output to effectively constrain policy exploration for policy improvement. Comprehensive experiments are conducted on the datasets for deep data-driven reinforcement learning (D4RL), and experimental results show that DiffPoGAN outperforms state-of-the-art methods in offline RL.


title: Potential systems with singular $\Phi$-Laplacian

abstract: We are concerned with solvability of the boundary value problem $$-\left[ \phi(u^{\prime}) \right] ^{\prime}=\nabla_u F(t,u), \quad \left ( \phi \left( u^{\prime }\right)(0), -\phi \left( u^{\prime }\right)(T)\right )\in \partial j(u(0), u(T)),$$ where $\phi$ is a homeomorphism from $B_a$ -- the open ball of radius $a$ centered at $0_{\mathbb{R}^N},$ onto $\mathbb{R}^N$, satisfying $\phi(0_{\mathbb{R}^N})=0_{\mathbb{R}^N}$, $\phi =\nabla \Phi$, with $\Phi: \overline{B}_a \to (-\infty, 0]$ of class $C^1$ on $B_a$, continuous and strictly convex on $\overline{B}_a.$ The potential $F:[0,T] \times \mathbb{R}^N \to \mathbb{R}$ is of class $C^1$ with respect to the second variable and $j:\mathbb{R}^N \times \mathbb{R}^N \rightarrow (-\infty, +\infty]$ is proper, convex and lower semicontinuous. We first provide a variational formulation in the frame of critical point theory for convex, lower semicontinuous perturbations of $C^1$-functionals. Then, taking the advantage of this key step, we obtain existence of minimum energy as well as saddle-point solutions of the problem. Some concrete illustrative examples of applications are provided.


title: Simulations of distributed-phase-reference quantum key distribution protocols

abstract: Quantum technology can enable secure communication for cryptography purposes using quantum key distribution. Quantum key distribution protocols provide a secret key between two users with security guaranteed by the laws of quantum mechanics. To define the proper implementation of a quantum key distribution system using a particular cryptography protocol, it is crucial to critically and meticulously assess the device's performance due to technological limitations in the components used. We perform simulations on the ANSYS Interconnect platform to characterise the practical implementation of these devices using distributed-phase-reference protocols differential-phase-shift and coherent-one-way quantum key distribution. Further, we briefly describe and simulate some possible eavesdropping attempts, backflash attack, trojan-horse attack and detector-blinding attack exploiting the device imperfections.


title: A Functorial Version of Chevalley's Theorem on Constructible Sets

abstract: To determine whether an $n\times n$-matrix has rank at most $r$ it suffices to check that the $(r+1)\times (r+1)$-minors have rank at most $r$. In other words, to describe the set of $n\times n$-matrices with the property of having rank at most $r$, we only need the description of the corresponding subset of $(r+1)\times (r+1)$-matrices. We will generalize this observation to a large class of subsets of tensor spaces. A description of certain subsets of a high-dimensional tensor space can always be pulled back from a description of the corresponding subset in a fixed lower-dimensional tensor space.


title: The Observer Effect in Computer Networks

abstract: Network measurement involves an inherent tradeoff between accuracy and overhead; higher accuracy typically comes at the expense of greater measurement overhead (measurement frequency, number of probe packets, etc.). Capturing the "right" balance between these two desiderata - high accuracy and low overhead - is a key challenge. However, the manner in which accuracy and overhead are traded off is specific to the measurement method, rendering apples-to-apples comparisons difficult. To address this, we put forth a novel analytical framework for quantifying the accuracy-overhead tradeoff for network measurements. Our framework, inspired by the observer effect in modern physics, introduces the notion of a network observer factor, which formally captures the relation between measurement accuracy and overhead. Using our "network observer framework", measurement methods for the same task can be characterized in terms of their network observer factors, allowing for apples-to-apples comparisons. We illustrate the usefulness of our approach by showing how it can be applied to various application domains and validate its conclusions through experimental evaluation.


title: Recombination enables higher numbers of recessive genes, contributing to the emergence of sexual mating in complex organisms

abstract: The drift-barrier hypothesis states that random genetic drift constrains the refinement of a phenotype under natural selection. The influence of effective population size and the genome-wide deleterious mutation rate were studied theoretically, and an inverse relationship between mutation rate and genome size has been observed for many species. However, the effect of the recessive gene count, an important feature of the genomic architecture, is unknown. In a Wright-Fisher model, we studied the mutation burden for a growing number of N completely recessive and lethal disease genes. Diploid individuals are represented with a binary $2 \times N$ matrix denoting wild-type and mutated alleles. Analytic results for specific cases were complemented by simulations across a broad parameter regime for gene count, mutation and recombination rates. Simulations revealed transitions to higher mutation burden and prevalence within a few generations that were linked to the extinction of the wild-type haplotype (least-loaded class). This metastability, that is, phases of quasi-equilibrium with intermittent transitions, persists over $100\,000$ generations. The drift-barrier hypothesis is confirmed by a high mutation burden resulting in population collapse. Simulations showed the emergence of mutually exclusive haplotypes for a mutation rate above 0.02 lethal equivalents per generation for a genomic architecture and population size representing complex multicellular organisms such as humans. In such systems, recombination proves pivotal, preventing population collapse and maintaining a mutation burden below 10. This study advances our understanding of gene pool stability, and particularly the role of the number of recessive disorders. Insights into Muller`s ratchet dynamics are provided, and the essential role of recombination in curbing mutation burden and stabilizing the gene pool is demonstrated.


title: Modeling Comparative Logical Relation with Contrastive Learning for Text Generation

abstract: Data-to-Text Generation (D2T), a classic natural language generation problem, aims at producing fluent descriptions for structured input data, such as a table. Existing D2T works mainly focus on describing the superficial associative relations among entities, while ignoring the deep comparative logical relations, such as A is better than B in a certain aspect with a corresponding opinion, which is quite common in our daily life. In this paper, we introduce a new D2T task named comparative logical relation generation (CLRG). Additionally, we propose a Comparative Logic (CoLo) based text generation method, which generates texts following specific comparative logical relations with contrastive learning. Specifically, we first construct various positive and negative samples by fine-grained perturbations in entities, aspects and opinions. Then, we perform contrastive learning in the encoder layer to have a better understanding of the comparative logical relations, and integrate it in the decoder layer to guide the model to correctly generate the relations. Noting the data scarcity problem, we construct a Chinese Comparative Logical Relation Dataset (CLRD), which is a high-quality human-annotated dataset and challenging for text generation with descriptions of multiple entities and annotations on their comparative logical relations. Extensive experiments show that our method achieves impressive performance in both automatic and human evaluations.


title: Casimir energy of $N$ $\delta$-plates with constant conductivity

abstract: The Casimir energy for $N$ $\delta$-function plates depends on multiple scattering parameter $\Delta$. This $N$ body interaction was distributed into two body interactions with nearest neighbour scattering and next-to-nearest neighbour scattering based on partitions of $N-1$ and its permutations. Implementing this methodology, we investigate Casimir energy for multiple plates with constant conductivity relatable to Graphene. We also study Casimir interaction between a perfect magnetic conductor and multiple constant conductivity $\delta$ plates, which results in Boyer repulsion. In the asymptotic limit for ideal boundary conditions, the results become simple where multiple scattering parameter $\Delta$ consists only of nearest neighbour scattering term.


title: Adaptive Actor-Critic Based Optimal Regulation for Drift-Free Uncertain Nonlinear Systems

abstract: In this paper, a continuous-time adaptive actor-critic reinforcement learning (RL) controller is developed for drift-free nonlinear systems. Practical examples of such systems are image-based visual servoing (IBVS) and wheeled mobile robots (WMR), where the system dynamics includes a parametric uncertainty in the control effectiveness matrix with no drift term. The uncertainty in the input term poses a challenge for developing a continuous-time RL controller using existing methods. In this paper, an actor-critic or synchronous policy iteration (PI)-based RL controller is presented with a concurrent learning (CL)-based parameter update law for estimating the unknown parameters of the control effectiveness matrix. An infinite-horizon value function minimization objective is achieved by regulating the current states to the desired with near-optimal control efforts. The proposed controller guarantees closed-loop stability and simulation results validate the proposed theory using IBVS and WMR examples.


title: SciKnowEval: Evaluating Multi-level Scientific Knowledge of Large Language Models

abstract: The burgeoning utilization of Large Language Models (LLMs) in scientific research necessitates advanced benchmarks capable of evaluating their understanding and application of scientific knowledge comprehensively. To address this need, we introduce the SciKnowEval benchmark, a novel framework that systematically evaluates LLMs across five progressive levels of scientific knowledge: studying extensively, inquiring earnestly, thinking profoundly, discerning clearly, and practicing assiduously. These levels aim to assess the breadth and depth of scientific knowledge in LLMs, including knowledge coverage, inquiry and exploration capabilities, reflection and reasoning abilities, ethic and safety considerations, as well as practice proficiency. Specifically, we take biology and chemistry as the two instances of SciKnowEval and construct a dataset encompassing 50K multi-level scientific problems and solutions. By leveraging this dataset, we benchmark 20 leading open-source and proprietary LLMs using zero-shot and few-shot prompting strategies. The results reveal that despite achieving state-of-the-art performance, the proprietary LLMs still have considerable room for improvement, particularly in addressing scientific computations and applications. We anticipate that SciKnowEval will establish a comprehensive standard for benchmarking LLMs in science research and discovery, and promote the development of LLMs that integrate scientific knowledge with strong safety awareness. The dataset and code are publicly available at https://github.com/hicai-zju/sciknoweval .


title: Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications

abstract: Choreographic Programming (CP) is a language paradigm whereby software artefacts, called choreographies, specify the behaviour of communicating participants. CP is famous for its correctness-by-construction approach to the development of concurrent, distributed systems. In this paper, we illustrate FaaSChal, a proposal for a CP language tailored for the case of serverless Function-as-a-Service (FaaS). In FaaS, developers define a distributed architecture as a collection of stateless functions, leaving to the serverless platform the management of deployment and scaling. We provide a first account of a CP language tailored for the FaaS case via examples that present some of its relevant features, including projection. In addition, we showcase a novel application of CP. We use the choreography as a source to extract information on the infrastructural relations among functions so that we can synthesise policies that strive to minimise their latency while guaranteeing the respect of user-defined constraints.


title: Emergence of superradiance in dissipative dipolar-coupled spin systems

abstract: In the superradiance phenomenon, a collection of non-interacting atoms exhibits collective dissipation due to interaction with a common radiation field, resulting in a non-monotonic decay profile. This work shows that dissipative dipolar-coupled systems exhibit an identical collective dissipation aided by the nonsecular part of the dipolar coupling. We consider a simplified dipolar network where the dipolar interaction between the spin-pairs is assumed to be identical. Hence the dynamics remain confined in the block diagonal Hilbert spaces. For a suitable choice of the initial condition, the resulting dynamics require dealing with a smaller subspace which helps extend the analysis to a larger spin network. To include the nonsecular dipolar relaxation, we use a fluctuation-regulated quantum master equation. We note that a successful observation of superradiance in this system requires a weak system-bath coupling. Moreover, we find that for an ensemble of N spins, the maximum intensity of the radiation exhibits a nearly quadratic scaling (N^2), and the dipolar relaxation time follows an inverse square proportionality (1/N^2); these two observations help characterize the emergence of superradiance. Our results agree well with the standard results of pure spin superradiance observed experimentally in various systems.


title: V-static metrics and the volume-renormalised mass

abstract: V-static metrics generalise the notion of static metrics, and stem from the work of Miao and Tam [arXiv:0807.2693], and Corvino, Eichmair and Miao [arXiv:1211.6168] on critical points of the volume functional over the space of compact manifolds with constant scalar curvature. In this article we show that these V-static metrics arise naturally in the context of asymptotically hyperbolic manifolds as critical points of the volume-renormalised mass, recently introduced by Dahl, Kr\"oncke and the author [arXiv:2307.06196]. In particular, we show that critical points of the volume-renormalised mass over the space of constant scalar curvature asymptotically hyperbolic manifolds without boundary, or satisfying appropriate boundary conditions, are exactly V-static metrics. This is directly analogous to the relationship between critical points of the ADM mass and static metrics for asymptotically flat manifolds.


title: Analytic smoothing effect of the Cauchy problem for a class of ultra-parabolic equations

abstract: In this paper, we study a class of strongly degenerate ultraparabolic equations with analytic coefficients. We demonstrate that the Cauchy problem exhibits an analytic smoothing effect. This means that, with an initial datum belonging to the Sobolev space $H^s$ (of real index s), the associated Cauchy problem admits a unique solution that is analytic in all spatial variables for any strictly positive time. This smoothing effect property is similar to that of the Cauchy problem for uniformly parabolic equations with analytic coefficients.


title: Chain-of-Though (CoT) prompting strategies for medical error detection and correction

abstract: This paper describes our submission to the MEDIQA-CORR 2024 shared task for automatically detecting and correcting medical errors in clinical notes. We report results for three methods of few-shot In-Context Learning (ICL) augmented with Chain-of-Thought (CoT) and reason prompts using a large language model (LLM). In the first method, we manually analyse a subset of train and validation dataset to infer three CoT prompts by examining error types in the clinical notes. In the second method, we utilise the training dataset to prompt the LLM to deduce reasons about their correctness or incorrectness. The constructed CoTs and reasons are then augmented with ICL examples to solve the tasks of error detection, span identification, and error correction. Finally, we combine the two methods using a rule-based ensemble method. Across the three sub-tasks, our ensemble method achieves a ranking of 3rd for both sub-task 1 and 2, while securing 7th place in sub-task 3 among all submissions.


title: A nA-Range Area-Efficient Sub-100-ppm/{\deg}C Peaking Current Reference Using Forward Body Biasing in 0.11-$\mu$m Bulk and 22-nm FD-SOI

abstract: In recent years, the development of the Internet of Things (IoT) has prompted the search for nA-range current references that are simultaneously constrained to a small area and robust to process, voltage and temperature variations. Yet, such references have remained elusive, as existing architectures fail to reach a low temperature coefficient (TC) while minimizing silicon area. In this work, we propose a nA-range constant-with-temperature (CWT) peaking current reference, in which a resistor is biased by the threshold voltage difference between two transistors in weak inversion. This bias voltage is lower than in conventional architectures to cut down the silicon area occupied by the resistor and is obtained by forward body biasing one of the two transistors with an ultra-low-power voltage reference so as to reduce its threshold voltage. In addition, the proposed reference includes a circuit to suppress the leakage of parasitic diodes at high temperature, and two simple trimming mechanisms for the reference current and its TC. As the proposed design relies on the body effect, it has been validated in both 0.11-$\mu$m bulk and 22-nm fully-depleted silicon-on-insulator, to demonstrate feasibility across different technology types. In post-layout simulation, the 0.11-$\mu$m design generates a 5-nA current with a 65-ppm/{\deg}C TC and a 2.84-%/V line sensitivity (LS), while in measurement, the 22-nm design achieves a 1.5-nA current with an 89-ppm/{\deg}C TC and a 0.51-%/V LS. As a result of the low resistor bias voltage, the proposed references occupy a silicon area of 0.00954 mm$^2$ in 0.11 $\mu$m (resp. 0.00214 mm$^2$ in 22 nm) at least 1.8$\times$ (resp. 8.2$\times$) smaller than fabricated nA-range CWT references, but with a TC improved by 6.1$\times$ (resp. 4.4$\times$).


title: INS-MMBench: A Comprehensive Benchmark for Evaluating LVLMs' Performance in Insurance

abstract: Large Vision-Language Models (LVLMs) have demonstrated outstanding performance in various general multimodal applications such as image recognition and visual reasoning, and have also shown promising potential in specialized domains. However, the application potential of LVLMs in the insurance domain-characterized by rich application scenarios and abundant multimodal data-has not been effectively explored. There is no systematic review of multimodal tasks in the insurance domain, nor a benchmark specifically designed to evaluate the capabilities of LVLMs in insurance. This gap hinders the development of LVLMs within the insurance domain. In this paper, we systematically review and distill multimodal tasks for four representative types of insurance: auto insurance, property insurance, health insurance, and agricultural insurance. We propose INS-MMBench, the first comprehensive LVLMs benchmark tailored for the insurance domain. INS-MMBench comprises a total of 2.2K thoroughly designed multiple-choice questions, covering 12 meta-tasks and 22 fundamental tasks. Furthermore, we evaluate multiple representative LVLMs, including closed-source models such as GPT-4o and open-source models like BLIP-2. This evaluation not only validates the effectiveness of our benchmark but also provides an in-depth performance analysis of current LVLMs on various multimodal tasks in the insurance domain. We hope that INS-MMBench will facilitate the further application of LVLMs in the insurance domain and inspire interdisciplinary development. Our dataset and evaluation code are available at https://github.com/FDU-INS/INS-MMBench.


title: Selecting Alternative Metals for Advanced Interconnects

abstract: Today, interconnect resistance and reliability are key limiters for the performance of advanced CMOS circuits. As transistor scaling is slowing, interconnect scaling has become the main driver for circuit miniaturization, and interconnect limitations are expected to become even more stringent in future CMOS technology nodes. Current Cu dual-damascene metallization is also becoming increasingly challenging as critical interconnect dimensions approach 10 nm, alternative metallization schemes are researched with increasing intensity for about a decade. The selection of alternative metals is a highly multifaceted task and includes many criteria, covering the resistivity at reduced dimension, reliability and thermal aspects, as well as a sustainability perspective. In this tutorial, we introduce the basic criteria for alternative metal benchmarking and selection, and discuss the current state of the art of the field. The tutorial covers materials close to manufacturing introduction, materials under actual research, as well as future directions for fundamental research. While first alternatives to Cu metallization in commercial CMOS devices have become a reality recently, research for the ultimate interconnect metal is ongoing.


title: Square-roots and lattices

abstract: We construct a point set in the Euclidean plane that elucidates the relationship between the fine-scale statistics of the fractional parts of $\sqrt n$ and directional statistics for a shifted lattice. We show that the randomly rotated, and then stretched, point set converges in distribution to a lattice-like random point process. This follows closely the arguments in Elkies and McMullen's original analysis for the gap statistics of $\sqrt{n}$ mod 1 in terms of random affine lattices [Duke Math. J. 123 (2004), 95-139]. There is, however, a curious subtlety: the limit process emerging in our construction is NOT invariant under the standard $\mathrm{SL}(2,\mathbb{R})$-action on $\mathbb{R}^2$.


title: The Brownian loop measure on Riemann surfaces and applications to length spectra

abstract: We prove a simple identity relating the length spectrum of a Riemann surface to that of the same surface with an arbitrary number of additional cusps. Our proof uses the Brownian loop measure introduced by Lawler and Werner. In particular, we express the total mass of Brownian loops in a fixed free homotopy class on any Riemann surface in terms of the length of the geodesic representative for the complete constant curvature metric. This expression also allows us to write the electrical thickness of a compact set in $\mathbb C$ separating $0$ and $\infty$, or the Velling--Kirillov K\"ahler potential, in terms of the Brownian loop measure and the zeta-regularized determinant of Laplacian as a renormalization of the Brownian loop measure with respect to the length spectrum.


title: Projection algebras and free projection- and idempotent-generated regular $*$-semigroups

abstract: The purpose of this paper is to introduce a new family of semigroups - the free projection-generated regular $*$-semigroups - and initiate their systematic study. Such a semigroup $PG(P)$ is constructed from a projection algebra $P$, using the recent groupoid approach to regular $*$-semigroups. The assignment $P\mapsto PG(P)$ is a left adjoint to the forgetful functor that maps a regular $*$-semigroup $S$ to its projection algebra $P(S)$. In fact, the category of projection algebras is coreflective in the category of regular $*$-semigroups. The algebra $P(S)$ uniquely determines the biordered structure of the idempotents $E(S)$, up to isomorphism, and this leads to a category equivalence between projection algebras and regular $*$-biordered sets. As a consequence, $PG(P)$ can be viewed as a quotient of the classical free idempotent-generated (regular) semigroups $IG(E)$ and $RIG(E)$, where $E=E(PG(P))$; this is witnessed by a number of presentations in terms of generators and defining relations. The semigroup $PG(P)$ can also be viewed as the fundamental groupoid of a simplicial complex explicitly constructed from $P$. The theory is then illustrated on a number of examples. In one direction, the free construction applied to the projection algebras of adjacency semigroups yields a new family of graph-based path semigroups. In another, it turns out that, remarkably, the Temperley-Lieb monoid $TL_n$ is the free regular $*$-semigroup over its own projection algebra $P(TL_n)$.


title: A Practical Protocol for Quantum Oblivious Transfer from One-Way Functions

abstract: We present a new simulation-secure quantum oblivious transfer (QOT) protocol based on one-way functions in the plain model. With a focus on practical implementation, our protocol surpasses prior works in efficiency, promising feasible experimental realization. We address potential experimental errors and their correction, offering analytical expressions to facilitate the analysis of the required quantum resources. Technically, we achieve simulation security for QOT through an equivocal and relaxed-extractable quantum bit commitment.


title: Optimal demonstration of generalized quantum contextuality

abstract: Finding a set of empirical criteria fulfilled by any theory that satisfies the generalized notion of noncontextuality is a challenging task of both operational and foundational importance. The conventional approach of deriving facet inequalities from the relevant noncontextual polytope is computationally demanding. Specifically, the noncontextual polytope is a product of two polytopes, one for preparations and the other for measurements, and the dimension of the former typically increases polynomially with the number of measurements. This work presents an alternative methodology for constructing a polytope that encompasses the actual noncontextual polytope while ensuring that the dimension of the polytope associated with the preparations remains constant regardless of the number of measurements and their outcome size. In particular, the facet inequalities of this polytope serve as necessary conditions for noncontextuality. To demonstrate the efficacy of our methodology, we apply it to nine distinct contextuality scenarios involving four to nine preparations and two to three measurements to obtain the respective sets of facet inequalities. Additionally, we retrieve the maximum quantum violations of these inequalities. Our investigation uncovers many novel non-trivial noncontextuality inequalities and reveals intriguing aspects and applications of quantum contextual correlations.


title: Large-Scale Evaluation of Open-Set Image Classification Techniques

abstract: The goal for classification is to correctly assign labels to unseen samples. However, most methods misclassify samples with unseen labels and assign them to one of the known classes. Open-Set Classification (OSC) algorithms aim to maximize both closed and open-set recognition capabilities. Recent studies showed the utility of such algorithms on small-scale data sets, but limited experimentation makes it difficult to assess their performances in real-world problems. Here, we provide a comprehensive comparison of various OSC algorithms, including training-based (SoftMax, Garbage, EOS) and post-processing methods (Maximum SoftMax Scores, Maximum Logit Scores, OpenMax, EVM, PROSER), the latter are applied on features from the former. We perform our evaluation on three large-scale protocols that mimic real-world challenges, where we train on known and negative open-set samples, and test on known and unknown instances. Our results show that EOS helps to improve performance of almost all post-processing algorithms. Particularly, OpenMax and PROSER are able to exploit better-trained networks, demonstrating the utility of hybrid models. However, while most algorithms work well on negative test samples -- samples of open-set classes seen during training -- they tend to perform poorly when tested on samples of previously unseen unknown classes, especially in challenging conditions.


title: The Milky Way as seen by Classical Cepheids I: distances based on mid-infrared photometry

abstract: Classical Cepheids are the archetype of the standard candle, thanks to the period-luminosity relation which allows to measure their intrinsic brightness. They are also relatively young and bright, potentially making them excellent tracers of the young stellar population that is responsible for shaping the visible aspect of our Galaxy, the Milky Way. However, being observers embedded in the dusty interstellar medium of the Galaxy, deriving reliable photometric distances to classical Cepheids of the Milky Way is a challenge. The typical approach is to use reddening-free indices, such as Wesenheit magnitudes, to obviate the need for an extinction correction. However, this approach is not reliable - especially toward the inner Galaxy - as its assumption of a universal total-to-selective extinction ratio is not satisfied, particularly in lines-of-sight where the extinction is high and crosses spiral arms. We instead estimate new distances for 3425 Cepheids based on mid-IR photometry from WISE, which suffers minimally from extinction, and by adopting a 3D extinction map to calculate the necessary (albeit small) extinction corrections. We show that our distances are consistent with Gaia's parallaxes for the subset with relative parallax errors smaller than 10%, verifying that our mean distance errors are of the order of 13% and that the mean parallax zero point for this subsample is 7 $\mu$as. The catalog of Cepheid distances is made available online.


title: Polynomial p-adic Low-Discrepancy Sequences

abstract: The classic example of a low-discrepancy sequence in $\mathbb{Z}_p$ is $(x_n) = an+b$ with $a \in \mathbb{Z}_p^x$ and $b \in \mathbb{Z}_p$. Here we address the non-linear case and show that a polynomial $f$ generates a low-discrepancy sequence in $\mathbb{Z}_p$ if and only if it is a permutation polynomial $\mod p$ and $\mod p^2$. By this it is possible to construct non-linear examples of low-discrepancy sequences in $\mathbb{Z}_p$ for all primes $p$. Moreover, we prove a criterion which decides for any given polynomial in $\mathbb{Z}_p$ with $p \in \left\{ 3,5, 7\right\}$ if it generates a low-discrepancy sequence. We also discuss connections to the theories of Poissonian pair correlations and real discrepancy.


title: Quantum space-time Poincar\'e inequality for Lindblad dynamics

abstract: We investigate the mixing properties of primitive hypocoercive Lindblad dynamics. By extending the variational framework originally developed for underdamped Langevin dynamics, we derive fully explicit and constructive exponential decay estimates for the convergence in the noncommutative $L^2$-norm. Our analysis relies on establishing a quantum analog of space-time Poincar\'{e} inequalities. To complement these hypocoercive estimates, we also analyze the limiting behavior of the spectral gap for Lindblad dynamics with a large coherent contribution, providing sharper convergence rate estimates in this asymptotic regime. A number of concrete examples are provided as applications of our theoretical results.


title: Injective Flows for parametric hypersurfaces

abstract: Normalizing Flows (NFs) are powerful and efficient models for density estimation. When modeling densities on manifolds, NFs can be generalized to injective flows but the Jacobian determinant becomes computationally prohibitive. Current approaches either consider bounds on the log-likelihood or rely on some approximations of the Jacobian determinant. In contrast, we propose injective flows for parametric hypersurfaces and show that for such manifolds we can compute the Jacobian determinant exactly and efficiently, with the same cost as NFs. Furthermore, we show that for the subclass of star-like manifolds we can extend the proposed framework to always allow for a Cartesian representation of the density. We showcase the relevance of modeling densities on hypersurfaces in two settings. Firstly, we introduce a novel Objective Bayesian approach to penalized likelihood models by interpreting level-sets of the penalty as star-like manifolds. Secondly, we consider Bayesian mixture models and introduce a general method for variational inference by defining the posterior of mixture weights on the probability simplex.


title: PC-LoRA: Low-Rank Adaptation for Progressive Model Compression with Knowledge Distillation

abstract: Low-rank adaption (LoRA) is a prominent method that adds a small number of learnable parameters to the frozen pre-trained weights for parameter-efficient fine-tuning. Prompted by the question, ``Can we make its representation enough with LoRA weights solely at the final phase of finetuning without the pre-trained weights?'' In this work, we introduce Progressive Compression LoRA~(PC-LoRA), which utilizes low-rank adaptation (LoRA) to simultaneously perform model compression and fine-tuning. The PC-LoRA method gradually removes the pre-trained weights during the training process, eventually leaving only the low-rank adapters in the end. Thus, these low-rank adapters replace the whole pre-trained weights, achieving the goals of compression and fine-tuning at the same time. Empirical analysis across various models demonstrates that PC-LoRA achieves parameter and FLOPs compression rates of 94.36%/89.1% for vision models, e.g., ViT-B, and 93.42%/84.2% parameters and FLOPs compressions for language models, e.g., BERT.


title: Second Order Shape Optimization for an Interface Identification Problem constrained by Nonlocal Models

abstract: Since shape optimization methods have been proven useful for identifying interfaces in models governed by partial differential equations, we show how shape optimization techniques can also be applied to an interface identification problem constrained by a nonlocal Dirichlet problem. Here, we focus on deriving the second shape derivative of the corresponding reduced functional and we further investigate a second order optimization algorithm.


title: On Modulation and Translation Invariant Operators and the Heisenberg Module

abstract: We investigate spaces of operators which are invariant under translations or modulations by lattices in phase space. The natural connection to the Heisenberg module is considered, giving results on the characterisation of such operators as limits of finite--rank operators. Discrete representations of these operators in terms of elementary objects and the composition calculus are given. Different quantisation schemes are discussed with respect to the results.


title: Direct Imitation Learning-based Visual Servoing using the Large Projection Formulation

abstract: Today robots must be safe, versatile, and user-friendly to operate in unstructured and human-populated environments. Dynamical system-based imitation learning enables robots to perform complex tasks stably and without explicit programming, greatly simplifying their real-world deployment. To exploit the full potential of these systems it is crucial to implement closed loops that use visual feedback. Vision permits to cope with environmental changes, but is complex to handle due to the high dimension of the image space. This study introduces a dynamical system-based imitation learning for direct visual servoing. It leverages off-the-shelf deep learning-based perception backbones to extract robust features from the raw input image, and an imitation learning strategy to execute sophisticated robot motions. The learning blocks are integrated using the large projection task priority formulation. As demonstrated through extensive experimental analysis, the proposed method realizes complex tasks with a robotic manipulator.


title: MMRel: A Relation Understanding Dataset and Benchmark in the MLLM Era

abstract: Despite the recent advancements in Multi-modal Large Language Models (MLLMs), understanding inter-object relations, i.e., interactions or associations between distinct objects, remains a major challenge for such models. This issue significantly hinders their advanced reasoning capabilities and is primarily due to the lack of large-scale, high-quality, and diverse multi-modal data essential for training and evaluating MLLMs. In this paper, we provide a taxonomy of inter-object relations and introduce Multi-Modal Relation Understanding (MMRel), a comprehensive dataset designed to bridge this gap by providing large-scale, high-quality and diverse data for studying inter-object relations with MLLMs. MMRel features three distinctive attributes: (i) It includes over 15K question-answer pairs, which are sourced from three distinct domains, ensuring large scale and high diversity; (ii) It contains a subset featuring highly unusual relations, on which MLLMs often fail due to hallucinations, thus are very challenging; (iii) It provides manually verified high-quality labels for inter-object relations. Thanks to these features, MMRel is ideal for evaluating MLLMs on relation understanding, as well as being used to fine-tune MLLMs to enhance relation understanding and even benefit overall performance in various vision-language tasks. Extensive experiments on various popular MLLMs validate the effectiveness of MMRel. Both MMRel dataset and the complete labeling scripts have been made publicly available.


title: Primordial black hole formation from self-resonant preheating?

abstract: We revisit the question of how generic is the formation of primordial black holes via self-resonant growth of inflaton fluctuations in the post-inflationary, preheating phase. Using analytical and lattice calculations, we find that primordial black hole production is far from being a generic outcome. Also, in most of the parameter space of viable inflationary models, the metric preheating term is subleading to the anharmonic terms and the approximation of a quadratic potential for describing the resonance dynamics is inadequate. Nonetheless, the anharmonicity of the potential cannot be used to rescue the mechanism: The generic outcome of the non-linear evolution of the scalar field in this case is the formation of metastable transients or oscillons, that do not generically collapse into black holes.


title: PSN: Persian Social Norms Dataset for Cross-Cultural AI

abstract: Datasets capturing cultural norms are essential for developing globally aware AI systems. We present Persian Social Norms (PSN) a novel dataset of over 1.7k Persian social norms, including environments, contexts, and cultural labels, alongside English translations. Leveraging large language models and prompt-engineering techniques, we generated potential norms that were reviewed by native speakers for quality and ethical compliance. As the first Persian dataset of its kind, this resource enables computational modeling of norm adaptation, a crucial challenge for cross-cultural AI informed by diverse cultural perspectives.


title: Higher dimensional moduli spaces on Kuznetsov components of Fano threefolds

abstract: We study moduli spaces of stable objects in the Kuznetsov components of Fano threefolds. We prove a general non-emptiness criterion for moduli spaces, which applies to the cases of prime Fano threefolds of index $1$, degree $10 \leq d \leq 18$, and index $2$, degree $d \leq 4$. In the second part, we focus on cubic threefolds. We show the irreducibility of the moduli spaces, and that the general fibers of the Abel--Jacobi maps from the moduli spaces to the intermediate Jacobian are Fano varieties. When the dimension is sufficiently large, we further show that the general fibers of the Abel--Jacobi maps are stably birational equivalent to each other. As an application of our methods, we prove Conjecture A.1 in [FGLZ24] concerning the existence of Lagrangian subvarieties in moduli spaces of stable objects in the Kuznetsov components of very general cubic fourfolds.


title: Wavelength tuning of VCSELs via controlled strain

abstract: Besides major advantages for telecommunication applications, VCSELs have attracted interest for their potential for neuro-inspired computing, frequency comb generation or high-frequency spin oscillations. In the meantime, strain applied to the laser structure has been shown to have a significant impact on the laser emission properties such as the polarization dynamics or birefringence. In this work, we further explore the influence of strain on VCSELs and how this effect could be used to fine tune the laser wavelength. Through a comprehensive investigation, we demonstrate consistent wavelength shift up to 1 nm and report a sensitivity between 0.12 to 0.18 nm / millistrain. We also record birefringence values up to 292 GHz. Our results show that controlled strain level could be considered for fine wavelength tuning and possibly alleviate the selection of VCSEL for precise wavelength requirements.


title: Auto-Vocabulary Segmentation for LiDAR Points

abstract: Existing perception methods for autonomous driving fall short of recognizing unknown entities not covered in the training data. Open-vocabulary methods offer promising capabilities in detecting any object but are limited by user-specified queries representing target classes. We propose AutoVoc3D, a framework for automatic object class recognition and open-ended segmentation. Evaluation on nuScenes showcases AutoVoc3D's ability to generate precise semantic classes and accurate point-wise segmentation. Moreover, we introduce Text-Point Semantic Similarity, a new metric to assess the semantic similarity between text and point cloud without eliminating novel classes.


title: The Milky Way as Seen by Classical Cepheids II: Spiral Structure

abstract: As a relatively young and bright population, and the archetype of standard candles, classical Cepheids make an ideal population to trace non-axisymmetric structure in the young stellar disk to large distances. We use the new distances derived in Paper I based on mid-IR WISE photometry for a selected sample of 2857 dynamically young Cepheids to trace the spiral arms of the Milky Way. The Perseus and Sagittarius-Carina arms are clearly evident in the third and fourth Galactic quadrants, while the Local and Scutum arms are much weaker, with extinction severely limiting our view of the latter, inner-most spiral arm. Pitch angles are derived for each arm over various ranges of galactic azimuth, each covering at least 90{\deg} in azimuth. Our method of detecting spiral arms and deriving pitch angles does not rely on pre-assigning sources to specific arms. While spiral structure in the first and second quadrant is not obvious, in part due to extinction effects, it is not inconsistent with that seen in the third and fourth quadrants. In summary, the Cepheids allow us to map spiral structure in the third and fourth Galactic quadrants where there are currently few masers with astrometric parallaxes, thus significantly extending our picture of the Milky Way on large-scales.


title: CoastTerm: a Corpus for Multidisciplinary Term Extraction in Coastal Scientific Literature

abstract: The growing impact of climate change on coastal areas, particularly active but fragile regions, necessitates collaboration among diverse stakeholders and disciplines to formulate effective environmental protection policies. We introduce a novel specialized corpus comprising 2,491 sentences from 410 scientific abstracts concerning coastal areas, for the Automatic Term Extraction (ATE) and Classification (ATC) tasks. Inspired by the ARDI framework, focused on the identification of Actors, Resources, Dynamics and Interactions, we automatically extract domain terms and their distinct roles in the functioning of coastal systems by leveraging monolingual and multilingual transformer models. The evaluation demonstrates consistent results, achieving an F1 score of approximately 80\% for automated term extraction and F1 of 70\% for extracting terms and their labels. These findings are promising and signify an initial step towards the development of a specialized Knowledge Base dedicated to coastal areas.


title: Si1-x-yGeySnx alloy formation by Sn ion implantation and flash lamp annealing

abstract: For many years, Si1-yGey alloys have been applied in the semiconductor industry due to the ability to adjust the performance of Si-based nanoelectronic devices. Following this alloying approach of group-IV semiconductors, adding tin (Sn) into the alloy appears as the obvious next step, which leads to additional possibilities for tailoring the material properties. Adding Sn enables effective band gap and strain engineering and can improve the carrier mobilities, which makes Si1-x-yGeySnx alloys promising candidates for future opto- and nanoelectronics applications. The bottom-up approach for epitaxial growth of Si1-x-yGeySnx, e.g., by chemical vapor deposition and molecular beam epitaxy, allows tuning the material properties in the growth direction only; the realization of local material modifications to generate lateral heterostructures with such a bottom-up approach is extremely elaborate, since it would require the use of lithography, etching, and either selective epitaxy or epitaxy and chemical-mechanical polishing giving rise to interface issues, non-planar substrates, etc. This article shows the possibility of fabricating Si1-x-yGeySnx alloys by Sn ion beam implantation into Si1-yGey layers followed by millisecond-range flash lamp annealing (FLA). The materials are investigated by Rutherford backscattering spectrometry, micro Raman spectroscopy, X-ray diffraction, and transmission electron microscopy. The fabrication approach was adapted to ultra-thin Si1-yGey layers on silicon-on-insulator substrates. The results show the fabrication of single-crystalline Si1-x-yGeySnx with up to 2.3 at.% incorporated Sn without any indication of Sn segregation after recrystallization via FLA. Finally, we exhibit the possibility of implanting Sn locally in ultra-thin Si1-yGey films by masking unstructured regions on the chip.


title: Time-Series Forecasting for Out-of-Distribution Generalization Using Invariant Learning

abstract: Time-series forecasting (TSF) finds broad applications in real-world scenarios. Due to the dynamic nature of time-series data, it is crucial to equip TSF models with out-of-distribution (OOD) generalization abilities, as historical training data and future test data can have different distributions. In this paper, we aim to alleviate the inherent OOD problem in TSF via invariant learning. We identify fundamental challenges of invariant learning for TSF. First, the target variables in TSF may not be sufficiently determined by the input due to unobserved core variables in TSF, breaking the conventional assumption of invariant learning. Second, time-series datasets lack adequate environment labels, while existing environmental inference methods are not suitable for TSF. To address these challenges, we propose FOIL, a model-agnostic framework that enables timeseries Forecasting for Out-of-distribution generalization via Invariant Learning. FOIL employs a novel surrogate loss to mitigate the impact of unobserved variables. Further, FOIL implements a joint optimization by alternately inferring environments effectively with a multi-head network while preserving the temporal adjacency structure, and learning invariant representations across inferred environments for OOD generalized TSF. We demonstrate that the proposed FOIL significantly improves the performance of various TSF models, achieving gains of up to 85%.