title: Hierarchical Structure and Self-gravity in the Maddalena Giant Molecular Cloud

abstract: In this work, we present the data from the Milky Way Imaging Scroll Painting (MWISP) project for the Maddalena giant molecular cloud (GMC). We decompose the 13CO emission datacube of the observed region into hierarchical substructures using a modified Dendrogram algorithm. We investigate the statistical properties of these substructures and examine the role that self-gravity plays on various spatial scales. The statistics of the mass (M), radius (R), velocity dispersion ({\sigma}v), virial parameter ({\alpha}vir), and sonic Mach number of the substructures are presented. The radius and mass distributions and the {\sigma}v-R scaling relationship of the substructures resemble those reported in previous studies that use non-hierarchical algorithms to identify the entities. We find that for the hierarchical substructures {\alpha}vir decreases as the radius or mass of the substructures increases. The majority of the substructures in the quiescent region of Maddalena GMC are not gravitationally bound ({\alpha}vir > 2), while most of the substructures in the star-forming regions are gravitationally bound ({\alpha}vir < 2). Furthermore, we find that self-gravity plays an important role on scales of 0.8-4 pc in the IRAS 06453 star-forming region, while it is not an important factor on scales below 5 pc in the non-star-forming region.


title: MAE-GAN: A Novel Strategy for Simultaneous Super-resolution Reconstruction and Denoising of Post-stack Seismic Profile

abstract: Post-stack seismic profiles are images reflecting containing geological structures which provides a critical foundation for understanding the distribution of oil and gas resources. However, due to the limitations of seismic acquisition equipment and data collecting geometry, the post-stack profiles suffer from low resolution and strong noise issues, which severely affects subsequent seismic interpretation. To better enhance the spatial resolution and signal-to-noise ratio of post-seismic profiles, a multi-scale attention encoder-decoder network based on generative adversarial network (MAE-GAN) is proposed. This method improves the resolution of post-stack profiles, and effectively suppresses noises and recovers weak signals as well. A multi-scale residual module is proposed to extract geological features under different receptive fields. At the same time, an attention module is designed to further guide the network to focus on important feature information. Additionally, to better recover the global and local information of post-stack profiles, an adversarial network based on a Markov discriminator is proposed. Finally, by introducing an edge information preservation loss function, the conventional loss function of the Generative Adversarial Network is improved, which enables better recovery of the edge information of the original post-stack profiles. Experimental results on simulated and field post-stack profiles demonstrate that the proposed MAE-GAN method outperforms two advanced convolutional neural network-based methods in noise suppression and weak signal recovery. Furthermore, the profiles reconstructed by the MAE-GAN method preserve more geological structures.


title: Measurement-Induced Phase Transition in Free Bosons

abstract: The competition between quantum many-particle dynamics and continuous monitoring can lead to measurement-induced phase transitions (MIPTs). So far, MIPTs have been much explored in fermionic or spin systems. To examine the possibility of a MIPT in bosonic systems, we study the entanglement structure in continuously monitored free bosons with long-range couplings. When the measurement is local, we find that no MIPTs occur because the substantial entanglement generated by the long-range coupling overcome the entanglement destruction due to the measurement. In contrast, we show that the nonlocal measurement can efficiently suppress the entanglement generation, leading to a MIPT where the bipartite entanglement entropy exhibits the subvolume-to-area law transition as the measurement strength is increased. Possible experimental relevance to levitated nanoparticle arrays is also briefly discussed.


title: All-In-One Medical Image Restoration via Task-Adaptive Routing

abstract: Although single-task medical image restoration (MedIR) has witnessed remarkable success, the limited generalizability of these methods poses a substantial obstacle to wider application. In this paper, we focus on the task of all-in-one medical image restoration, aiming to address multiple distinct MedIR tasks with a single universal model. Nonetheless, due to significant differences between different MedIR tasks, training a universal model often encounters task interference issues, where different tasks with shared parameters may conflict with each other in the gradient update direction. This task interference leads to deviation of the model update direction from the optimal path, thereby affecting the model's performance. To tackle this issue, we propose a task-adaptive routing strategy, allowing conflicting tasks to select different network paths in spatial and channel dimensions, thereby mitigating task interference. Experimental results demonstrate that our proposed \textbf{A}ll-in-one \textbf{M}edical \textbf{I}mage \textbf{R}estoration (\textbf{AMIR}) network achieves state-of-the-art performance in three MedIR tasks: MRI super-resolution, CT denoising, and PET synthesis, both in single-task and all-in-one settings. The code and data will be available at \href{https://github.com/Yaziwel/All-In-One-Medical-Image-Restoration-via-Task-Adaptive-Routing.git}{https://github.com/Yaziwel/AMIR}.


title: MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers

abstract: The recent performance improvements in mixed-integer programming (MIP) went along with a significantly increased complexity of the codes of MIP solvers, which poses challenges in fixing implementation errors. In this paper, we introduce MIP-DD, a solver-independent tool, which is, to the best of our knowledge, the first open-source delta debugger for MIP. Delta debugging is a hypothesis-trial-result approach to isolate the cause of a solver failure. MIP-DD simplifies MIP instances while maintaining the undesired behavior and already supported and motivated fixes for many bugs in the SCIP releases 8.0.4, 8.1.0, and 9.0.0. This translates to an increase of approximately 71.% more bugfixes than in the same time period before and including some fixes of long-known issues. As we highlight in selected case studies, instances triggering fundamental bugs in SCIP can typically be reduced to a few variables and constraints in less than an hour. This makes it significantly easier to manually trace and check the solution process on the resulting simplified instances. A promising future application of MIP-DD is the analysis of performance bottlenecks, which could very well benefit from simple adversarial instances.


title: Data Service Maximization in Integrated Terrestrial-Non-Terrestrial 6G Networks: A Deep Reinforcement Learning Approach

abstract: Integrating terrestrial and non-terrestrial networks has emerged as a promising paradigm to fulfill the constantly growing demand for connectivity, low transmission delay, and quality of services (QoS). This integration brings together the strengths of terrestrial and non-terrestrial networks, such as the reliability of terrestrial networks, broad coverage, and service continuity of non-terrestrial networks like low earth orbit (LEO) satellites. In this work, we study a data service maximization problem in an integrated terrestrial-non-terrestrial network (I-TNT) where the ground base stations (GBSs) and LEO satellites cooperatively serve the coexisting aerial users (AUs) and ground users (GUs). Then, by considering the spectrum scarcity, interference, and QoS requirements of the users, we jointly optimize the user association, AUE's trajectory, and power allocation. To tackle the formulated mixed-integer non-convex problem, we disintegrate it into two subproblems: 1) user association problem and 2) trajectory and power allocation problem. Since the user association problem is a binary integer programming problem, we use the standard convex optimization method to solve it. Meanwhile, the trajectory and power allocation problem is solved by the deep deterministic policy gradient (DDPG) method to cope with the problem's non-convexity and dynamic network environments. Then, the two subproblems are alternately solved by the proposed iterative algorithm. By comparing with the baselines in the existing literature, extensive simulations are conducted to evaluate the performance of the proposed framework.


title: New Exponential operators connected with a^2+x^2: a generalization of Post-Widder and Ismail May

abstract: The present study offers a general exponential operator connected with a^2+x^2; for positive real "a". We estimate the asymptotic formula for simultaneous and ordinary approximation of the constructed operator. In the last section, we graphically interpret the created operator's convergence to two periodic functions "x sin(x)" and "-x/2*cos(pi*x)". We also consider the limiting case a tends to 0; which provides Post-Widder operator. In addition, we analyze each particular case of the defined operator and determine the optimal value of "a", that would yield the greatest approximation; this facilitates us to contrast the well-known operators existing in the literature, especially the Post-Widder operator and the operator due to Ismail-May.


title: VQA Training Sets are Self-play Environments for Generating Few-shot Pools

abstract: Large-language models and large-vision models are increasingly capable of solving compositional reasoning tasks, as measured by breakthroughs in visual-question answering benchmarks. However, state-of-the-art solutions often involve careful construction of large pre-training and fine-tuning datasets, which can be expensive. The use of external tools, whether other ML models, search engines, or APIs, can significantly improve performance by breaking down high-level reasoning questions into sub-questions that are answerable by individual tools, but this approach has similar dataset construction costs to teach fine-tuned models how to use the available tools. We propose a technique in which existing training sets can be directly used for constructing computational environments with task metrics as rewards. This enables a model to autonomously teach itself to use itself or another model as a tool. By doing so, we augment training sets by integrating external signals. The proposed method starts with zero-shot prompts and iteratively refines them by selecting few-shot examples that maximize the task metric on the training set. Our experiments showcase how Gemini learns how to use itself, or another smaller and specialized model such as ScreenAI, to iteratively improve performance on training sets. Our approach successfully generalizes and improves upon zeroshot performance on charts, infographics, and document visual question-answering datasets


title: CPT, Majorana fermions, and particle physics beyond the Standard Model

abstract: After reviewing charge conjugation and the CPT theorem, we define Majorana fermions and clarify the relationship of Majorana, Weyl, and Dirac fields. Appearance of Majorana fermions in various scenarios of physics beyond the Standard Model is discussed, including neutrino masses, baryon asymmetry of the universe, grand unified theories, and supersymmetry.


title: Puff-Net: Efficient Style Transfer with Pure Content and Style Feature Fusion Network

abstract: Style transfer aims to render an image with the artistic features of a style image, while maintaining the original structure. Various methods have been put forward for this task, but some challenges still exist. For instance, it is difficult for CNN-based methods to handle global information and long-range dependencies between input images, for which transformer-based methods have been proposed. Although transformers can better model the relationship between content and style images, they require high-cost hardware and time-consuming inference. To address these issues, we design a novel transformer model that includes only the encoder, thus significantly reducing the computational cost. In addition, we also find that existing style transfer methods may lead to images under-stylied or missing content. In order to achieve better stylization, we design a content feature extractor and a style feature extractor, based on which pure content and style images can be fed to the transformer. Finally, we propose a novel network termed Puff-Net, i.e., pure content and style feature fusion network. Through qualitative and quantitative experiments, we demonstrate the advantages of our model compared to state-of-the-art ones in the literature.


title: Phase Transitions in the Anisotropic Dicke-Stark Model with $A$-square terms

abstract: The superradiant phase transition (SRPT) is forbidden in the standard isotropic Dicke model due to the so-called no-go theorem induced by A-square term. In the framework of the Dicke model, we demonstrate that SRPTs can occur at both zero and finite temperatures if we intrinsically tune the rotating wave and count-rotating atom-cavity coupling independently, and/or introduce the nonlinear Stark coupling terms, thus overcoming the no-go theorem. The phase transitions in this so-called anisotropic Dicke-Stark model share the same universality class with the original Dicke model. The critical coupling strength of this model decreases with the isotropic constant gradually, but can be driven to zero quickly with the strong nonlinear Stark coupling. We believe that we have proposed a feasible scheme to observe the SRPT in the future solid-state experiments.


title: Magnetic nonreciprocity in a hybrid device of asymmetric artificial spin-ice-superconductors

abstract: Controlling the size and distribution of potential barriers within a medium of interacting particles can unveil unique collective behaviors and innovative functionalities. In this study, we introduce a unique superconducting hybrid device using a novel artificial spin ice structure composed of asymmetric nanomagnets. This structure forms a distinctive superconducting pinning potential that steers unconventional motion of superconducting vortices, thereby inducing a magnetic nonreciprocal effect, in contrast to the electric nonreciprocal effect commonly observed in superconducting diodes. Furthermore, the polarity of the magnetic nonreciprocity is in-situ reversible through the tunable magnetic patterns of artificial spin ice. Our findings demonstrate that artificial spin ice not only precisely modulates superconducting characteristics but also opens the door to novel functionalities, offering a groundbreaking paradigm for superconducting electronics.


title: Enhancing Consistency and Role-Specific Knowledge Capturing by Rebuilding Fictional Character's Persona

abstract: With the recent introduction of Assistants API, it is expected that document-based language models will be actively used in various domains, especially Role-playing. However, a key challenge lies in utilizing protagonist's persona: Assistants API often fails to achieve with its search because the information extraction part is different each time and it often omits important information such as protagonist's backstory or relationships. It is hard to maintain a consistent persona simply by using the persona document as input to the Assistants API. To address the challenge of achieving stable persona consistency, we propose CharacterGPT, a novel persona reconstruction framework to alleviate the shortcomings of the Assistants API. Our method involves Character Persona Training (CPT), an effective persona rebuilding process that updates the character persona by extracting the character's traits from given summary of the novel for each character as if the story in a novel progresses. In our experiments, we ask each character to take the Big Five Inventory personality test in various settings and analyze the results. To assess whether it can think outside the box, we let each character generate short novels. Extensive experiments and human evaluation demonstrate that CharacterGPT presents new possibilities for role-playing agent research. Code and results are available at: https://github.com/Jeiyoon/charactergpt


title: Automatic Graph Topology-Aware Transformer

abstract: Existing efforts are dedicated to designing many topologies and graph-aware strategies for the graph Transformer, which greatly improve the model's representation capabilities. However, manually determining the suitable Transformer architecture for a specific graph dataset or task requires extensive expert knowledge and laborious trials. This paper proposes an evolutionary graph Transformer architecture search framework (EGTAS) to automate the construction of strong graph Transformers. We build a comprehensive graph Transformer search space with the micro-level and macro-level designs. EGTAS evolves graph Transformer topologies at the macro level and graph-aware strategies at the micro level. Furthermore, a surrogate model based on generic architectural coding is proposed to directly predict the performance of graph Transformers, substantially reducing the evaluation cost of evolutionary search. We demonstrate the efficacy of EGTAS across a range of graph-level and node-level tasks, encompassing both small-scale and large-scale graph datasets. Experimental results and ablation studies show that EGTAS can construct high-performance architectures that rival state-of-the-art manual and automated baselines.


title: Convergence Results for Approximation with independent Variables

abstract: For a square integrable $m$-dimensional random variable $X$ on a probability space $(\Omega,\Fc,\Pr)$ and a sub sigma algebra $\Ac$, we show that there is a constructive way to represent $X-\Er[X\mid\Ac]$ as the sum of a series of variables that are independent of $\Ac$.


title: The manifestation of Fermi level oscillations in the magnetoresistance of HgTe quantum wells with a split spectrum

abstract: Shubnikov-de Haas (SdH) oscillations and magneto-intersubband oscillations of magnetoresistance of structures with single HgTe quantum wells with a width of (10-18) nm have been experimentally studied. The spectrum of the conduction band in these structures is split by the spin-orbit interaction. This leads to beats of the SdH oscillations and the appearance of low-frequency magneto-intersubband oscillations. The mutual position of the antinodes of the SdH oscillations and the maxima of the magneto-interband oscillations is unusual -- in low magnetic fields it is directly opposite to the predictions of the theory. Measurements in high magnetic fields, in which the relative amplitude of the SdH oscillations becomes greater than 0.2-0.3, show a change in the relative position of the antinodes of the SdH oscillations and the maxima of low-frequency oscillations. Numerical calculations and additional measurements at different temperatures show that the observed effects are due to oscillations of the Fermi level in the magnetic field.


title: Dataflow-Guided Retrieval Augmentation for Repository-Level Code Completion

abstract: Recent years have witnessed the deployment of code language models (LMs) in various code intelligence tasks such as code completion. Yet, it is challenging for pre-trained LMs to generate correct completions in private repositories. Previous studies retrieve cross-file context based on import relations or text similarity, which is insufficiently relevant to completion targets. In this paper, we propose a dataflow-guided retrieval augmentation approach, called DraCo, for repository-level code completion. DraCo parses a private repository into code entities and establishes their relations through an extended dataflow analysis, forming a repo-specific context graph. Whenever triggering code completion, DraCo precisely retrieves relevant background knowledge from the repo-specific context graph and generates well-formed prompts to query code LMs. Furthermore, we construct a large Python dataset, ReccEval, with more diverse completion targets. Our experiments demonstrate the superior accuracy and applicable efficiency of DraCo, improving code exact match by 3.43% and identifier F1-score by 3.27% on average compared to the state-of-the-art approach.


title: Instruction-Guided Visual Masking

abstract: Instruction following is crucial in contemporary LLM. However, when extended to multimodal setting, it often suffers from misalignment between specific textual instruction and targeted local region of an image. To achieve more accurate and nuanced multimodal instruction following, we introduce Instruction-guided Visual Masking (IVM), a new versatile visual grounding model that is compatible with diverse multimodal models, such as LMM and robot model. By constructing visual masks for instruction-irrelevant regions, IVM-enhanced multimodal models can effectively focus on task-relevant image regions to better align with complex instructions. Specifically, we design a visual masking data generation pipeline and create an IVM-Mix-1M dataset with 1 million image-instruction pairs. We further introduce a new learning technique, Discriminator Weighted Supervised Learning (DWSL) for preferential IVM training that prioritizes high-quality data samples. Experimental results on generic multimodal tasks such as VQA and embodied robotic control demonstrate the versatility of IVM, which as a plug-and-play tool, significantly boosts the performance of diverse multimodal models, yielding new state-of-the-art results across challenging multimodal benchmarks. Code is available at https://github.com/2toinf/IVM.


title: PixelsDB: Serverless and Natural-Language-Aided Data Analytics with Flexible Service Levels and Prices

abstract: Serverless query processing has become increasingly popular due to its advantages, including automated hardware and software management, high elasticity, and pay-as-you-go pricing. For users who are not system experts, serverless query processing greatly reduces the cost of owning a data analytic system. However, it is still a significant challenge for non-expert users to transform their complex and evolving data analytic needs into proper SQL queries and select a serverless query engine that delivers satisfactory performance and price for each type of query. This paper presents PixelsDB, an open-source data analytic system that allows users who lack system or SQL expertise to explore data efficiently. It allows users to generate and debug SQL queries using a natural language interface powered by fine-tuned language models. The queries are then executed by a serverless query engine that offers varying prices for different service levels on query urgency. The service levels are natively supported by dedicated architecture design and heterogeneous resource scheduling that can apply cost-efficient resources to process non-urgent queries. We envision that the combination of a serverless paradigm, a natural-language-aided interface, and flexible service levels and prices will substantially improve the user experience in data analysis.


title: Recurrent Deep Kernel Learning of Dynamical Systems

abstract: Digital twins require computationally-efficient reduced-order models (ROMs) that can accurately describe complex dynamics of physical assets. However, constructing ROMs from noisy high-dimensional data is challenging. In this work, we propose a data-driven, non-intrusive method that utilizes stochastic variational deep kernel learning (SVDKL) to discover low-dimensional latent spaces from data and a recurrent version of SVDKL for representing and predicting the evolution of latent dynamics. The proposed method is demonstrated with two challenging examples -- a double pendulum and a reaction-diffusion system. Results show that our framework is capable of (i) denoising and reconstructing measurements, (ii) learning compact representations of system states, (iii) predicting system evolution in low-dimensional latent spaces, and (iv) quantifying modeling uncertainties.


title: Capacitary inradius and Poincar\'e-Sobolev inequalities

abstract: We prove a two-sided estimate on the sharp $L^p$ Poincar\'e constant of a general open set, in terms of a capacitary variant of its inradius. This extends a result by Maz'ya and Shubin, originally devised for the case $p=2$, in the subconformal regime. We cover the whole range of $p$, by allowing in particular the extremal cases $p=1$ (Cheeger's constant) and $p=N$ (conformal case), as well. We also discuss the more general case of the sharp Poincar\'e-Sobolev embedding constants and get an analogous result. Finally, we present a brief discussion on the superconformal case, as well as some examples and counter-examples.


title: From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers

abstract: Instruction tuning -- tuning large language models on instruction-output pairs -- is a promising technique for making models better adapted to the real world. Yet, the key factors driving the model's capability to understand and follow instructions not seen during training remain under-explored. Our investigation begins with a series of synthetic experiments within the theoretical framework of a Turing-complete algorithm called Markov algorithm, which allows fine-grained control over the instruction-tuning data. Generalization and robustness with respect to the training distribution emerge once a diverse enough set of tasks is provided, even though very few examples are provided for each task. We extend these initial results to a real-world application scenario of code generation and find that a more diverse instruction set, extending beyond code-related tasks, improves the performance of code generation. Our observations suggest that a more diverse semantic space for instruction-tuning sets greatly improves the model's ability to follow instructions and perform tasks.


title: Unidirectional charge orders induced by oxygen vacancies on SrTiO$_3$(001)

abstract: The discovery of high-mobility two-dimensional electron gas and low carrier density superconductivity in multiple SrTiO$_3$-based heterostructures has stimulated intense interest in the surface properties of SrTiO$_3$. The recent discovery of high-T$_c$ superconductivity in the monolayer FeSe/SrTiO$_3$ aroused the upsurge and underscored the atomic precision probe of the surface structure. By performing atomically resolved cryogenic scanning tunneling microscopy/spectroscopy characterization on dual-TiO$_{2}$-${\delta}$-terminated SrTiO$_3$(001) surfaces with ($\sqrt{13}$ $\times$ $\sqrt{13}$), c(4 $\times$ 2), mixed (2 $\times$ 1), and (2 $\times$ 2) reconstructions, we disclosed universally broken rotational symmetry and contrasting bias- and temperature-dependent electronic states for apical and equatorial oxygen sites. With the sequentially evolved surface reconstructions and simultaneously increasing equatorial oxygen vacancies, the surface anisotropy reduces, and the work function lowers. Intriguingly, unidirectional stripe orders appear on the c(4 $\times$ 2) surface, whereas local (4 $\times$ 4) order emerges and eventually forms long-range unidirectional c(4 $\times$ 4) charge order on the (2 $\times$ 2) surface. This work reveals robust unidirectional charge orders induced by oxygen vacancies due to strong and delicate electronic-lattice interaction under broken rotational symmetry, providing insights into understanding the complex behaviors in perovskite oxide-based heterostructures.


title: Estimating before Debiasing: A Bayesian Approach to Detaching Prior Bias in Federated Semi-Supervised Learning

abstract: Federated Semi-Supervised Learning (FSSL) leverages both labeled and unlabeled data on clients to collaboratively train a model.In FSSL, the heterogeneous data can introduce prediction bias into the model, causing the model's prediction to skew towards some certain classes. Existing FSSL methods primarily tackle this issue by enhancing consistency in model parameters or outputs. However, as the models themselves are biased, merely constraining their consistency is not sufficient to alleviate prediction bias. In this paper, we explore this bias from a Bayesian perspective and demonstrate that it principally originates from label prior bias within the training data. Building upon this insight, we propose a debiasing method for FSSL named FedDB. FedDB utilizes the Average Prediction Probability of Unlabeled Data (APP-U) to approximate the biased prior.During local training, FedDB employs APP-U to refine pseudo-labeling through Bayes' theorem, thereby significantly reducing the label prior bias. Concurrently, during the model aggregation, FedDB uses APP-U from participating clients to formulate unbiased aggregate weights, thereby effectively diminishing bias in the global model. Experimental results show that FedDB can surpass existing FSSL methods. The code is available at https://github.com/GuogangZhu/FedDB.


title: Muckenhoupt Weights Meet Brezis--Seeger--Van Schaftingen--Yung Formulae in Ball Banach Function Spaces

abstract: In this article, via first establishing a weighted variant of the profound and far-reaching inequality obtained by A. Cohen, W. Dahmen, I. Daubechies, and R. DeVore in 2003, the authors give two new characterizations of Muckenhoupt weights. As an application, the authors further establish a representation formula of gradients with sharp parameters in ball Banach function spaces, which extends the famous formula obtained by H. Brezis, A. Seeger, J. Van Schaftingen, and P.-L. Yung in 2021 from classical Sobolev spaces to various different Sobolev-type spaces and gives an affirmative answer to the question in page 29 of [Calc. Var. Partial Differential Equations 62 (2023), Paper No. 234]. The most novelty of this article exists in subtly revealing the mutual equivalences among the Muckenhoupt weight, the weighted variant of the inequality of Cohen et al., and the weighted upper estimate of the formula of Brezis et al.


title: Trembling Motion of Exciton-Polaritons Close to the Rashba-Dresselhaus Regime

abstract: We report the experimental emulation of trembling quantum motion, or Zitterbewegung, of exciton polaritons in a perovskite microcavity at room temperature. By introducing liquid crystal molecules into the microcavity, we achieve spinor states with synthetic Rashba-Dresselhaus spin-orbit coupling and tunable energy splitting. Under a resonant excitation, the polariton fluid exhibits clear trembling motion perpendicular to its flowing direction, accompanied by a unique spin pattern resembling interlocked fingers. Furthermore, leveraging on the sizable tunability of energy gaps by external electrical voltages, we observe the continuous transition of polariton Zitterbewegung from relativistic (small gaps) to non-relativistic (large gaps) regimes. Our findings pave the way for using exciton polaritons in the emulation of relativistic quantum physics.


title: Low-energy collisions between electrons and BeD$^+$

abstract: Multichannel quantum defect theory is applied in the treatment of the dissociative recombination and vibrational excitation processes for the BeD$^+$ ion in the twenty four vibrational levels of its ground electronic state ($\textrm{X}\,{^{1}\Sigma^{+}},v_{i}^{+}=0\ldots 23$). Three electronic symmetries of BeD$^{**}$ states (\ensuremath{^{2}\Pi}, \ensuremath{^{2}\Sigma^{+}}, and \ensuremath{^{2}\Delta}), are considered in the calculation of cross sections and the corresponding rate coefficients. The incident electron energy range is $10^{-5}$--2.7 eV and the electron temperature range is 100--5000~K. The vibrational dependence of these collisional processes is highlighted. The resulting data are useful in magnetic confinement fusion edge plasma modelling and spectroscopy, in devices with beryllium based main chamber materials, such as ITER and JET, and operating with the deuterium-tritium fuel mix. An extensive rate coefficients database is presented in graphical form and also by analytic fit functions whose parameters are tabulated in the supplementary material.


title: PDDLEGO: Iterative Planning in Textual Environments

abstract: Planning in textual environments have been shown to be a long-standing challenge even for current models. A recent, promising line of work uses LLMs to generate a formal representation of the environment that can be solved by a symbolic planner. However, existing methods rely on a fully-observed environment where all entity states are initially known, so a one-off representation can be constructed, leading to a complete plan. In contrast, we tackle partially-observed environments where there is initially no sufficient information to plan for the end-goal. We propose PDDLEGO that iteratively construct a planning representation that can lead to a partial plan for a given sub-goal. By accomplishing the sub-goal, more information is acquired to augment the representation, eventually achieving the end-goal. We show that plans produced by few-shot PDDLEGO are 43% more efficient than generating plans end-to-end on the Coin Collector simulation, with strong performance (98%) on the more complex Cooking World simulation where end-to-end LLMs fail to generate coherent plans (4%).


title: Video Question Answering for People with Visual Impairments Using an Egocentric 360-Degree Camera

abstract: This paper addresses the daily challenges encountered by visually impaired individuals, such as limited access to information, navigation difficulties, and barriers to social interaction. To alleviate these challenges, we introduce a novel visual question answering dataset. Our dataset offers two significant advancements over previous datasets: Firstly, it features videos captured using a 360-degree egocentric wearable camera, enabling observation of the entire surroundings, departing from the static image-centric nature of prior datasets. Secondly, unlike datasets centered on singular challenges, ours addresses multiple real-life obstacles simultaneously through an innovative visual-question answering framework. We validate our dataset using various state-of-the-art VideoQA methods and diverse metrics. Results indicate that while progress has been made, satisfactory performance levels for AI-powered assistive services remain elusive for visually impaired individuals. Additionally, our evaluation highlights the distinctive features of the proposed dataset, featuring ego-motion in videos captured via 360-degree cameras across varied scenarios.


title: SLM as Guardian: Pioneering AI Safety with Small Language Models

abstract: Most prior safety research of large language models (LLMs) has focused on enhancing the alignment of LLMs to better suit the safety requirements of humans. However, internalizing such safeguard features into larger models brought challenges of higher training cost and unintended degradation of helpfulness. To overcome such challenges, a modular approach employing a smaller LLM to detect harmful user queries is regarded as a convenient solution in designing LLM-based system with safety requirements. In this paper, we leverage a smaller LLM for both harmful query detection and safeguard response generation. We introduce our safety requirements and the taxonomy of harmfulness categories, and then propose a multi-task learning mechanism fusing the two tasks into a single model. We demonstrate the effectiveness of our approach, providing on par or surpassing harmful query detection and safeguard response performance compared to the publicly available LLMs.


title: Explainable Attribute-Based Speaker Verification

abstract: This paper proposes a fully explainable approach to speaker verification (SV), a task that fundamentally relies on individual speaker characteristics. The opaque use of speaker attributes in current SV systems raises concerns of trust. Addressing this, we propose an attribute-based explainable SV system that identifies speakers by comparing personal attributes such as gender, nationality, and age extracted automatically from voice recordings. We believe this approach better aligns with human reasoning, making it more understandable than traditional methods. Evaluated on the Voxceleb1 test set, the best performance of our system is comparable with the ground truth established when using all correct attributes, proving its efficacy. Whilst our approach sacrifices some performance compared to non-explainable methods, we believe that it moves us closer to the goal of transparent, interpretable AI and lays the groundwork for future enhancements through attribute expansion.


title: Growth of the Moon due to bodies ejected from the Earth

abstract: The evolution of the orbits of bodies ejected from the Earth has been studied at the stage of its accumulation and early evolution after impacts of large planetesimals. In the considered variants of calculations of the motion of bodies ejected from the Earth, most of the bodies left the Hill sphere of the Earth and moved in heliocentric orbits. Their dynamical lifetime reached several hundred million years. At higher ejection velocities vej the probabilities of collisions of bodies with the Earth and Moon were generally lower. Over the entire considered time interval at the ejection velocity vej, equal to 11.5, 12 and 14 km/s, the values of the probability of a collision of a body with the Earth were approximately 0.3, 0.2 and 0.15-0.2, respectively. At ejection velocities vej<11.25 km/s, i.e., slightly exceeding a parabolic velocity, most of the ejected bodies fell back to the Earth. The probability of a collision of a body ejected from the Earth with the Moon moving in its present orbit was approximately 15-35 times less than that with the Earth at vej>11.5 km/s. The probability of a collision of such bodies with the Moon was mainly about 0.004-0.008 at ejection velocities of at least 14 km/s and about 0.006-0.01 at vej=12 km/s. It was larger at lower ejection velocities and was in the range of 0.01-0.02 at vej=11.3 km/s. The Moon may contain material ejected from the Earth during the accumulation of the Earth and during the late heavy bombardment. At the same time, as obtained in our calculations, the bodies ejected from the Earth and falling on the Moon embryo would not be enough for the Moon to grow to its present mass from a small embryo moving along the present orbit of the Moon. This result argues in favor of the formation of a lunar embryo and its further growth to most of the present mass of the Moon near the Earth.


title: Mixed radix numeration bases: H\"orner's rule, Yang-Baxter equation and Furstenberg's conjecture

abstract: Mixed radix bases in numeration is a very old notion but it is rarely studied on its own or in relation with concrete problems related to number theory. Starting from the natural question of the conversion of a basis to another for integers as well as polynomials, we use mixed radix bases to introduce two-dimensional arrays with suitable filling rules. These arrays provide algorithms of conversion which uses only a finite number of euclidean division to convert from one basis to another; it is interesting to note that these algorithms are generalizations of the well-known H\"orner's rule of quick evaluation of polynomials. The two-dimensional arrays with local transformations are reminiscent from statistical mechanics models: we show that changes between three numeration basis are related to the set-theoretical Yang-Baxter equation and this is, up to our knowledge, the first time that such a structure is described in number theory. As an illustration, we reinterpret well-known results around Furstenberg's conjecture in terms of Yang-Baxter transformations between mixed radix bases, hence opening the way to alternative approaches.

categories: math-ph cond-mat.stat-mech math.MP math.NT math.PR nlin.SI


title: Unsupervised Mutual Learning of Dialogue Discourse Parsing and Topic Segmentation

abstract: The advancement of large language models (LLMs) has propelled the development of dialogue systems. Unlike the popular ChatGPT-like assistant model, which only satisfies the user's preferences, task-oriented dialogue systems have also faced new requirements and challenges in the broader business field. They are expected to provide correct responses at each dialogue turn, at the same time, achieve the overall goal defined by the task. By understanding rhetorical structures and topic structures via topic segmentation and discourse parsing, a dialogue system may do a better planning to achieve both objectives. However, while both structures belong to discourse structure in linguistics, rhetorical structure and topic structure are mostly modeled separately or with one assisting the other in the prior work. The interaction between these two structures has not been considered for joint modeling and mutual learning. Furthermore, unsupervised learning techniques to achieve the above are not well explored. To fill this gap, we propose an unsupervised mutual learning framework of two structures leveraging the global and local connections between them. We extend the topic modeling between non-adjacent discourse units to ensure global structural relevance with rhetorical structures. We also incorporate rhetorical structures into the topic structure through a graph neural network model to ensure local coherence consistency. Finally, we utilize the similarity between the two fused structures for mutual learning. The experimental results demonstrate that our methods outperform all strong baselines on two dialogue rhetorical datasets (STAC and Molweni), as well as dialogue topic datasets (Doc2Dial and TIAGE). We provide our code at https://github.com/Jeff-Sue/URT.


title: Lipschitz-free spaces over strongly countable-dimensional spaces and approximation properties

abstract: Let $T$ be a compact, metrisable and strongly countable-dimensional topological space. Let $\mathcal{M}^T$ be the set of all metrics $d$ on $T$ compatible with its topology, and equip $\mathcal{M}^T$ with the topology of uniform convergence, where the metrics are regarded as functions on $T^2$. We prove that the set $\mathcal{A}^{T,1}$ of metrics $d\in\mathcal{M}^T$ for which the Lipschitz-free space $\mathcal{F}(T,d)$ has the metric approximation property is residual in $\mathcal{M}^T$.


title: Modeling of Nitric Oxide Infrared radiative flux in lower thermosphere: a machine learning perspective

abstract: Nitric Oxide (NO) significantly impacts energy distribution and chemical processes in the mesosphere and lower thermosphere (MLT). During geomagnetic storms, a substantial influx of energy in the thermosphere leads to an increase in NO infrared emissions. Accurately predicting the radiative flux of Nitric Oxide is crucial for understanding the thermospheric energy budget, particularly during extreme space weather events. With advancements in computational techniques, machine learning (ML) has become a highly effective tool for space weather forecasting. This effort becomes even more worthwhile considering the availability of two decades of continuous NO infrared emissions measurement by TIMED/SABER along with several other key thermospheric variables. We present the scheme of development of an ML-based predictive model for Nitric Oxide Infrared Radiative Flux (NOIRF). Various ML algorithms have been tested for better predictive ability, and an optimized model (NOEMLM) has been developed for the study of NOIRF. This model is able to extract the underlying relationships between the input features and effectively predict the NOIRF. The NOEMLM predictions have very good agreements with SABER observation during quiet time as well as geomagnetic storms. In comparison with the existing TIEGCM model, NOEMLM has very good performance, especially during extreme space weather conditions. The results of this study suggest that utilizing geomagnetic and space weather indices with ML/AI can serve as superior parameters for studying the upper atmosphere, as compared to focusing on specific species having complex chemical processes and associated uncertainties in constituents. ML techniques can effectively carry out the analysis with greater ease than traditional chemical studies.


title: Exploring the Robustness of Decision-Level Through Adversarial Attacks on LLM-Based Embodied Models

abstract: Embodied intelligence empowers agents with a profound sense of perception, enabling them to respond in a manner closely aligned with real-world situations. Large Language Models (LLMs) delve into language instructions with depth, serving a crucial role in generating plans for intricate tasks. Thus, LLM-based embodied models further enhance the agent's capacity to comprehend and process information. However, this amalgamation also ushers in new challenges in the pursuit of heightened intelligence. Specifically, attackers can manipulate LLMs to produce irrelevant or even malicious outputs by altering their prompts. Confronted with this challenge, we observe a notable absence of multi-modal datasets essential for comprehensively evaluating the robustness of LLM-based embodied models. Consequently, we construct the Embodied Intelligent Robot Attack Dataset (EIRAD), tailored specifically for robustness evaluation. Additionally, two attack strategies are devised, including untargeted attacks and targeted attacks, to effectively simulate a range of diverse attack scenarios. At the same time, during the attack process, to more accurately ascertain whether our method is successful in attacking the LLM-based embodied model, we devise a new attack success evaluation method utilizing the BLIP2 model. Recognizing the time and cost-intensive nature of the GCG algorithm in attacks, we devise a scheme for prompt suffix initialization based on various target tasks, thus expediting the convergence process. Experimental results demonstrate that our method exhibits a superior attack success rate when targeting LLM-based embodied models, indicating a lower level of decision-level robustness in these models.


title: Dynamic Factor Analysis of High-dimensional Recurrent Events

abstract: Recurrent event time data arise in many studies, including biomedicine, public health, marketing, and social media analysis. High-dimensional recurrent event data involving large numbers of event types and observations become prevalent with the advances in information technology. This paper proposes a semiparametric dynamic factor model for the dimension reduction and prediction of high-dimensional recurrent event data. The proposed model imposes a low-dimensional structure on the mean intensity functions of the event types while allowing for dependencies. A nearly rate-optimal smoothing-based estimator is proposed. An information criterion that consistently selects the number of factors is also developed. Simulation studies demonstrate the effectiveness of these inference tools. The proposed method is applied to grocery shopping data, for which an interpretable factor structure is obtained.


title: Exploring Key Factors for Long-Term Vessel Incident Risk Prediction

abstract: Factor analysis acts a pivotal role in enhancing maritime safety. Most previous studies conduct factor analysis within the framework of incident-related label prediction, where the developed models can be categorized into short-term and long-term prediction models. The long-term models offer a more strategic approach, enabling more proactive risk management, compared to the short-term ones. Nevertheless, few studies have devoted to rigorously identifying the key factors for the long-term prediction and undertaking comprehensive factor analysis. Hence, this study aims to delve into the key factors for predicting the incident risk levels in the subsequent year given a specific datestamp. The majority of candidate factors potentially contributing to the incident risk are collected from vessels' historical safety performance data spanning up to five years. An improved embedded feature selection, which integrates Random Forest classifier with a feature filtering process is proposed to identify key risk-contributing factors from the candidate pool. The results demonstrate superior performance of the proposed method in incident prediction and factor interpretability. Comprehensive analysis is conducted upon the key factors, which could help maritime stakeholders formulate management strategies for incident prevenion.


title: Complexity of Deciding Injectivity and Surjectivity of ReLU Neural Networks

abstract: Neural networks with ReLU activation play a key role in modern machine learning. In view of safety-critical applications, the verification of trained networks is of great importance and necessitates a thorough understanding of essential properties of the function computed by a ReLU network, including characteristics like injectivity and surjectivity. Recently, Puthawala et al. [JMLR 2022] came up with a characterization for injectivity of a ReLU layer, which implies an exponential time algorithm. However, the exact computational complexity of deciding injectivity remained open. We answer this question by proving coNP-completeness of deciding injectivity of a ReLU layer. On the positive side, as our main result, we present a parameterized algorithm which yields fixed-parameter tractability of the problem with respect to the input dimension. In addition, we also characterize surjectivity for two-layer ReLU networks with one-dimensional output. Remarkably, the decision problem turns out to be the complement of a basic network verification task. We prove NP-hardness for surjectivity, implying a stronger hardness result than previously known for the network verification problem. Finally, we reveal interesting connections to computational convexity by formulating the surjectivity problem as a zonotope containment problem


title: Preference Alignment with Flow Matching

abstract: We present Preference Flow Matching (PFM), a new framework for preference-based reinforcement learning (PbRL) that streamlines the integration of preferences into an arbitrary class of pre-trained models. Existing PbRL methods require fine-tuning pre-trained models, which presents challenges such as scalability, inefficiency, and the need for model modifications, especially with black-box APIs like GPT-4. In contrast, PFM utilizes flow matching techniques to directly learn from preference data, thereby reducing the dependency on extensive fine-tuning of pre-trained models. By leveraging flow-based models, PFM transforms less preferred data into preferred outcomes, and effectively aligns model outputs with human preferences without relying on explicit or implicit reward function estimation, thus avoiding common issues like overfitting in reward models. We provide theoretical insights that support our method's alignment with standard PbRL objectives. Experimental results indicate the practical effectiveness of our method, offering a new direction in aligning a pre-trained model to preference.


title: MetaCURL: Non-stationary Concave Utility Reinforcement Learning

abstract: We explore online learning in episodic loop-free Markov decision processes on non-stationary environments (changing losses and probability transitions). Our focus is on the Concave Utility Reinforcement Learning problem (CURL), an extension of classical RL for handling convex performance criteria in state-action distributions induced by agent policies. While various machine learning problems can be written as CURL, its non-linearity invalidates traditional Bellman equations. Despite recent solutions to classical CURL, none address non-stationary MDPs. This paper introduces MetaCURL, the first CURL algorithm for non-stationary MDPs. It employs a meta-algorithm running multiple black-box algorithms instances over different intervals, aggregating outputs via a sleeping expert framework. The key hurdle is partial information due to MDP uncertainty. Under partial information on the probability transitions (uncertainty and non-stationarity coming only from external noise, independent of agent state-action pairs), we achieve optimal dynamic regret without prior knowledge of MDP changes. Unlike approaches for RL, MetaCURL handles full adversarial losses, not just stochastic ones. We believe our approach for managing non-stationarity with experts can be of interest to the RL community.


title: AI with Alien Content and Alien Metasemantics

abstract: AlphaGo plays chess and Go in a creative and novel way. It is natural for us to attribute contents to it, such as that it doesn't view being several pawns behind, if it has more board space, as bad. The framework introduced in Cappelen and Dever (2021) provides a way of thinking about the semantics and the metasemantics of AI content: does AlphaGo entertain contents like this, and if so, in virtue of what does a given state of the program mean that particular content? One salient question Cappelen and Dever didn't consider was the possibility of alien content. Alien content is content that is not or cannot be expressed by human beings. It's highly plausible that AlphaGo, or any other sophisticated AI system, expresses alien contents. That this is so, moreover, is plausibly a metasemantic fact: a fact that has to do with how AI comes to entertain content in the first place, one that will heed the vastly different etiology of AI and human content. This chapter explores the question of alien content in AI from a semantic and metasemantic perspective. It lays out the logical space of possible responses to the semantic and metasemantic questions alien content poses, considers whether and how we humans could communicate with entities who express alien content, and points out that getting clear about such questions might be important for more 'applied' issues in the philosophy of AI, such as existential risk and XAI.


title: Study of the behaviour of Nesterov Accelerated Gradient in a non convex setting: the strongly quasar convex case

abstract: We study the convergence of Nesterov Accelerated Gradient (NAG) minimization algorithm applied to a class of non convex functions called strongly quasar convex functions, which can exhibit highly non convex behaviour. We show that in the case of strongly quasar convex functions, NAG can achieve an accelerated convergence speed at the cost of a lower curvature assumption. We provide a continuous analysis through high resolution ODEs, in which negative friction may appear. Finally, we investigate connections with a weaker class of non convex functions (smooth Polyak-\L ojasiewicz functions) by characterizing the gap between this class and the one of smooth strongly quasar convex functions.


title: On minimal presentations of numerical monoids

abstract: We consider the classical problem of determining the largest possible cardinality of a minimal presentation of a numerical monoid with given embedding dimension and multiplicity. Very few values of this cardinality are known. In addressing this problem, we apply tools from Hilbert functions and free resolutions of artinian standard graded algebras. This approach allows us to solve the problem in many cases and, at the same time, identify subtle difficulties in the remaining cases. As a by-product of our analysis, we deduce results for the corresponding problem for the type of a numerical monoid.


title: Approximate Global Convergence of Independent Learning in Multi-Agent Systems

abstract: Independent learning (IL), despite being a popular approach in practice to achieve scalability in large-scale multi-agent systems, usually lacks global convergence guarantees. In this paper, we study two representative algorithms, independent $Q$-learning and independent natural actor-critic, within value-based and policy-based frameworks, and provide the first finite-sample analysis for approximate global convergence. The results imply a sample complexity of $\tilde{\mathcal{O}}(\epsilon^{-2})$ up to an error term that captures the dependence among agents and characterizes the fundamental limit of IL in achieving global convergence. To establish the result, we develop a novel approach for analyzing IL by constructing a separable Markov decision process (MDP) for convergence analysis and then bounding the gap due to model difference between the separable MDP and the original one. Moreover, we conduct numerical experiments using a synthetic MDP and an electric vehicle charging example to verify our theoretical findings and to demonstrate the practical applicability of IL.


title: Monochromatic graph decompositions inspired by anti-Ramsey colorings

abstract: We consider coloring problems inspired by the theory of anti-Ramsey / rainbow colorings that we generalize to a far extent. Let $\mathcal{F}$ be a hereditary family of graphs; i.e., if $H\in \mathcal{F}$ and $H'\subset H$ then also $H'\subset \mathcal{F}$. For a graph $G$ and any integer $n \geq |G|$, let $f(n,G|\mathcal{F})$ denote the smallest number $k$ of colors such that any edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $\mathcal{F}$. The case $\mathcal{F} = \{K_2\}$ is the notorious anti-Ramsey / rainbow coloring problem introduced by Erd\H{o}s, Simonovits and S\'os in 1973. Using the $\mathcal{F}$-deck of $G$, $D(G|\mathcal{F}) = \{ H : H = G - D, \, D \in \mathcal{F}\}$, we define $\chi_\mathcal{F}(G) = \min \{ \chi(H) : H \in D(G|\mathcal{F}) \}$. The main theorem we prove is: Suppose $\mathcal{F}$ is a hereditary family of graphs, and let $G$ be a graph not a member of $\mathcal{F}$. (1) If $\chi_\mathcal{F}(G) \geq 3$, then $f(n, G |\mathcal{F}) = (1+o(1)) \, ex(n, K_{\chi_\mathcal{F}(G)})$. (2) Otherwise $f(n, G |\mathcal{F}) = o(n^2)$. Among the families covered by this theorem are: matchings, acyclic graphs, planar and outerplanar graphs, $d$-degenerate graphs, graphs with chromatic number at most $k$, graphs with bounded maximum degree, and many more. We supply many concrete examples to demonstrate the wide range of applications of the main theorem; the next result is a representative of these examples. For $p \geq 5$ and $\mathcal{F} = \{ tK_2 : t \geq 1 \}$, we have $f(n,K_p |\mathcal{F}) = (1+o(1)) \, ex(n, K_{\lceil p/2 \rceil})$; this means a properly colored copy of $K_p$. In other words, a certain number of colors forces nearly twice as large properly edge-colored complete subgraphs as rainbow ones.


title: SLAM-based Joint Calibration of Multiple Asynchronous Microphone Arrays and Sound Source Localization

abstract: Robot audition systems with multiple microphone arrays have many applications in practice. However, accurate calibration of multiple microphone arrays remains challenging because there are many unknown parameters to be identified, including the relative transforms (i.e., orientation, translation) and asynchronous factors (i.e., initial time offset and sampling clock difference) between microphone arrays. To tackle these challenges, in this paper, we adopt batch simultaneous localization and mapping (SLAM) for joint calibration of multiple asynchronous microphone arrays and sound source localization. Using the Fisher information matrix (FIM) approach, we first conduct the observability analysis (i.e., parameter identifiability) of the above-mentioned calibration problem and establish necessary/sufficient conditions under which the FIM and the Jacobian matrix have full column rank, which implies the identifiability of the unknown parameters. We also discover several scenarios where the unknown parameters are not uniquely identifiable. Subsequently, we propose an effective framework to initialize the unknown parameters, which is used as the initial guess in batch SLAM for multiple microphone arrays calibration, aiming to further enhance optimization accuracy and convergence. Extensive numerical simulations and real experiments have been conducted to verify the performance of the proposed method. The experiment results show that the proposed pipeline achieves higher accuracy with fast convergence in comparison to methods that use the noise-corrupted ground truth of the unknown parameters as the initial guess in the optimization and other existing frameworks.


title: Equivalence between non-commutative harmonic oscillators and two-photon quantum Rabi models

abstract: We prove that the non-commutative harmonic oscillator on $L^2(\mathbb{R})\otimes\mathbb{C}^2$ introduced by Parmeggiani and Wakayama is equivalent to the two-photon quantum Rabi model, and they are also equivalent to a holomorphic differential equation on the unit disk. The confluence process of this differential equation and the relation with the one-photon quantum Rabi model are also discussed.


title: Efficient Stimuli Generation using Reinforcement Learning in Design Verification

abstract: The increasing design complexity of System-on-Chips (SoCs) has led to significant verification challenges, particularly in meeting coverage targets within a timely manner. At present, coverage closure is heavily dependent on constrained random and coverage driven verification methodologies where the randomized stimuli are bounded to verify certain scenarios and to reach coverage goals. This process is said to be exhaustive and to consume a lot of project time. In this paper, a novel methodology is proposed to generate efficient stimuli with the help of Reinforcement Learning (RL) to reach the maximum code coverage of the Design Under Verification (DUV). Additionally, an automated framework is created using metamodeling to generate a SystemVerilog testbench and an RL environment for any given design. The proposed approach is applied to various designs and the produced results proves that the RL agent provides effective stimuli to achieve code coverage faster in comparison with baseline random simulations. Furthermore, various RL agents and reward schemes are analyzed in our work.


title: Growing Tiny Networks: Spotting Expressivity Bottlenecks and Fixing Them Optimally

abstract: Machine learning tasks are generally formulated as optimization problems, where one searches for an optimal function within a certain functional space. In practice, parameterized functional spaces are considered, in order to be able to perform gradient descent. Typically, a neural network architecture is chosen and fixed, and its parameters (connection weights) are optimized, yielding an architecture-dependent result. This way of proceeding however forces the evolution of the function during training to lie within the realm of what is expressible with the chosen architecture, and prevents any optimization across architectures. Costly architectural hyper-parameter optimization is often performed to compensate for this. Instead, we propose to adapt the architecture on the fly during training. We show that the information about desirable architectural changes, due to expressivity bottlenecks when attempting to follow the functional gradient, can be extracted from %the backpropagation. To do this, we propose a mathematical definition of expressivity bottlenecks, which enables us to detect, quantify and solve them while training, by adding suitable neurons when and where needed. Thus, while the standard approach requires large networks, in terms of number of neurons per layer, for expressivity and optimization reasons, we are able to start with very small neural networks and let them grow appropriately. As a proof of concept, we show results~on the CIFAR dataset, matching large neural network accuracy, with competitive training time, while removing the need for standard architectural hyper-parameter search.


title: Performance Examination of Symbolic Aggregate Approximation in IoT Applications

abstract: Symbolic Aggregate approXimation (SAX) is a common dimensionality reduction approach for time-series data which has been employed in a variety of domains, including classification and anomaly detection in time-series data. Domains also include shape recognition where the shape outline is converted into time-series data forinstance epoch classification of archived arrowheads. In this paper we propose a dimensionality reduction and shape recognition approach based on the SAX algorithm, an application which requires responses on cost efficient, IoT-like, platforms. The challenge is largely dealing with the computational expense of the SAX algorithm in IoT-like applications, from simple time-series dimension reduction through shape recognition. The approach is based on lowering the dimensional space while capturing and preserving the most representative features of the shape. We present three scenarios of increasing computational complexity backing up our statements with measurement of performance characteristics


title: WebUOT-1M: Advancing Deep Underwater Object Tracking with A Million-Scale Benchmark

abstract: Underwater object tracking (UOT) is a foundational task for identifying and tracing submerged entities in underwater video sequences. However, current UOT datasets suffer from limitations in scale, diversity of target categories and scenarios covered, hindering the training and evaluation of modern tracking algorithms. To bridge this gap, we take the first step and introduce WebUOT-1M, \ie, the largest public UOT benchmark to date, sourced from complex and realistic underwater environments. It comprises 1.1 million frames across 1,500 video clips filtered from 408 target categories, largely surpassing previous UOT datasets, \eg, UVOT400. Through meticulous manual annotation and verification, we provide high-quality bounding boxes for underwater targets. Additionally, WebUOT-1M includes language prompts for video sequences, expanding its application areas, \eg, underwater vision-language tracking. Most existing trackers are tailored for open-air environments, leading to performance degradation when applied to UOT due to domain gaps. Retraining and fine-tuning these trackers are challenging due to sample imbalances and limited real-world underwater datasets. To tackle these challenges, we propose a novel omni-knowledge distillation framework based on WebUOT-1M, incorporating various strategies to guide the learning of the student Transformer. To the best of our knowledge, this framework is the first to effectively transfer open-air domain knowledge to the UOT model through knowledge distillation, as demonstrated by results on both existing UOT datasets and the newly proposed WebUOT-1M. Furthermore, we comprehensively evaluate WebUOT-1M using 30 deep trackers, showcasing its value as a benchmark for UOT research by presenting new challenges and opportunities for future studies. The complete dataset, codes and tracking results, will be made publicly available.


title: Gated Fields: Learning Scene Reconstruction from Gated Videos

abstract: Reconstructing outdoor 3D scenes from temporal observations is a challenge that recent work on neural fields has offered a new avenue for. However, existing methods that recover scene properties, such as geometry, appearance, or radiance, solely from RGB captures often fail when handling poorly-lit or texture-deficient regions. Similarly, recovering scenes with scanning LiDAR sensors is also difficult due to their low angular sampling rate which makes recovering expansive real-world scenes difficult. Tackling these gaps, we introduce Gated Fields - a neural scene reconstruction method that utilizes active gated video sequences. To this end, we propose a neural rendering approach that seamlessly incorporates time-gated capture and illumination. Our method exploits the intrinsic depth cues in the gated videos, achieving precise and dense geometry reconstruction irrespective of ambient illumination conditions. We validate the method across day and night scenarios and find that Gated Fields compares favorably to RGB and LiDAR reconstruction methods. Our code and datasets are available at https://light.princeton.edu/gatedfields/.


title: Spanning isogeny classes of principally polarized abelian surfaces with RM

abstract: We describe how isogenies between principally polarized abelian surfaces (PPAS) with real multiplication (RM) can be decomposed into elementary isogeny types. This leads to a strategy for enumerating the isogeny class of a given PPAS with RM. This note is part of an ongoing work with R. van Bommel, S. Chidambaram, and E. Costa and is not indended for separate publication.


title: Polarized sub-meV Photoluminescence in 2D PbS Nanoplatelets at Cryogenic Temperatures

abstract: Colloidal semiconductor nanocrystals are promising materials for classical and quantum light sources due to their versatile chemistry and efficient photoluminescence (PL) properties. While visible emitters are well-established, the pursuit of excellent (near-)infrared sources continues. One notable candidate in this regard are photoluminescent two-dimensional (2D) PbS nanoplatelets (NPLs) exhibiting excitonic emission at 720 nm (1.7 eV) directly tying to the typical emission range limit of CdSe NPLs. Here, we present the first comprehensive analysis of low-temperature PL from this material class. Ultrathin 2D PbS NPLs exhibit high crystallinity confirmed by scanning transmission electron microscopy, and revealing Moire patterns in overlapping structures. At 4K, we observe unique PL features in single PbS NPLs, including narrow zero-phonon lines with line widths down to 0.6 meV and a linear degree of polarization up to 90%. Time-resolved measurements identify trions as the dominant emission source with a 2.3 ns decay time. Sub-meV spectral diffusion and no immanent blinking over minutes is observed, as well as discrete spectral jumps without memory effects. These findings advance the understanding and underpin the potential of colloidal PbS NPLs for optical and quantum technologies.


title: Improving Object Detector Training on Synthetic Data by Starting With a Strong Baseline Methodology

abstract: Collecting and annotating real-world data for the development of object detection models is a time-consuming and expensive process. In the military domain in particular, data collection can also be dangerous or infeasible. Training models on synthetic data may provide a solution for cases where access to real-world training data is restricted. However, bridging the reality gap between synthetic and real data remains a challenge. Existing methods usually build on top of baseline Convolutional Neural Network (CNN) models that have been shown to perform well when trained on real data, but have limited ability to perform well when trained on synthetic data. For example, some architectures allow for fine-tuning with the expectation of large quantities of training data and are prone to overfitting on synthetic data. Related work usually ignores various best practices from object detection on real data, e.g. by training on synthetic data from a single environment with relatively little variation. In this paper we propose a methodology for improving the performance of a pre-trained object detector when training on synthetic data. Our approach focuses on extracting the salient information from synthetic data without forgetting useful features learned from pre-training on real images. Based on the state of the art, we incorporate data augmentation methods and a Transformer backbone. Besides reaching relatively strong performance without any specialized synthetic data transfer methods, we show that our methods improve the state of the art on synthetic data trained object detection for the RarePlanes and DGTA-VisDrone datasets, and reach near-perfect performance on an in-house vehicle detection dataset.


title: Joint Selective State Space Model and Detrending for Robust Time Series Anomaly Detection

abstract: Deep learning-based sequence models are extensively employed in Time Series Anomaly Detection (TSAD) tasks due to their effective sequential modeling capabilities. However, the ability of TSAD is limited by two key challenges: (i) the ability to model long-range dependency and (ii) the generalization issue in the presence of non-stationary data. To tackle these challenges, an anomaly detector that leverages the selective state space model known for its proficiency in capturing long-term dependencies across various domains is proposed. Additionally, a multi-stage detrending mechanism is introduced to mitigate the prominent trend component in non-stationary data to address the generalization issue. Extensive experiments conducted on realworld public datasets demonstrate that the proposed methods surpass all 12 compared baseline methods.


title: Bayesian Uncertainty Quantification for Anaerobic Digestion models

abstract: Uncertainty quantification is critical for ensuring adequate predictive power of computational models used in biology. Focusing on two anaerobic digestion models, this article introduces a novel generalized Bayesian procedure, called VarBUQ, ensuring a correct tradeoff between flexibility and computational cost. A benchmark against three existing methods (Fisher's information, bootstrapping and Beale's criteria) was conducted using synthetic data. This Bayesian procedure offered a good compromise between fitting ability and confidence estimation, while the other methods proved to be repeatedly overconfident. The method's performances notably benefitted from inductive bias brought by the prior distribution, although it requires careful construction. This article advocates for more systematic consideration of uncertainty for anaerobic digestion models and showcases a new, computationally efficient Bayesian method. To facilitate future implementations, a Python package called 'aduq' is made available.


title: E-disjunctive inverse semigroups

abstract: In this paper we provide an overview of the class of inverse semigroups $S$ such that every congruence on $S$ relates at least one idempotent to a non-idempotent; such inverse semigroups are called $E$-disjunctive. This overview includes the study of the inverse semigroup theoretic structure of $E$-disjunctive semigroups; a large number of natural examples; some asymptotic results establishing the rarity of such inverse semigroups; and a general structure theorem for all inverse semigroups where the building blocks are $E$-disjunctive.


title: Measurement of the production and elliptic flow of (anti)nuclei in Xe-Xe collisions at $\sqrt{s_{\rm NN}}$ = 5.44 TeV

abstract: Measurements of (anti)deuteron and (anti)$^3$He production in the rapidity range $ |y| < $ 0.5 as a function of the transverse momentum and event multiplicity in Xe$-$Xe collisions at a center-of-mass energy per nucleon$-$nucleon pair of $\sqrt{s_{\rm NN}}$ = 5.44 TeV are presented. The coalescence parameters $B_2$ and $B_3$ are measured as a function of the transverse momentum per nucleon. The ratios between (anti)deuteron and (anti)$^3$He yields and those of (anti)protons and pions are reported as a function of the mean charged-particle multiplicity density, and compared with two implementations of the statistical hadronization model (SHM) and with coalescence predictions. The elliptic flow of (anti)deuterons is measured for the first time in Xe$-$Xe collisions and shows features similar to those already observed in Pb$-$Pb collisions, i.e., the mass ordering at low transverse momentum and the meson$-$baryon grouping at intermediate transverse momentum. The production of nuclei is particularly sensitive to the chemical freeze-out temperature of the system created in the collision, which is extracted from a grand-canonical-ensemble-based thermal fit, performed for the first time including light nuclei along with light-flavor hadrons in Xe$-$Xe collisions. The extracted chemical freeze-out temperature $T_{\rm chem}$ = (154.2 $\pm$ 1.1) MeV in Xe$-$Xe collisions is similar to that observed in Pb$-$Pb collisions and close to the crossover temperature predicted by lattice QCD calculations.


title: The variable radio jet of the accreting neutron star the Rapid Burster

abstract: The Rapid Burster is a unique neutron star low-mass X-ray binary system, showing both thermonuclear Type-I and accretion-driven Type-II X-ray bursts. Recent studies have demonstrated how coordinated observations of X-ray and radio variability can constrain jet properties of accreting neutron stars - particularly when the X-ray variability is dominated by discrete changes. We present a simultaneous VLA, Swift, and INTEGRAL observing campaign of the Rapid Burster to investigate whether its jet responds to Type-II bursts. We observe the radio counterpart of the X-ray binary at its faintest-detected radio luminosity, while the X-ray observations reveal prolific, fast X-ray bursting. A time-resolved analysis reveals that the radio counterpart varies significantly between observing scans, displaying a fractional variability of $38 \pm 5$%. The radio faintness of the system prevents the robust identification of a causal relation between individual Type-II bursts and the evolution of the radio jet. However, based on a comparison of its low radio luminosity with archival Rapid Burster observations and other accreting neutron stars, and on a qualitative assessment of the X-ray and radio light curves, we explore the presence of a tentative connection between bursts and jet: i.e., the Type-II bursts may weaken or strengthen the jet. The former of those two scenarios would fit with magneto-rotational jet models; we discuss three lines of future research to establish this potential relation between Type-II bursts and jets more confidently.


title: From classical to modern central limit theorems

abstract: De Moivre (1733), investigating the limit distribution of the binomial distribution, was the first to discover the existence of the normal distribution and the central limit theorem. In this review article, we briefly recall the history of classical central limit theorem and martingale central limit theorem, and introduce a new direction of central limit theorem, namely nonlinear central limit theorem and nonlinear normal distribution.


title: On the $(\varphi,\Gamma)$-modules corresponding to crystalline representations

abstract: Let $K$ be a mixed characteristic complete discrete valuation field with perfect residue field of characteristic $p$. We construct a new linear category called the category of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that it is equivalent to the category of crystalline $\mathbb{Z}_p$-representations of the absolute Galois group of $K$. In other words, we determine the $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K$ which correspond to crystalline representations. In a sense, this can be seen as a generalization of Wach modules in the ramified case.


title: n-dependent continuous theories and hyperdefinable sets

abstract: We define the continuous modeling property for first-order structures and show that a first-order structure has the continuous modelling property if and only if its age has the embedding Ramsey property. We use generalized indiscernible sequences in continuous logic to study and characterize $n$-dependence for continuous theories and first-order hyperdefinable sets in terms of the collapse of indiscernible sequences.


title: Just Rewrite It Again: A Post-Processing Method for Enhanced Semantic Similarity and Privacy Preservation of Differentially Private Rewritten Text

abstract: The study of Differential Privacy (DP) in Natural Language Processing often views the task of text privatization as a $\textit{rewriting}$ task, in which sensitive input texts are rewritten to hide explicit or implicit private information. In order to evaluate the privacy-preserving capabilities of a DP text rewriting mechanism, $\textit{empirical privacy}$ tests are frequently employed. In these tests, an adversary is modeled, who aims to infer sensitive information (e.g., gender) about the author behind a (privatized) text. Looking to improve the empirical protections provided by DP rewriting methods, we propose a simple post-processing method based on the goal of aligning rewritten texts with their original counterparts, where DP rewritten texts are rewritten $\textit{again}$. Our results show that such an approach not only produces outputs that are more semantically reminiscent of the original inputs, but also texts which score on average better in empirical privacy evaluations. Therefore, our approach raises the bar for DP rewriting methods in their empirical privacy evaluations, providing an extra layer of protection against malicious adversaries.


title: AI Safety: A Climb To Armageddon?

abstract: This paper presents an argument that certain AI safety measures, rather than mitigating existential risk, may instead exacerbate it. Under certain key assumptions - the inevitability of AI failure, the expected correlation between an AI system's power at the point of failure and the severity of the resulting harm, and the tendency of safety measures to enable AI systems to become more powerful before failing - safety efforts have negative expected utility. The paper examines three response strategies: Optimism, Mitigation, and Holism. Each faces challenges stemming from intrinsic features of the AI safety landscape that we term Bottlenecking, the Perfection Barrier, and Equilibrium Fluctuation. The surprising robustness of the argument forces a re-examination of core assumptions around AI safety and points to several avenues for further research.


title: KITRO: Refining Human Mesh by 2D Clues and Kinematic-tree Rotation

abstract: 2D keypoints are commonly used as an additional cue to refine estimated 3D human meshes. Current methods optimize the pose and shape parameters with a reprojection loss on the provided 2D keypoints. Such an approach, while simple and intuitive, has limited effectiveness because the optimal solution is hard to find in ambiguous parameter space and may sacrifice depth. Additionally, divergent gradients from distal joints complicate and deviate the refinement of proximal joints in the kinematic chain. To address these, we introduce Kinematic-Tree Rotation (KITRO), a novel mesh refinement strategy that explicitly models depth and human kinematic-tree structure. KITRO treats refinement from a bone-wise perspective. Unlike previous methods which perform gradient-based optimizations, our method calculates bone directions in closed form. By accounting for the 2D pose, bone length, and parent joint's depth, the calculation results in two possible directions for each child joint. We then use a decision tree to trace binary choices for all bones along the human skeleton's kinematic-tree to select the most probable hypothesis. Our experiments across various datasets and baseline models demonstrate that KITRO significantly improves 3D joint estimation accuracy and achieves an ideal 2D fit simultaneously. Our code available at: https://github.com/MartaYang/KITRO.


title: A structured L-BFGS method with diagonal scaling and its application to image registration

abstract: We devise an L-BFGS method for optimization problems in which the objective is the sum of two functions, where the Hessian of the first function is computationally unavailable while the Hessian of the second function has a computationally available approximation that allows for cheap matrix-vector products. This is a prototypical setting for many inverse problems. The proposed L-BFGS method exploits the structure of the objective to construct a more accurate Hessian approximation than in standard L-BFGS. In contrast to existing works on structured L-BFGS, we choose the first part of the seed matrix, which approximates the Hessian of the first function, as a diagonal matrix rather than a multiple of the identity. We derive two suitable formulas for the coefficients of the diagonal matrix and show that this boosts performance on real-life image registration problems, which are highly non-convex inverse problems. The new method converges globally and linearly on non-convex problems under mild assumptions in a general Hilbert space setting, making it applicable to a broad class of inverse problems. An implementation of the method is freely available.


title: Anomalously Strong Size Effect on Thermal Conductivity of Diamond Microparticles

abstract: Diamond has the known highest thermal conductivity of around \SI{2000}{\watt\per\meter\per\kelvin} and is therefore widely used for heat dissipation. In practical applications, synthetic diamond microparticles are usually assumed to have similar thermal conductivity to that of bulk diamond because the particle size is larger than theoretical phonon mean free path so that boundary scattering of heat-carrying phonons is absent. In this report, we find the thermal conductivity of diamond microparticles anomalously depends on their sizes. Thermal conductivity of diamond microparticles increases from \SI{400}{\watt\per\meter\per\kelvin} to \SI{2000}{\watt\per\meter\per\kelvin} with the size growing from \SI{20}{\micro\meter} to \SI{300}{\micro\meter}. We attribute the abnormally strong size effect to the long-range defects during the growth process based on analysis of point defects, dislocations, and thermal penetration depth dependence of thermal conductivity. Our results play a vital role in the design of diamond composites and in the improvement of thermal conductivity of synthetic diamonds.


title: The Merit of River Network Topology for Neural Flood Forecasting

abstract: Climate change exacerbates riverine floods, which occur with higher frequency and intensity than ever. The much-needed forecasting systems typically rely on accurate river discharge predictions. To this end, the SOTA data-driven approaches treat forecasting at spatially distributed gauge stations as isolated problems, even within the same river network. However, incorporating the known topology of the river network into the prediction model has the potential to leverage the adjacency relationship between gauges. Thus, we model river discharge for a network of gauging stations with GNNs and compare the forecasting performance achieved by different adjacency definitions. Our results show that the model fails to benefit from the river network topology information, both on the entire network and small subgraphs. The learned edge weights correlate with neither of the static definitions and exhibit no regular pattern. Furthermore, the GNNs struggle to predict sudden, narrow discharge spikes. Our work hints at a more general underlying phenomenon of neural prediction not always benefitting from graphical structure and may inspire a systematic study of the conditions under which this happens.


title: Lifelong learning challenges in the era of artificial intelligence: a computational thinking perspective

abstract: The rapid advancement of artificial intelligence (AI) has brought significant challenges to the education and workforce skills required to take advantage of AI for human-AI collaboration in the workplace. As AI continues to reshape industries and job markets, the need to define how AI literacy can be considered in lifelong learning has become increasingly critical (Cetindamar et al., 2022; Laupichler et al., 2022; Romero et al., 2023). Like any new technology, AI is the subject of both hopes and fears, and what it entails today presents major challenges (Cugurullo \& Acheampong, 2023; Villani et al., 2018). It also raises profound questions about our own humanity. Will the machine surpass the intelligence of the humans who designed it? What will be the relationship between so-called AI and our human intelligences? How could human-AI collaboration be regulated in a way that serves the Sustainable Development Goals (SDGs)? This paper provides a review of the challenges of lifelong learning in the era of AI from a computational thinking, critical thinking, and creative competencies perspective, highlighting the implications for management and leadership in organizations.


title: Machine learning to explore high-entropy alloys with desired enthalpy for room-temperature hydrogen storage: Prediction of density functional theory and experimental data

abstract: Safe and high-density storage of hydrogen, for a clean-fuel economy, can be realized by hydride-forming materials, but these materials should be able to store hydrogen at room temperature. Some high-entropy alloys (HEAs) have recently been shown to reversibly store hydrogen at room temperature, but the design of HEAs with appropriate thermodynamics is still challenging. To explore HEAs with appropriate hydride formation enthalpy, this study employs machine learning (ML), in particular, Gaussian process regression (GPR) using four different kernels by training with 420 datum points collected from literature and curated here. The developed ML models are used to predict the formation enthalpy of hydrides for the TixZr2-xCrMnFeNi (x = 0.5, 1.0 and 1.5) system, which is not in the training set. The predicted values by ML are consistent with data from experiments and density functional theory (DFT). The present study thus introduces ML as a rapid and reliable approach for the design of HEAs with hydride formation enthalpies of -25 to -39 kJ/mol for hydrogen storage at room temperature.


title: Measurement of ${}_{\Lambda}^{3}\mathrm{H}$ production in Pb-Pb collisions at $\sqrt{s_{\mathrm{NN}}}$ = 5.02 TeV

abstract: The first measurement of $_{\Lambda}^{3}\mathrm{H}$ and $^3_ {\overline{\Lambda}}\overline{\mathrm{H}}$ differential production with respect to transverse momentum and centrality in Pb$-$Pb collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$~TeV is presented. The $_{\Lambda}^{3}\mathrm{H}$ has been reconstructed via its two-charged-body decay channel, i.e., $_{\Lambda}^{3}\mathrm{H} \rightarrow {}^{3}\mathrm{He} + \pi^{-}$. A Blast-Wave model fit of the $p_{\rm T}$-differential spectra of all nuclear species measured by the ALICE collaboration suggests that the $_{\Lambda}^{3}\mathrm{H}$ kinetic freeze-out surface is consistent with that of other nuclei. The ratio between the integrated yields of $_{\Lambda}^{3}\mathrm{H}$ and $^3\mathrm{He}$ is compared to predictions from the statistical hadronisation model and the coalescence model, with the latter being favoured by the presented measurements.


title: VELOcities of CEpheids (VELOCE) II. Systematic Search for Spectroscopic Binary Cepheids

abstract: Classical Cepheids provide valuable insights into the evolution of stellar multiplicity among intermediate-mass stars. Here, we present a systematic investigation of single-lined spectroscopic binaries (SB1) based on high-precision velocities measured by the VELOcities of CEpheids (VELOCE) project. We detected 76 (29%) SB1 systems among the 258 Milky Way Cepheids in the first VELOCE data release, 32 (43%) of which were not previously known to be SB1 systems. We determined 30 precise and 3 tentative orbital solutions, 18 (53%) of which are reported for the first time. This large set of Cepheid orbits provides a detailed view of the eccentricity e and orbital period Porb distribution among evolved intermediate-mass stars, ranging from e=[0.0, 0.8] and Porb=[240, 9 000] d. Orbital motion on timescales exceeding the 11 yr VELOCE baseline was investigated using a template fitting technique applied to literature data. Particularly interesting objects include a) R Cru, the Cepheid with the shortest orbital period in the Milky Way (240 d), b) ASAS J103158-5814.7, a short-period overtone Cepheid exhibiting time-dependent pulsation amplitudes as well as orbital motion, c) 17 triple systems with outer visual companions, among other interesting objects. Most VELOCE Cepheids (21/23) that exhibit evidence for a companion based on Gaia proper motion anomaly are also spectroscopic binaries, whereas the remaining do not exhibit significant (> 3-sigma) orbital RV variations. Gaia quality flags, notably the Renormalized Unit Weight Error (RUWE), do not allow to reliably identify Cepheid binaries, although statistically the average RUWE of SB1 Cepheids is slightly higher than that of non-SB1 Cepheids. Comparison with Gaia photometric amplitudes in G, Bp, and Rp also does not allow to identify spectroscopic binaries among the full VELOCE sample.


title: The First Photometric Analysis of Two Low Mass Ratio Contact Binary Systems In TESS Survey

abstract: Low mass-ratio (q) contact binary systems are progenitors of stellar mergers such as blue straggles (BS) or fast-rotating FK Com stars. In this study, we present the first light curve analysis of two newly identified low mass-ratio contact binary systems, TIC 55007847 and TIC 63597006, that are identified from TESS. Both stars are classified as A-subtype contact binaries. We obtained the precise orbit periods for the two objects by using the O-C method, i.e. P=0.6117108 d for TIC 55007847 and P=0.7008995 d for TIC 63597006, respectively, and found an obvious periodic signal in the O-C curve of TIC 63597006. We suggest that the periodic signal comes from a third body. We further use the Markov Chain Monte Carlo (MCMC) method with PHOEBE to derive the photometric solutions for the two binaries. The photometric solution for this object shows that the contribution of the third body is about 6%. Our analysis revealed that TIC 55007847 has an extremely low mass ratio of q=0.08. By calculating the ratio of spin angular momentum to the orbital angular momentum Js/Jo, we found that TIC 55007847 is very close to the instability threshold with Js/Jo = 0.31, indicating that it may merge into a single, fast-rotating star in the future. For TIC 63597006, q=0.14 and Js/Jo=0.15. This object is in a relatively stable evolutionary status at present.


title: Improve Student's Reasoning Generalizability through Cascading Decomposed CoTs Distillation

abstract: Large language models (LLMs) exhibit enhanced reasoning at larger scales, driving efforts to distill these capabilities into smaller models via teacher-student learning. Previous works simply fine-tune student models on teachers' generated Chain-of-Thoughts (CoTs) data. Although these methods enhance in-domain (IND) reasoning performance, they struggle to generalize to out-of-domain (OOD) tasks. We believe that the widespread spurious correlations between questions and answers may lead the model to preset a specific answer which restricts the diversity and generalizability of its reasoning process. In this paper, we propose Cascading Decomposed CoTs Distillation (CasCoD) to address these issues by decomposing the traditional single-step learning process into two cascaded learning steps. Specifically, by restructuring the training objectives -- removing the answer from outputs and concatenating the question with the rationale as input -- CasCoD's two-step learning process ensures that students focus on learning rationales without interference from the preset answers, thus improving reasoning generalizability. Extensive experiments demonstrate the effectiveness of CasCoD on both IND and OOD benchmark reasoning datasets. Code can be found at https://github.com/C-W-D/CasCoD.


title: How Gold to Make the Golden Snitch: Designing the "Game Changer" in Esports

abstract: Many battling games utilize a special item (e.g. Roshan in Defense of the Ancients 2 (DOTA 2), Baron Nashor in League of Legends (LOL), Golden Snitch in Quidditch) as a potential ``Game Changer''. The reward of this item can enable the underdog to make a comeback. However, if the reward is excessively high, the whole game may devolve into a chase for the ``Game Changer''. Our research initiates with a Quidditch case study, a fictional sport in Harry Potter series, wherein we architect the Golden Snitch's reward to maximize the audience's surprise. Surprisingly, we discover that for equally competent teams, the optimal Snitch reward is zero. Moreover, we establish that under most circumstances the optimal score aligns with the game's expected duration multiplied by the teams' strength difference. Finally, we explore the correlation between the ``Game Changer's'' reward and audience surprise in Multiplayer Online Battle Arena (MOBA) games including DOTA 2 and LOL, finding that the optimal reward escalates with increasing team strength inequality.


title: The Neumann boundary condition for the two-dimensional Lax-Wendroff scheme. II

abstract: We study the stability of a two-dimensional Lax-Wendroff scheme in a quarter-plane. Following our previous work, we aim here at adapting the energy method in order to study second order extrapolation boundary conditions. We first show on the one-dimensional problem why modifying the energy is a necessity in order to obtain stability estimates. We then study the two-dimensional case and propose a modified energy as well as second order extrapolation boundary and corner conditions in order to maintain second order accuracy and stability of the whole scheme, including near the corner.


title: Assessing the impact of weather-induced uncertainties in large-scale electricity systems

abstract: The future energy system will largely depend on volatile renewable energy sources and temperature-dependent loads, which makes the weather a central influencing factor. This article presents a novel approach for simulating weather scenarios for robust large-scale power system analysis. By applying different signal analysis methods, historical weather data is decomposed into its spectral components, processed appropriately, and then used to generate random, self-consistent weather data. In this process, any weather parameters of different locations can be considered, while their respective dependencies are mapped. The added value is demonstrated by coupling with a state-of-the-art large-scale energy system model for Europe. It is shown that the integrated consideration of different weather influences allows a quantification of the range of fluctuation of various parameters - such as the feed-in of wind and solar power - and thus provides the basis for future resilient grid planning approaches.