title: Arrow of Time in Estimation and Control: Duality Theory Beyond the Linear Gaussian Model

abstract: Duality between estimation and control is a foundational concept in Control Theory. Most students learn about the elementary duality -- between observability and controllability -- in their first graduate course in linear systems theory. Therefore, it comes as a surprise that for a more general class of nonlinear stochastic systems (hidden Markov models or HMMs), duality is incomplete. Our objective in writing this article is two-fold: (i) To describe the difficulty in extending duality to HMMs; and (ii) To discuss its recent resolution by the authors. A key message is that the main difficulty in extending duality comes from time reversal in going from estimation to control. The reason for time reversal is explained with the aid of the familiar linear deterministic and linear Gaussian models. The explanation is used to motivate the difference between the linear and the nonlinear models. Once the difference is understood, duality for HMMs is described based on our recent work. The article also includes a comparison and discussion of the different types of duality considered in literature.


title: InP/GaSb core-shell nanowires: a practical proposal for Majorana modes in a full-shell hybrid geometry with hole bands

abstract: Full-shell hybrid nanowires (NWs), structures comprising a superconductor shell that encapsulates a semiconductor (SM) core, have attracted considerable attention in the search for Majorana zero modes (MZMs). The main caveats of this platform, however, are that the predicted Rashba spin-orbit coupling (SOC) in the SM is too small to achieve substantial topological minigaps and that the MZMs typically coexist with a finite background of trivial subgap states. In order to overcome both problems, we explore the advantages of utilizing core-shell hole-band NWs for the SM part of the full-shell hybrid, with an insulating core and an active SM shell. In particular, we consider InP/GaSb core-shell NWs, which allow to exploit the unique characteristics of the III-V compound SM valence bands. We demonstrate that they exhibit a robust hole SOC that depends mainly on SM and geometrical parameters. In other words, the SOC is intrinsic and does not rely on neither electric fields, which are non-tunable in a full-shell hybrid geometry, nor on the strain at the interface, contrary to what happens in Ge/Si heterostructures where the strain plays a crucial role. As a result, core-shell hole-band NWs emerge as a promising candidate for full-shell Majorana physics, addressing several challenges in the field.


title: G-VOILA: Gaze-Facilitated Information Querying in Daily Scenarios

abstract: Modern information querying systems are progressively incorporating multimodal inputs like vision and audio. However, the integration of gaze -- a modality deeply linked to user intent and increasingly accessible via gaze-tracking wearables -- remains underexplored. This paper introduces a novel gaze-facilitated information querying paradigm, named G-VOILA, which synergizes users' gaze, visual field, and voice-based natural language queries to facilitate a more intuitive querying process. In a user-enactment study involving 21 participants in 3 daily scenarios (p = 21, scene = 3), we revealed the ambiguity in users' query language and a gaze-voice coordination pattern in users' natural query behaviors with G-VOILA. Based on the quantitative and qualitative findings, we developed a design framework for the G-VOILA paradigm, which effectively integrates the gaze data with the in-situ querying context. Then we implemented a G-VOILA proof-of-concept using cutting-edge deep learning techniques. A follow-up user study (p = 16, scene = 2) demonstrates its effectiveness by achieving both higher objective score and subjective score, compared to a baseline without gaze data. We further conducted interviews and provided insights for future gaze-facilitated information querying systems.


title: Fast Training Data Acquisition for Object Detection and Segmentation using Black Screen Luminance Keying

abstract: Deep Neural Networks (DNNs) require large amounts of annotated training data for a good performance. Often this data is generated using manual labeling (error-prone and time-consuming) or rendering (requiring geometry and material information). Both approaches make it difficult or uneconomic to apply them to many small-scale applications. A fast and straightforward approach of acquiring the necessary training data would allow the adoption of deep learning to even the smallest of applications. Chroma keying is the process of replacing a color (usually blue or green) with another background. Instead of chroma keying, we propose luminance keying for fast and straightforward training image acquisition. We deploy a black screen with high light absorption (99.99\%) to record roughly 1-minute long videos of our target objects, circumventing typical problems of chroma keying, such as color bleeding or color overlap between background color and object color. Next we automatically mask our objects using simple brightness thresholding, saving the need for manual annotation. Finally, we automatically place the objects on random backgrounds and train a 2D object detector. We do extensive evaluation of the performance on the widely-used YCB-V object set and compare favourably to other conventional techniques such as rendering, without needing 3D meshes, materials or any other information of our target objects and in a fraction of the time needed for other approaches. Our work demonstrates highly accurate training data acquisition allowing to start training state-of-the-art networks within minutes.


title: A note on \'etale $(\varphi,\Gamma)$-modules in families

abstract: Let $\Lambda$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/\mathbb{Q}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded $p$-adic formal scheme $\mathfrak{X}$, the category of prismatic $(\Lambda,F)$-crystals on $\mathfrak{X}$ is equivalent to $\Lambda$-\'etale local systems on the generic adic fiber of $\mathfrak{X}$ and that the cohomology of $(\Lambda,F)$-crystals recovers the pro-\'etale cohomology of the corresponding local systems. The proof follows the strategy used in \cite{bhatt2023prismatic} and \cite{marks2023prismatic}. From this we construct an isomorphism between Iwasawa cohomology of a $p$-adic Lie extension of $K$ and prismatic cohomology. Following \cite{wu2021galois}, we then reprove Dee's classical result \cite{article} on the equivalence between families of Galois representations and \'etale $(\varphi,\Gamma)$-modules.


title: Quality-aware Selective Fusion Network for V-D-T Salient Object Detection

abstract: Depth images and thermal images contain the spatial geometry information and surface temperature information, which can act as complementary information for the RGB modality. However, the quality of the depth and thermal images is often unreliable in some challenging scenarios, which will result in the performance degradation of the two-modal based salient object detection (SOD). Meanwhile, some researchers pay attention to the triple-modal SOD task, where they attempt to explore the complementarity of the RGB image, the depth image, and the thermal image. However, existing triple-modal SOD methods fail to perceive the quality of depth maps and thermal images, which leads to performance degradation when dealing with scenes with low-quality depth and thermal images. Therefore, we propose a quality-aware selective fusion network (QSF-Net) to conduct VDT salient object detection, which contains three subnets including the initial feature extraction subnet, the quality-aware region selection subnet, and the region-guided selective fusion subnet. Firstly, except for extracting features, the initial feature extraction subnet can generate a preliminary prediction map from each modality via a shrinkage pyramid architecture. Then, we design the weakly-supervised quality-aware region selection subnet to generate the quality-aware maps. Concretely, we first find the high-quality and low-quality regions by using the preliminary predictions, which further constitute the pseudo label that can be used to train this subnet. Finally, the region-guided selective fusion subnet purifies the initial features under the guidance of the quality-aware maps, and then fuses the triple-modal features and refines the edge details of prediction maps through the intra-modality and inter-modality attention (IIA) module and the edge refinement (ER) module, respectively. Extensive experiments are performed on VDT-2048


title: Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)

abstract: Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for their non-rigidity, which allows them to designate different objects (or none at all) at different states. We propose expressive modal description logics with non-rigid definite descriptions and names, and investigate decidability and complexity of the satisfaction problem. We first systematically link satisfiability for the one-variable fragment of first-order modal logic with counting to our modal description logics. Then, we prove a promising NEXPTIME-completeness result for concept satisfiability for the fundamental epistemic multi-agent logic $\mathbf{S5}^{n}$ and its neighbours, and show that some expressive logics that are undecidable with constant domain become decidable (but Ackermann-hard) with expanding domains. Finally, we conduct a fine-grained analysis of decidability of temporal logics.


title: Beyond traditional Magnetic Resonance processing with Artificial Intelligence

abstract: Smart signal processing approaches using Artificial Intelligence are gaining momentum in NMR applications. In this study, we demonstrate that AI offers new opportunities beyond tasks addressed by traditional techniques. We developed and trained several artificial neural networks in our new toolbox Magnetic Resonance with Artificial intelligence (MR-Ai) to solve three "impossible" problems: quadrature detection using only Echo (or Anti-Echo) modulation from the traditional Echo/Anti-Echo scheme; accessing uncertainty of signal intensity at each point in a spectrum processed by any given method; and defining a reference-free score for quantitative access of NMR spectrum quality. Our findings highlight the potential of AI techniques to revolutionize NMR processing and analysis.


title: Understanding Data Understanding: A Framework to Navigate the Intricacies of Data Analytics

abstract: As organizations face the challenges of processing exponentially growing data volumes, their reliance on analytics to unlock value from this data has intensified. However, the intricacies of big data, such as its extensive feature sets, pose significant challenges. A crucial step in leveraging this data for insightful analysis is an in-depth understanding of both the data and its domain. Yet, existing literature presents a fragmented picture of what comprises an effective understanding of data and domain, varying significantly in depth and focus. To address this research gap, we conduct a systematic literature review, aiming to delineate the dimensions of data understanding. We identify five dimensions: Foundations, Collection & Selection, Contextualization & Integration, Exploration & Discovery, and Insights. These dimensions collectively form a comprehensive framework for data understanding, providing guidance for organizations seeking meaningful insights from complex datasets. This study synthesizes the current state of knowledge and lays the groundwork for further exploration.


title: Square-well model for superconducting pair-potential

abstract: We study Andreev reflection in a one-dimensional square-well pair-potential. We discuss the history of the model. The current-phase relation is presented as a sum over Matsubara frequencies. How the current arises from bound and continuum levels is found by analytic continuation. We discuss two limiting cases of square-well model, the zero-length well and the infinite well. The model is quantitatively valid in some cases, but forms the basis for understanding a wide range of problems in inhomogeneous superconductivity and superfluidity.


title: Signal Enhancement in Distributed Acoustic Sensing Data Using a Guided Unsupervised Deep Learning Network

abstract: Distributed Acoustic Sensing (DAS) is a promising technology introducing a new paradigm in the acquisition of high-resolution seismic data. However, DAS data often show weak signals compared to the background noise, especially in tough installation environments. In this study, we propose a new approach to denoise DAS data that leverages an unsupervised deep learning (DL) model, eliminating the need for labeled training data. The DL model aims to reconstruct the DAS signal while simultaneously attenuating DAS noise. The input DAS data undergo band-pass filtering to eliminate high-frequency content. Subsequently, a continuous wavelet transform (CWT) is performed, and the finest scale is used to guide the DL model in reconstructing the DAS signal. First, we extract 2D patches from both the band-pass filtered data and the CWT scale of the data. Then, these patches are converted using an unrolling mechanism into 1D vectors to form the input of the DL model. The architecture of the proposed DL network is composed of several fully-connected layers. A self-attention layer is further included in each layer to extract the spatial relation between the band-pass filtered data and the CWT scale. Through an iterative process, the DL model tunes its parameters to suppress DAS noise, with the band-pass filtered data serving as the target for the network. We employ the log cosh as a loss function for the DL model, enhancing its robustness against erratic noise. The denoising performance of the proposed framework is validated using field examples from the San Andreas Fault Observatory at Depth (SAFOD) and Frontier Observatory for Research in Geothermal Energy (FORGE) datasets, where the data are recorded by a fiber-optic cable. Comparative analyses against three benchmark methods reveal the robust denoising performance of the proposed framework.


title: A note on the topological synchronisation of unimodal maps

abstract: In this note we complete the analysis carried on in [CGSV] about the topological synchronisation of unimodal maps of the interval coupled in a master-slave configuration, by answering to the questions raised in that paper. Namely, we compute the weak limits of the invariant measure of the coupled system as the coupling strength $k \in (0,1)$ tends to $0$ and to $1$ and discuss the uniqueness of the invariant measure of its random dynamical system counterpart. [CGSV] Caby Th., Gianfelice M., Saussol B., Vaienti S. "Topological synchronisation or a simple attractor?" Nonlinearity Vol. 36, no. 7, pp. 3603-3621 (2023).


title: Squeezing Lemons with Hammers: An Evaluation of AutoML and Tabular Deep Learning for Data-Scarce Classification Applications

abstract: Many industry verticals are confronted with small-sized tabular data. In this low-data regime, it is currently unclear whether the best performance can be expected from simple baselines, or more complex machine learning approaches that leverage meta-learning and ensembling. On 44 tabular classification datasets with sample sizes $\leq$ 500, we find that L2-regularized logistic regression performs similar to state-of-the-art automated machine learning (AutoML) frameworks (AutoPrognosis, AutoGluon) and off-the-shelf deep neural networks (TabPFN, HyperFast) on the majority of the benchmark datasets. We therefore recommend to consider logistic regression as the first choice for data-scarce applications with tabular data and provide practitioners with best practices for further method selection.


title: Sign Stitching: A Novel Approach to Sign Language Production

abstract: Sign Language Production (SLP) is a challenging task, given the limited resources available and the inherent diversity within sign data. As a result, previous works have suffered from the problem of regression to the mean, leading to under-articulated and incomprehensible signing. In this paper, we propose using dictionary examples and a learnt codebook of facial expressions to create expressive sign language sequences. However, simply concatenating signs and adding the face creates robotic and unnatural sequences. To address this we present a 7-step approach to effectively stitch sequences together. First, by normalizing each sign into a canonical pose, cropping, and stitching we create a continuous sequence. Then, by applying filtering in the frequency domain and resampling each sign, we create cohesive natural sequences that mimic the prosody found in the original data. We leverage a SignGAN model to map the output to a photo-realistic signer and present a complete Text-to-Sign (T2S) SLP pipeline. Our evaluation demonstrates the effectiveness of the approach, showcasing state-of-the-art performance across all datasets. Finally, a user evaluation shows our approach outperforms the baseline model and is capable of producing realistic sign language sequences.


title: Geospatial Knowledge Graphs

abstract: Geospatial knowledge graphs have emerged as a novel paradigm for representing and reasoning over geospatial information. In this framework, entities such as places, people, events, and observations are depicted as nodes, while their relationships are represented as edges. This graph-based data format lays the foundation for creating a "FAIR" (Findable, Accessible, Interoperable, and Reusable) environment, facilitating the management and analysis of geographic information. This entry first introduces key concepts in knowledge graphs along with their associated standardization and tools. It then delves into the application of knowledge graphs in geography and environmental sciences, emphasizing their role in bridging symbolic and subsymbolic GeoAI to address cross-disciplinary geospatial challenges. At the end, new research directions related to geospatial knowledge graphs are outlined.


title: Partial information decomposition: redundancy as information bottleneck

abstract: The partial information decomposition (PID) aims to quantify the amount of redundant information that a set of sources provides about a target. Here, we show that this goal can be formulated as a type of information bottleneck (IB) problem, termed the "redundancy bottleneck" (RB). The RB formalizes a tradeoff between prediction and compression: it extracts information from the sources that best predict the target, without revealing which source provided the information. It can be understood as a generalization of "Blackwell redundancy", which we previously proposed as a principled measure of PID redundancy. The "RB curve" quantifies the prediction--compression tradeoff at multiple scales. This curve can also be quantified for individual sources, allowing subsets of redundant sources to be identified without combinatorial optimization. We provide an efficient iterative algorithm for computing the RB curve.


title: New Solutions to Delsarte's Dual Linear Programs

abstract: Understanding the maximum size of a code with a given minimum distance is a major question in computer science and discrete mathematics. The most fruitful approach for finding asymptotic bounds on such codes is by using Delsarte's theory of association schemes. With this approach, Delsarte constructs a linear program such that its maximum value is an upper bound on the maximum size of a code with a given minimum distance. Bounding this value can be done by finding solutions to the corresponding dual linear program. Delsarte's theory is very general and goes way beyond binary codes. In this work, we provide universal bounds in the framework of association schemes that generalize the Elias-Bassalygo bound, which can be applied to any association scheme constructed from a distance function. These bounds are obtained by constructing new solutions to Delsarte's dual linear program. We instantiate these results and we recover known bounds for $q$-ary codes and for constant-weight binary codes. Our other contribution is to recover, for essentially any $Q$-polynomial scheme, MRRW-type solutions to Delsarte's dual linear program which are inspired by the Laplacian approach of Friedman and Tillich instead of using the Christoffel-Darboux formulas. We show in particular how the second linear programming bound can be interpreted in this framework.


title: Backdoor Removal for Generative Large Language Models

abstract: With rapid advances, generative large language models (LLMs) dominate various Natural Language Processing (NLP) tasks from understanding to reasoning. Yet, language models' inherent vulnerabilities may be exacerbated due to increased accessibility and unrestricted model training on massive textual data from the Internet. A malicious adversary may publish poisoned data online and conduct backdoor attacks on the victim LLMs pre-trained on the poisoned data. Backdoored LLMs behave innocuously for normal queries and generate harmful responses when the backdoor trigger is activated. Despite significant efforts paid to LLMs' safety issues, LLMs are still struggling against backdoor attacks. As Anthropic recently revealed, existing safety training strategies, including supervised fine-tuning (SFT) and Reinforcement Learning from Human Feedback (RLHF), fail to revoke the backdoors once the LLM is backdoored during the pre-training stage. In this paper, we present Simulate and Eliminate (SANDE) to erase the undesired backdoored mappings for generative LLMs. We initially propose Overwrite Supervised Fine-tuning (OSFT) for effective backdoor removal when the trigger is known. Then, to handle the scenarios where the trigger patterns are unknown, we integrate OSFT into our two-stage framework, SANDE. Unlike previous works that center on the identification of backdoors, our safety-enhanced LLMs are able to behave normally even when the exact triggers are activated. We conduct comprehensive experiments to show that our proposed SANDE is effective against backdoor attacks while bringing minimal harm to LLMs' powerful capability without any additional access to unbackdoored clean models. We will release the reproducible code.


title: CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models

abstract: Patch robustness certification is an emerging kind of defense technique against adversarial patch attacks with provable guarantees. There are two research lines: certified recovery and certified detection. They aim to label malicious samples with provable guarantees correctly and issue warnings for malicious samples predicted to non-benign labels with provable guarantees, respectively. However, existing certified detection defenders suffer from protecting labels subject to manipulation, and existing certified recovery defenders cannot systematically warn samples about their labels. A certified defense that simultaneously offers robust labels and systematic warning protection against patch attacks is desirable. This paper proposes a novel certified defense technique called CrossCert. CrossCert formulates a novel approach by cross-checking two certified recovery defenders to provide unwavering certification and detection certification. Unwavering certification ensures that a certified sample, when subjected to a patched perturbation, will always be returned with a benign label without triggering any warnings with a provable guarantee. To our knowledge, CrossCert is the first certified detection technique to offer this guarantee. Our experiments show that, with a slightly lower performance than ViP and comparable performance with PatchCensor in terms of detection certification, CrossCert certifies a significant proportion of samples with the guarantee of unwavering certification.


title: Action of the axial $U(1)$ non-invertible symmetry on the 't~Hooft line operator: A simple argument

abstract: Employing the modified Villain lattice formulation of the axion QED, we present an alternative and much simpler derivation of the conclusion of~Ref.~\cite{Honda:2024sdz} that the sweep of the axial $U(1)$ non-invertible symmetry operator over the (non-genuine) gauge invariant 't~Hooft line operator with an integer magnetic charge does not leave any effect. The point is that such a 't~Hooft line can be represented by a boundary of a (non-topological) defect that is invariant under the axial transformation on the axion field.


title: Impact of white Gaussian internal noise on analog echo-state neural networks

abstract: In recent years, more and more works have appeared devoted to the analog (hardware) implementation of artificial neural networks, in which neurons and the connection between them are based not on computer calculations, but on physical principles. Such networks offer improved energy efficiency and, in some cases, scalability, but may be susceptible to internal noise. This paper studies the influence of noise on the functioning of recurrent networks using the example of trained echo state networks (ESNs). The most common reservoir connection matrices were chosen as various topologies of ESNs: random uniform and band matrices with different connectivity. White Gaussian noise was chosen as the influence, and according to the way of its introducing it was additive or multiplicative, as well as correlated or uncorrelated. In the paper, we show that the propagation of noise in reservoir is mainly controlled by the statistical properties of the output connection matrix, namely the mean and the mean square. Depending on these values, more correlated or uncorrelated noise accumulates in the network. We also show that there are conditions under which even noise with an intensity of $10^{-20}$ is already enough to completely lose the useful signal. In the article we show which types of noise are most critical for networks with different activation functions (hyperbolic tangent, sigmoid and linear) and if the network is self-closed.


title: Constructing a BPE Tokenization DFA

abstract: Many natural language processing systems operate over tokenizations of text to address the open-vocabulary problem. In this paper, we give and analyze an algorithm for the efficient construction of deterministic finite automata designed to operate directly on tokenizations produced by the popular byte pair encoding technique. This makes it possible to apply many existing techniques and algorithms to the tokenized case, such as pattern matching, equivalence checking of tokenization dictionaries, and composing tokenized languages in various ways.


title: Duality-based single-level reformulations of bilevel optimization problems

abstract: Usually, bilevel optimization problems need to be transformed into single-level ones in order to derive optimality conditions and solution algorithms. Among the available approaches, the replacement of the lower-level problem by means of duality relations became popular quite recently. We revisit three realizations of this idea which are based on the lower-level Lagrange, Wolfe, and Mond--Weir dual problem. The resulting single-level surrogate problems are equivalent to the original bilevel optimization problem from the viewpoint of global minimizers under mild assumptions. However, all these reformulations suffer from the appearance of so-called implicit variables, i.e., surrogate variables which do not enter the objective function but appear in the feasible set for modeling purposes. Treating implicit variables as explicit ones has been shown to be problematic when locally optimal solutions, stationary points, and applicable constraint qualifications are compared to the original problem. Indeed, we illustrate that the same difficulties have to be faced when using these duality-based reformulations. Furthermore, we show that the Mangasarian-Fromovitz constraint qualification is likely to be violated at each feasible point of these reformulations, contrasting assertions in some recently published papers.


title: An Empirical Study on the Robustness of Massively Multilingual Neural Machine Translation

abstract: Massively multilingual neural machine translation (MMNMT) has been proven to enhance the translation quality of low-resource languages. In this paper, we empirically investigate the translation robustness of Indonesian-Chinese translation in the face of various naturally occurring noise. To assess this, we create a robustness evaluation benchmark dataset for Indonesian-Chinese translation. This dataset is automatically translated into Chinese using four NLLB-200 models of different sizes. We conduct both automatic and human evaluations. Our in-depth analysis reveal the correlations between translation error types and the types of noise present, how these correlations change across different model sizes, and the relationships between automatic evaluation indicators and human evaluation indicators. The dataset is publicly available at https://github.com/tjunlp-lab/ID-ZH-MTRobustEval.


title: CoVScreen: Pitfalls and recommendations for screening COVID-19 using Chest X-rays

abstract: The novel coronavirus (COVID-19), a highly infectious respiratory disease caused by the SARS-CoV-2 has emerged as an unprecedented healthcare crisis. The pandemic had a devastating impact on the health, well-being, and economy of the global population. Early screening and diagnosis of symptomatic patients plays crucial role in isolation of patient to help stop community transmission as well as providing early treatment helping in reducing the mortality rate. Although, the RT-PCR test is the gold standard for COVID-19 testing, it is a manual, laborious, time consuming, uncomfortable, and invasive process. Due to its accessibility, availability, lower-cost, ease of sanitisation, and portable setup, chest X-Ray imaging can serve as an effective screening and diagnostic tool. In this study, we first highlight limitations of existing datasets and studies in terms of data quality, data imbalance, and evaluation strategy. Second, we curated a large-scale COVID-19 chest X-ray dataset from many publicly available COVID-19 imaging databases and proposed a pre-processing pipeline to improve quality of the dataset. We proposed CoVScreen, an CNN architecture to train and test the curated dataset. The experimental results applying different classification scenarios on the curated dataset in terms of various evaluation metrics demonstrate the effectiveness of proposed methodology in the screening of COVID-19 infection.


title: Super-concentrated alkali hydroxide electrolytes for rechargeable Zn batteries

abstract: Rechargeable Zn batteries offer safe, inexpensive energy storage, but when deeply discharged to compete with lithium-ion batteries, they are plagued by parasitic reactions at the Zn anodes. We apply super-concentrated alkaline electrolytes to suppress two key parasitic reactions, hydrogen evolution and ZnO passivation. An electrolyte with 15 M KOH displays a broad electrochemical window (>2.5 V on Au), a high ZnO solubility (>1.5 M), and an exceptionally high ionic conductivity (>0.27 S/cm at 25 C). Spectroscopies and ab-initio molecular dynamics simulation suggest K+-OH- pairs and a tightened water network to underpin the stability. The simulation further reveals unique triggered proton hopping that offsets the lack of water wires to sustain the conductivity. Low hydrogen evolution, confirmed via online mass spectroscopy, and slow passivation enable a NiOOH||Zn battery to deliver a cumulative capacity of 8.4 Ah cm-2 and a Zn-air battery to last for over 110 hours.


title: On Minimum-Dispersion Control of Nonlinear Diffusion Processes

abstract: This work collects some methodological insights for numerical solution of a "minimum-dispersion" control problem for nonlinear stochastic differential equations, a particular relaxation of the covariance steering task. The main ingredient of our approach is the theoretical foundation called $\infty$-order variational analysis. This framework consists in establishing an exact representation of the increment ($\infty$-order variation) of the objective functional using the duality, implied by the transformation of the nonlinear stochastic control problem to a linear deterministic control of the Fokker-Planck equation. The resulting formula for the cost increment analytically represents a "law-feedback" control for the diffusion process. This control mechanism enables us to learn time-dependent coefficients for a predefined Markovian control structure using Monte Carlo simulations with a modest population of samples. Numerical experiments prove the vitality of our approach.


title: Unveiling low-dimensional patterns induced by convex non-differentiable regularizers

abstract: Popular regularizers with non-differentiable penalties, such as Lasso, Elastic Net, Generalized Lasso, or SLOPE, reduce the dimension of the parameter space by inducing sparsity or clustering in the estimators' coordinates. In this paper, we focus on linear regression and explore the asymptotic distributions of the resulting low-dimensional patterns when the number of regressors $p$ is fixed, the number of observations $n$ goes to infinity, and the penalty function increases at the rate of $\sqrt{n}$. While the asymptotic distribution of the rescaled estimation error can be derived by relatively standard arguments, the convergence of the pattern does not simply follow from the convergence in distribution, and requires a careful and separate treatment. For this purpose, we use the Hausdorff distance as a suitable mode of convergence for subdifferentials, resulting in the desired pattern convergence. Furthermore, we derive the exact limiting probability of recovering the true model pattern. This probability goes to 1 if and only if the penalty scaling constant diverges to infinity and the regularizer-specific asymptotic irrepresentability condition is satisfied. We then propose simple two-step procedures that asymptotically recover the model patterns, irrespective whether the irrepresentability condition holds. Interestingly, our theory shows that Fused Lasso cannot reliably recover its own clustering pattern, even for independent regressors. It also demonstrates how this problem can be resolved by ``concavifying'' the Fused Lasso penalty coefficients. Additionally, sampling from the asymptotic error distribution facilitates comparisons between different regularizers. We provide short simulation studies showcasing an illustrative comparison between the asymptotic properties of Lasso, Fused Lasso, and SLOPE.


title: Relativistic Roots of $\kappa$-Entropy

abstract: The axiomatic structure of the $\kappa$-statistcal theory is proven. In addition to the first three standard Khinchin--Shannon axioms of continuity, maximality, and expansibility, two further axioms are identified, namely the self-duality axiom and the scaling axiom. It is shown that both the $\kappa$-entropy and its special limiting case, the classical Boltzmann--Gibbs--Shannon entropy, follow unambiguously from the above new set of five axioms. It has been emphasized that the statistical theory that can be built from $\kappa$-entropy has a validity that goes beyond physics and can be used to treat physical, natural, or artificial complex systems. The physical origin of the self-duality and scaling axioms has been investigated and traced back to the first principles of relativistic physics, i.e., the Galileo relativity principle and the Einstein principle of the constancy of the speed of light. It has been shown that the $\kappa$-formalism, which emerges from the $\kappa$-entropy, can treat both simple (few-body) and complex (statistical) systems in a unified way. Relativistic statistical mechanics based on $\kappa$-entropy is shown that preserves the main features of classical statistical mechanics (kinetic theory, molecular chaos hypothesis, maximum entropy principle, thermodynamic stability, H-theorem, and Lesche stability). The answers that the $\kappa$-statistical theory gives to the more-than-a-century-old open problems of relativistic physics, such as how thermodynamic quantities like temperature and entropy vary with the speed of the reference frame, have been emphasized.


title: Class-wise Activation Unravelling the Engima of Deep Double Descent

abstract: Double descent presents a counter-intuitive aspect within the machine learning domain, and researchers have observed its manifestation in various models and tasks. While some theoretical explanations have been proposed for this phenomenon in specific contexts, an accepted theory for its occurring mechanism in deep learning remains yet to be established. In this study, we revisited the phenomenon of double descent and discussed the conditions of its occurrence. This paper introduces the concept of class-activation matrices and a methodology for estimating the effective complexity of functions, on which we unveil that over-parameterized models exhibit more distinct and simpler class patterns in hidden activations compared to under-parameterized ones. We further looked into the interpolation of noisy labelled data among clean representations and demonstrated overfitting w.r.t. expressive capacity. By comprehensively analysing hypotheses and presenting corresponding empirical evidence that either validates or contradicts these hypotheses, we aim to provide fresh insights into the phenomenon of double descent and benign over-parameterization and facilitate future explorations. By comprehensively studying different hypotheses and the corresponding empirical evidence either supports or challenges these hypotheses, our goal is to offer new insights into the phenomena of double descent and benign over-parameterization, thereby enabling further explorations in the field. The source code is available at https://github.com/Yufei-Gu-451/sparse-generalization.git.


title: Establishing a Unified Evaluation Framework for Human Motion Generation: A Comparative Analysis of Metrics

abstract: The development of generative artificial intelligence for human motion generation has expanded rapidly, necessitating a unified evaluation framework. This paper presents a detailed review of eight evaluation metrics for human motion generation, highlighting their unique features and shortcomings. We propose standardized practices through a unified evaluation setup to facilitate consistent model comparisons. Additionally, we introduce a novel metric that assesses diversity in temporal distortion by analyzing warping diversity, thereby enhancing the evaluation of temporal data. We also conduct experimental analyses of three generative models using a publicly available dataset, offering insights into the interpretation of each metric in specific case scenarios. Our goal is to offer a clear, user-friendly evaluation framework for newcomers, complemented by publicly accessible code.


title: On the set of points represented by harmonic subseries

abstract: We help Alice play a certain "convergence game" against Bob and win the prize, which is a constructive solution to a problem by Erd\H{o}s and Graham, posed in their 1980 book on open questions in combinatorial number theory. Namely, after several reductions using peculiar arithmetic identities, the game outcome shows that the set of points \[ \Big(\sum_{n\in A}\frac{1}{n}, \sum_{n\in A}\frac{1}{n+1}, \sum_{n\in A}\frac{1}{n+2}\Big), \] obtained as $A$ ranges over infinite sets of positive integers, has a non-empty interior. This generalizes a two-dimensional result by Erd\H{o}s and Straus.


title: FastSAG: Towards Fast Non-Autoregressive Singing Accompaniment Generation

abstract: Singing Accompaniment Generation (SAG), which generates instrumental music to accompany input vocals, is crucial to developing human-AI symbiotic art creation systems. The state-of-the-art method, SingSong, utilizes a multi-stage autoregressive (AR) model for SAG, however, this method is extremely slow as it generates semantic and acoustic tokens recursively, and this makes it impossible for real-time applications. In this paper, we aim to develop a Fast SAG method that can create high-quality and coherent accompaniments. A non-AR diffusion-based framework is developed, which by carefully designing the conditions inferred from the vocal signals, generates the Mel spectrogram of the target accompaniment directly. With diffusion and Mel spectrogram modeling, the proposed method significantly simplifies the AR token-based SingSong framework, and largely accelerates the generation. We also design semantic projection, prior projection blocks as well as a set of loss functions, to ensure the generated accompaniment has semantic and rhythm coherence with the vocal signal. By intensive experimental studies, we demonstrate that the proposed method can generate better samples than SingSong, and accelerate the generation by at least 30 times. Audio samples and code are available at https://fastsag.github.io/.


title: Integral means spectrum functionals on Teichmuller spaces

abstract: In this paper, we introduce and study the integral means spectrum (IMS) functionals on Teichmuller spaces. We show that the IMS functionals on the closure of the universal Teichmuller space and on the asymptotic universal Teichmuller space are both continuous. During the proof, we obtain some new results about the universal asymptotic Teichmuller space.


title: Constructive reachability for linear control problems under conic constraints

abstract: Motivated by applications requiring sparse or nonnegative controls, we investigate reachability properties of linear infinite-dimensional control problems under conic constraints. Relaxing the problem to convex constraints if the initial cone is not already convex, we provide a constructive approach based on minimising a properly defined dual functional, which covers both the approximate and exact reachability problems. Our main results heavily rely on convex analysis, Fenchel duality and the Fenchel-Rockafellar theorem. As a byproduct, we uncover new sufficient conditions for approximate and exact reachability under convex conic constraints. We also prove that these conditions are in fact necessary. When the constraints are nonconvex, our method leads to sufficient conditions ensuring that the constructed controls fulfill the original constraints, which is in the flavour of bang-bang type properties. We show that our approach encompasses and generalises several works, and we obtain new results for different types of conic constraints and control systems.


title: Comprehensive Analysis of Access Control Models in Edge Computing: Challenges, Solutions, and Future Directions

abstract: Many contemporary applications, including smart homes and autonomous vehicles, rely on the Internet of Things technology. While cloud computing provides a multitude of valuable services for these applications, it generally imposes constraints on latency-sensitive applications due to the significant propagation delays. As a complementary technique to cloud computing, edge computing situates computing resources closer to the data sources, which reduces the latency and simultaneously alleviates the bandwidth pressure for the cloud and enhances data security. While edge computing offers significant advantages, it also presents significant challenges in access control -- a critical component for safeguarding data. For instance, it is crucial to implement access control mechanisms that are both effective and efficient on resource-constrained devices, ensuring high security without compromising the inherent low latency benefits of edge computing. These challenges drive the development of innovative access control solutions tailored to meet the unique requirements of edge computing environments. We classify related references from the perspectives of multiple data lifecycles (including data collection, storage, and usage), which thoroughly investigates the access control techniques and helps readers understand them systematically. Finally, we reflect on the classification and envisage future research directions.


title: Pole trajectories of the $\Lambda(1405)$ helps establish its dynamical nature

abstract: Chiral trajectories of dynamically generated resonances are connected to the SU(3) breaking pattern and their nature. From an analysis of a recent LQCD simulation on the $\pi\Sigma-\bar{K}N$ scattering for $I=0$, and the study of the quark mass dependence of the octet baryons, we determine for the first time the trajectory of the two poles associated to the $\Lambda(1405)$ towards the symmetric point $(\mathrm{Tr}[M]=\mathrm{cte})$ accurately. Our result at unphysical pion mass is consistent with the lattice simulation at $m_\pi\simeq 200$ MeV and the extrapolation to the physical point, based on the NLO chiral lagrangian, agrees perfectly well with previous analyses of experimental data. Contrary to other works, we predict qualitatively similar trajectories at LO and up to NLO, being consistent with the dominance of the LO interaction. At the SU(3) symmetric point up to NLO, we obtain that the lower pole is located at $E^{(1)}=1595\pm8$ MeV, being a singlet representation, while the higher pole belongs to the octet with a mass $E^{(8)}=1600\pm4$ MeV. This can be tested in the future LQCD simulations.


title: Highly Efficient Observation Process based on FFT Filtering for Robot Swarm Collaborative Navigation in Unknown Environments

abstract: Collaborative path planning for robot swarms in complex, unknown environments without external positioning is a challenging problem. This requires robots to find safe directions based on real-time environmental observations, and to efficiently transfer and fuse these observations within the swarm. This study presents a filtering method based on Fast Fourier Transform (FFT) to address these two issues. We treat sensors' environmental observations as a digital sampling process. Then, we design two different types of filters for safe direction extraction, as well as for the compression and reconstruction of environmental data. The reconstructed data is mapped to probabilistic domain, achieving efficient fusion of swarm observations and planning decision. The computation time is only on the order of microseconds, and the transmission data in communication systems is in bit-level. The performance of our algorithm in sensor data processing was validated in real world experiments, and the effectiveness in swarm path optimization was demonstrated through extensive simulations.


title: Finitely generated groups and harmonic functions of slow growth

abstract: In this paper, we are mainly concerned with $(\mathbb{G},\mu)$-harmonic functions that grow at most polynomially, where $\mathbb{G}$ is a finitely generated group with a probability measure $\mu$. In the initial part of the paper, we focus on Lipschitz harmonic functions and how they descend onto finite index subgroups. We discuss the relations between Lipschitz harmonic functions and harmonic functions of linear growth and conclude that for groups of polynomial growth, they coincide. In the latter part of the paper, we specialise to positive harmonic functions and give a characterisation for strong Liouville property in terms of the Green's function. We show that the existence of a non-constant positive harmonic function of polynomial growth guarantees that the group cannot have polynomial growth.


title: Quality of Experience Optimization for Real-time XR Video Transmission with Energy Constraints

abstract: Extended Reality (XR) is an important service in the 5G network and in future 6G networks. In contrast to traditional video on demand services, real-time XR video is transmitted frame-by-frame, requiring low latency and being highly sensitive to network fluctuations. In this paper, we model the quality of experience (QoE) for real-time XR video transmission on a frame-by-frame basis. Based on the proposed QoE model, we formulate an optimization problem that maximizes QoE with constraints on wireless resources and long-term energy consumption. We utilize Lyapunov optimization to transform the original problem into a single-frame optimization problem and then allocate wireless subchannels. We propose an adaptive XR video bitrate algorithm that employs a Long Short Term Memory (LSTM) based Deep Q-Network (DQN) algorithm for video bitrate selection. Through numerical results, we show that our proposed algorithm outperforms the baseline algorithms, with the average QoE improvements of 0.04 to 0.46. Specifically, compared to baseline algorithms, the proposed algorithm reduces average video quality variations by 29% to 50% and improves the frame transmission success rate by 5% to 48%.


title: Convergence analysis of three semi-discrete numerical schemes for nonlocal geometric flows including perimeter terms

abstract: We present and analyze three distinct semi-discrete schemes for solving nonlocal geometric flows incorporating perimeter terms. These schemes are based on the finite difference method, the finite element method, and the finite element method with a specific tangential motion. We offer rigorous proofs of quadratic convergence under $H^1$-norm for the first scheme and linear convergence under $H^1$-norm for the latter two schemes. All error estimates rely on the observation that the error of the nonlocal term can be controlled by the error of the local term. Furthermore, we explore the relationship between the convergence under $L^\infty$-norm and manifold distance. Extensive numerical experiments are conducted to verify the convergence analysis, and demonstrate the accuracy of our schemes under various norms for different types of nonlocal flows.


title: Discovery of Very-high-energy Gamma-ray Emissions from the Low Luminosity AGN NGC 4278 by LHAASO

abstract: The first source catalog of Large High Altitude Air Shower Observatory reported the detection of a very-high-energy gamma ray source, 1LHAASO J1219+2915. In this paper a further detailed study of the spectral and temporal behavior of this point-like source have been carried. The best-fit position of the TeV source ($\rm{RA}=185.05^{\circ}\pm0.04^{\circ}$, $\rm{Dec}=29.25^{\circ}\pm0.03^{\circ}$) is compatible with NGC 4278 within $\sim0.03$ degree. Variation analysis shows an indication of the variability at a few months level in the TeV band, which is consistent with low frequency observations. Based on these observations, we report the detection of TeV $\gamma$-ray emissions from this low-luminosity AGN NGC 4278. The observations by LHAASO-WCDA during active period has a significance level of 8.8\,$\sigma$ with best-fit photon spectral index $\varGamma=2.56\pm0.14$ and a flux $f_{1-10\,\rm{TeV}}=(7.0\pm1.1_{\rm{sta}}\pm0.35_{\rm{syst}})\times10^{-13}\,\rm{photons\,cm^{-2}\,s^{-1}}$, or approximately $5\%$ of the Crab Nebula. The discovery of VHE from NGC 4278 indicates that the compact, weak radio jet can efficiently accelerate particles and emit TeV photons.


title: Holography of Higher Codimension Submanifolds: Riemannian and Conformal

abstract: We provide a natural generalization to submanifolds of the holographic method used to extract higher-order local invariants of both Riemannian and conformal embeddings, some of which depend on a choice of parallelization of the normal bundle. Qualitatively new behavior is observed in the higher-codimension case, giving rise to new invariants that obstruct the order-by-order construction of unit defining maps. In the conformal setting, a novel invariant (that vanishes in codimension 1) is realized as the leading transverse-order term appearing in a holographically-constructed Willmore invariant. Using these same tools, we also investigate the formal solutions to extension problems off of an embedded submanifold.


title: $\mathrm{B^0_{(s)}}\to \mu^+\mu^-$ rare decays at LHC

abstract: The ATLAS, CMS, and LHCb collaborations have leveraged data from proton-proton collisions at the Large Hadron Collider (LHC) to advance our understanding of fundamental particles and their interactions. These collaborative efforts underscore the significance of integrating datasets across different runs and energy levels, yielding insights that contribute to the ongoing measurements of the $\mathrm{B^0_{(s)}}\to \mu^+\mu^-$ decay branching fractions and $\mathrm{B^0_{s}}\to \mu^+\mu^-$ effective lifetime.


title: The coupled-channel analysis of $B^{(*)}_{(s)}\bar{B}^{(*)}_{(s)}$ systems within complex scaling method

abstract: In present work, we perform a coupled-channel analysis of $B^{(*)}_{(s)}\bar{B}^{(*)}_{(s)}$ systems with the one-boson-exchange potentials. We first study the $I(J^{PC})=1(1^{+-})$ $B\bar{B}^{*}/B^{*}\bar{B}^{*}$ system to describe the $Z_{b}(10610)$ and $Z_{b}(10650)$ particles as molecular states and determine the reasonable range of cutoff parameter $\Lambda$. Then, other $B^{(*)}_{(s)}\bar{B}^{(*)}_{(s)}$ combinations with different quantum numbers are systematically investigated. Some bound states and resonances appear in the isoscalar systems, while only several shallow bound states exist for isovector systems. Far away from the excited conventional $P-$wave bottomium, these predicted states can be easily identified as exotic particles both theoretically and experimentally. Moreover, the $\eta_b(nS)/\Upsilon(nS)$ plus light mesons are the excellent final states to search for the bound states, while the $B\bar B^*+h.c.$ and $B^* \bar B^*$ channels are suitable for the resonances. We highly recommend that the LHCb and Belle II Collaborations can hunt for these bottomonium-like states in future.


title: High-energy neutrinos from late-time jets of gamma-ray bursts seeded with cocoon photons

abstract: In gamma-ray bursts (GRBs), $\sim$ 100 - 1000 s after the prompt emission, afterglow observations have consistently shown X-ray excesses detected in the form of flares (XFs; in long GRBs) or extended emission (EEs; in short GRBs). These observations are interpreted as emissions from jets launched by late central engine activity. However, the characteristics of these late-time jets, particularly the dissipation radius ($r_{\rm diss}$), Lorentz factor ($\Gamma$), and cosmic-ray loading factor ($\xi_p$), remain unknown despite their importance. Here, in order to understand the properties of the late-time jets with future multi-messenger observations, we estimate the detectability of neutrinos associated with late-time emissions for a wide range of $r_{\rm diss}$ and $\Gamma$, assuming $\xi_p=10$. We take into account external seed photons from the cocoon around the jets, which can enhance the neutrino production through photohadronic interaction in the jet dissipation region. Our results are still consistent with the upper limit obtained by IceCube. Our calculations indicate a promising prospect for neutrino detection with IceCube-Gen2 through the stacking of $\sim 1000-2000$ events, for a wide range of $r_{\rm diss}$ and $\Gamma$. We found that setting an optimal energy threshold of 10 TeV can significantly reduce noise without negatively affecting neutrino detection. Furthermore, even in the case of non-detection, we show that meaningful constraints on the characteristics of the late-time jets can be obtained.


title: MonoMAE: Enhancing Monocular 3D Detection through Depth-Aware Masked Autoencoders

abstract: Monocular 3D object detection aims for precise 3D localization and identification of objects from a single-view image. Despite its recent progress, it often struggles while handling pervasive object occlusions that tend to complicate and degrade the prediction of object dimensions, depths, and orientations. We design MonoMAE, a monocular 3D detector inspired by Masked Autoencoders that addresses the object occlusion issue by masking and reconstructing objects in the feature space. MonoMAE consists of two novel designs. The first is depth-aware masking that selectively masks certain parts of non-occluded object queries in the feature space for simulating occluded object queries for network training. It masks non-occluded object queries by balancing the masked and preserved query portions adaptively according to the depth information. The second is lightweight query completion that works with the depth-aware masking to learn to reconstruct and complete the masked object queries. With the proposed object occlusion and completion, MonoMAE learns enriched 3D representations that achieve superior monocular 3D detection performance qualitatively and quantitatively for both occluded and non-occluded objects. Additionally, MonoMAE learns generalizable representations that can work well in new domains.


title: Practical Short-Length Coding Schemes for Binary Distributed Hypothesis Testing

abstract: This paper investigates practical coding schemes for Distributed Hypothesis Testing (DHT). While the literature has extensively analyzed the information-theoretic performance of DHT and established bounds on Type-II error exponents through quantize and quantize-binning achievability schemes, the practical implementation of DHT coding schemes has not yet been investigated. Therefore, this paper introduces practical implementations of quantizers and quantize-binning schemes for DHT, leveraging short-length binary linear block codes. Furthermore, it provides exact analytical expressions for Type-I and Type-II error probabilities associated with each proposed coding scheme. Numerical results show the accuracy of the proposed analytical error probability expressions, and enable to compare the performance of the proposed schemes.


title: oTTC: Object Time-to-Contact for Motion Estimation in Autonomous Driving

abstract: Autonomous driving systems require a quick and robust perception of the nearby environment to carry out their routines effectively. With the aim to avoid collisions and drive safely, autonomous driving systems rely heavily on object detection. However, 2D object detections alone are insufficient; more information, such as relative velocity and distance, is required for safer planning. Monocular 3D object detectors try to solve this problem by directly predicting 3D bounding boxes and object velocities given a camera image. Recent research estimates time-to-contact in a per-pixel manner and suggests that it is more effective measure than velocity and depth combined. However, per-pixel time-to-contact requires object detection to serve its purpose effectively and hence increases overall computational requirements as two different models need to run. To address this issue, we propose per-object time-to-contact estimation by extending object detection models to additionally predict the time-to-contact attribute for each object. We compare our proposed approach with existing time-to-contact methods and provide benchmarking results on well-known datasets. Our proposed approach achieves higher precision compared to prior art while using a single image.


title: The Red Supergiant Progenitor of Type II Supernova 2024ggi

abstract: We present a detailed analysis of the progenitor and its local environment for the recently discovered type II supernova (SN) 2024ggi at a distance of about 6.7~Mpc, by utilizing the pre-explosion images from the Hubble Space Telescope (HST) and \textit{Spitzer} Space Telescope. The progenitor is identified as a red, bright variable star, with absolute $F814W$-band magnitudes being $-$6.2 mag in 1995 to $-$7.2 mag in 2003, respectively, consistent with that of a normal red supergiant (RSG) star. Combining with the historical mid-infrared light curves, a pulsational period of about 379~days can be inferred for the progenitor star. Fitting its spectral energy distribution with stellar spectral models yields the stellar parameters of temperature, radius and bolometric luminosity as $T_*=3290_{-27}^{+19}$~K, $R_*=887_{-51}^{+60}$~R$_{\odot}$, and log($L$/L$_{\odot}$)$=4.92_{-0.04}^{+0.05}$, respectively. The above parameters indicate that the progenitor of SN 2024ggi is consistent with the stellar evolutionary track of a solar-metallicity massive star with an initial mass of $13_{-1}^{+1}$~M$_{\odot}$. Moreover, our analysis indicates a relatively low mass loss rate (i.e., $< 3\times10^{-6}$~M$_{\odot}$~yr$^{-1}$) for the progenitor compared to that inferred from the flashed spectra and X-ray detection (i.e., $10^{-2}$$-$$ 10$$^{-5}$~M$_{\odot}$~yr$^{-1}$), implying a significant enhancement in mass loss within a few years prior to the explosion.


title: Age-Dependent Analysis and Stochastic Generation of Child-Directed Speech

abstract: Child-directed speech (CDS) is a particular type of speech that adults use when addressing young children. Its properties also change as a function of extralinguistic factors, such as age of the child being addressed. Access to large amounts of representative and varied CDS would be useful for child language research, as this would enable controlled computational modeling experiments of infant language acquisition with realistic input in terms of quality and quantity. In this study, we describe an approach to model age-dependent linguistic properties of CDS using a language model (LM) trained on CDS transcripts and ages of the recipient children, as obtained from North American English corpora of the CHILDES database. The created LM can then be used to stochastically generate synthetic CDS transcripts in an age-appropriate manner, thereby scaling beyond the original datasets in size. We compare characteristics of the generated CDS against the real speech addressed at children of different ages, showing that the LM manages to capture age-dependent changes in CDS, except for a slight difference in the effective vocabulary size. As a side product, we also provide a systematic characterization of age-dependent linguistic properties of CDS in CHILDES, illustrating how all measured aspects of the CDS change with children's age.


title: Phase separation in a binary mixture of sticky spheres

abstract: We numerically investigate the dependence of range of attractive potential on the phase separation of 2-D binary systems. Through extensive simulations and analysis, we show that when the range of attractive interactions approaches the sticky sphere limit, the system undergoes a phase separation at lower temperature. Further reduction in temperature causes the system to mix again. These mixing-demixing-mixing transitions are of first order. Such phase separation is not observed for systems with larger interaction range. In the phase separated region of the phase diagram, one of the components of the mixture chooses to be in crystalline configuration, while other being in disordered state


title: FORESEE: Multimodal and Multi-view Representation Learning for Robust Prediction of Cancer Survival

abstract: Integrating the different data modalities of cancer patients can significantly improve the predictive performance of patient survival. However, most existing methods ignore the simultaneous utilization of rich semantic features at different scales in pathology images. When collecting multimodal data and extracting features, there is a likelihood of encountering intra-modality missing data, introducing noise into the multimodal data. To address these challenges, this paper proposes a new end-to-end framework, FORESEE, for robustly predicting patient survival by mining multimodal information. Specifically, the cross-fusion transformer effectively utilizes features at the cellular level, tissue level, and tumor heterogeneity level to correlate prognosis through a cross-scale feature cross-fusion method. This enhances the ability of pathological image feature representation. Secondly, the hybrid attention encoder (HAE) uses the denoising contextual attention module to obtain the contextual relationship features and local detail features of the molecular data. HAE's channel attention module obtains global features of molecular data. Furthermore, to address the issue of missing information within modalities, we propose an asymmetrically masked triplet masked autoencoder to reconstruct lost information within modalities. Extensive experiments demonstrate the superiority of our method over state-of-the-art methods on four benchmark datasets in both complete and missing settings.


title: OpenLLM-Ro -- Technical Report on Open-source Romanian LLMs

abstract: In recent years, Large Language Models (LLMs) have achieved almost human-like performance on various tasks. While some LLMs have been trained on multilingual data, most of the training data is in English. Hence, their performance in English greatly exceeds their performance in other languages. This document presents our approach to training and evaluating the first foundational and chat LLM specialized for Romanian.


title: Shell structure and shape transition in odd-$Z$ superheavy nuclei with proton numbers $Z=117, 119$: insights from deformed relativistic Hartree-Bogoliubov in continuum

abstract: We present a systematic study on the structural properties of odd-$Z$ superheavy nuclei with proton numbers $Z=117, 119$, and neutron numbers $N$ increasing from $N=170$ to the neutron dripline within the framework of axially deformed relativistic Hartree-Bogoliubov theory in continuum (DRHBc). The results are compared with those of even-even superheavy nuclei with proton numbers $Z=118$ and $120$. We analyze various bulk properties of their ground states, including binding energies, quadrupole deformations, root-mean-square radii, nucleon separation energies, and $\alpha$-decay energies. The coexistence of competing prolate and oblate or spherical shapes leads to abrupt changes in both quadrupole deformations and charge radii as functions of neutron numbers. Compared to even-even nuclei, the odd-mass ones exhibit a more complicated transition picture, in which the quantum numbers of $K^\pi$ of the lowest-energy configuration may change with deformation. This may result in the change of angular momentum in the ground-state to ground-state $\alpha$-decay and thus quench the decay rate in odd-mass nuclei. Moreover, our results demonstrate a pronounced proton shell gap at $Z=120$, instead of $Z=114$, which is consistent with the predictions of most covariant density functional theories. Moreover, large neutron shell gaps are found at $N=172$ and $N=258$ in the four isotopic chains, as well as at $N=184$ in the light two isotopic chains with $Z=117$ and $Z=118$, attributed to the nearly-degenerate $3d$ and $4p$ spin-orbit doublet states due to the presence of bubble structure.


title: Set Convergences via bornology

abstract: This paper examines the equivalence between various set convergences, as studied in [7, 13, 22], induced by an arbitrary bornology $\mathcal{S}$ on a metric space $(X,d)$. Specifically, it focuses on the upper parts of the following set convergences: convergence deduced through uniform convergence of distance functionals on $\mathcal{S}$ ($\tau_{\mathcal{S},d}$-convergence); convergence with respect to gap functionals determined by $\mathcal{S}$ ($G_{\mathcal{S},d}$-convergence); and bornological convergence ($\mathcal{S}$-convergence). In particular, we give necessary and sufficient conditions on the structure of the bornology $\mathcal{S}$ for the coincidence of $\tau_{\mathcal{S},d}^+$-convergence with $\mathsf{G}_{\mathcal{S},d}^+$-convergence, as well as $\tau_{\mathcal{S},d}^+$-convergence with $\mathcal{S}^+$-convergence. A characterization for the equivalence of $\tau_{\mathcal{S},d}^+$-convergence and $\mathcal{S}^+$-convergence, in terms of certain convergence of nets, has also been given earlier by Beer, Naimpally, and Rodriguez-Lopez in [13]. To facilitate our study, we first devise new characterizations for $\tau_{\mathcal{S},d}^+$-convergence and $\mathcal{S}^+$-convergence, which we call their miss-type characterizations.


title: Propagation-invariant strongly longitudinally polarized toroidal pulses

abstract: Recent advancements in optical, terahertz, and microwave systems have unveiled non-transverse optical toroidal pulses characterized by skyrmionic topologies, fractal-like singularities, space-time nonseparability, and anapole-exciting ability. Despite this, the longitudinally polarized fields of canonical toroidal pulses notably lag behind their transverse counterparts in magnitude. Interestingly, although mushroom-cloud-like toroidal vortices with strong longitudinal fields are common in nature, they remain unexplored in the realm of electromagnetics. Here, we present strongly longitudinally polarized toroidal pulses (SLPTPs) which boast a longitudinal component amplitude exceeding that of the transverse component by over tenfold. This unique polarization property endows SLPTPs with robust propagation characteristics, showcasing nondiffracting behavior. The propagation-invariant strongly longitudinally polarized field holds promise for pioneering light-matter interactions, far-field superresolution microscopy, and high-capacity wireless communication utilizing three polarizations.


title: Stein-fillability and positivity in the mapping class group

abstract: We construct an infinite family of non-positive open books with once-punctured torus pages that support Stein-fillable contact structures. Combined with a result of Wendl, this allows us to give a complete answer to a long-standing question about the mapping class group of a compact surface with boundary: namely, we conclude that the monoid of monodromies supporting Stein-fillable contact structures is equal to the monoid of positive monodromies if and only if the surface is planar.


title: Secure Aggregation Meets Sparsification in Decentralized Learning

abstract: Decentralized learning (DL) faces increased vulnerability to privacy breaches due to sophisticated attacks on machine learning (ML) models. Secure aggregation is a computationally efficient cryptographic technique that enables multiple parties to compute an aggregate of their private data while keeping their individual inputs concealed from each other and from any central aggregator. To enhance communication efficiency in DL, sparsification techniques are used, selectively sharing only the most crucial parameters or gradients in a model, thereby maintaining efficiency without notably compromising accuracy. However, applying secure aggregation to sparsified models in DL is challenging due to the transmission of disjoint parameter sets by distinct nodes, which can prevent masks from canceling out effectively. This paper introduces CESAR, a novel secure aggregation protocol for DL designed to be compatible with existing sparsification mechanisms. CESAR provably defends against honest-but-curious adversaries and can be formally adapted to counteract collusion between them. We provide a foundational understanding of the interaction between the sparsification carried out by the nodes and the proportion of the parameters shared under CESAR in both colluding and non-colluding environments, offering analytical insight into the working and applicability of the protocol. Experiments on a network with 48 nodes in a 3-regular topology show that with random subsampling, CESAR is always within 0.5% accuracy of decentralized parallel stochastic gradient descent (D-PSGD), while adding only 11% of data overhead. Moreover, it surpasses the accuracy on TopK by up to 0.3% on independent and identically distributed (IID) data.


title: Ultrafast Structured Spin-Manipulation of Relativistic Lepton Beams

abstract: Relativistic spin-polarized (SP) lepton beams are important for investigating spin-dependent interaction processes. In particular, spatially structured spin-polarized (SSP) lepton beams may find new applications in material, atomic, nuclear, high-energy physics and new physics beyond the Standard Model. However, realizing ultrafast generation and spin-manipulation of relativistic SSP lepton beams pose significant challenges. Here, we put forward a novel method of ultrafast (picosecond-timescale) generation of a relativistic SSP lepton beam via employing a moderate terahertz (THz) wave in a dielectric-lined waveguide (DWL). We first find that lepton beams with customizable spin-polarization structures can be generated by utilizing different electromagnetic modes, and optimizing the lepton velocity and THz phase velocity can improve efficiency of spin-manipulation and visibility of the SP structure. These SSP beams play a profound role in studying magnetic effects in material physics, chiral-selective chemistry, generation of structured $\gamma$-rays, etc., and open a new avenue for research on relativistic SP particles.


title: Waste Factor and Waste Figure: A Unified Theory for Modeling and Analyzing Wasted Power in Radio Access Networks for Improved Sustainability

abstract: This paper introduces Waste Factor (W), also denoted as Waste Figure (WF) in dB, a promising new metric for quantifying energy efficiency in a wide range of circuits and systems applications, including data centers and RANs. Also, the networks used to connect data centers and AI computing engines with users for ML applications must become more power efficient. This paper illustrates the limitations of existing energy efficiency metrics that inadequately capture the intricate energy dynamics of RAN components. We delineate the methodology for applying W across various network configurations, including MISO, SIMO, and MIMO systems, and demonstrate the effectiveness of W in identifying energy optimization opportunities. Our findings reveal that W not only offers nuanced insights into the energy performance of RANs but also facilitates informed decision-making for network design and operational efficiency. Furthermore, we show how W can be integrated with other KPIs to guide the development of optimal strategies for enhancing network energy efficiency under different operational conditions. Additionally, we present simulation results for a distributed multi-user MIMO system at 3.5, 17, and 28 GHz, demonstrating overall network power efficiency on a per square kilometer basis, and show how overall W decreases with an increasing number of base stations and increasing carrier frequency. This paper shows that adopting W as a figure of merit can significantly contribute to the sustainability and energy optimization of next-generation wireless communication networks, paving the way for greener and more sustainable, energy-efficient 5G and 6G technologies.


title: Mirror-enhanced acceleration induced geometric phase: towards detection of Unruh effect

abstract: Fulling-Davies-Unruh effect contains great amount of theoretical importance in various branches of physics. Requirement of very high acceleration hinders its experimental evidence. We propose a novel model to capture this effect experimentally through measuring the Pancharatnam-Berry phase (PBP) of the accelerated quantum system. We find that allowing the qubit's motion along one of the parallel directions of two parallel mirrors and by keeping it in between them, PBP can be greatly enhanced. Our investigation shows that for the current measurable PBP ($\sim 10^{-6}$ rad), energy gap $\sim1$ GHz of the qubit, distance between two mirrors $L\sim150$ (or $300)\,m$ and detector's position $z_0 \sim3.3\,m$ the required acceleration of the qubit can be as low as $a\sim 10^9~ m/s^2$. This value is potentially very achievable within the current technology and thereby providing a very close to realistic model for experimentally verify the aforesaid quantum phenomenon.


title: Valence Quark PDFs of the Proton from Two-Current Correlations in Lattice QCD

abstract: Following previous works on that topic, we consider Euclidean hadronic matrix elements in position space of two spatially separated local currents on the lattice, in order to extract the $x$-dependence of parton distribution functions (PDFs). The corresponding approach is often referred to by the term lattice cross section (LCS). In this work we will consider valence quark PDFs of an unpolarized proton. We adapt the previously established formalism to our choice of operators. The calculation of the two-current matrix elements requires the evaluation of four-point functions. The corresponding calculation is carried out on a $n_f = 2+1$ gauge ensemble with lattice spacing $a = 0.0856~\mathrm{fm}$ and pseudoscalar masses $m_\pi = 355~\mathrm{MeV}$, $m_K = 441~\mathrm{MeV}$. The four-point functions have been evaluated in a previous project. The lattice data is converted to the $\overline{\mathrm{MS}}$-scheme at a scale $\mu=2~\mathrm{GeV}$ and improved w.r.t. lattice artifacts. We use a common model as fit ansatz for the lattice data in order to extract the PDFs.


title: No-arbitrage conditions and pricing from discrete-time to continuous-time strategies

abstract: In this paper, a general framework is developed for continuous-time financial market models defined from simple strategies through conditional topologies that avoid stochastic calculus and do not necessitate semimartingale models. We then compare the usual no-arbitrage conditions of the literature, e.g. the usual no-arbitrage conditions NFL, NFLVR and NUPBR and the recent AIP condition. With appropriate pseudo-distance topologies, we show that they hold in continuous time if and only if they hold in discrete time. Moreover, the super-hedging prices in continuous time coincide with the discrete-time super-hedging prices, even without any no-arbitrage condition.


title: Joint Robotic Aerial Base Station Deployment and Wireless Backhauling in 6G Multi-hop Networks

abstract: Due to their ability to anchor into tall urban landforms, such as lampposts or street lights, robotic aerial base stations (RABSs) can create a hyper-flexible wireless multi-hop heterogeneous network to meet the forthcoming green, densified, and dynamic network deployment to support, inter alia, high data rates. In this work, we propose a network infrastructure that can concurrently support the wireless backhaul link capacity and access link traffic demand in the millimeter-wave (mmWave) frequency band. The RABSs grasping locations, resource blocks (RBs) assignment, and route flow control are simultaneously optimized to maximize the served traffic demands. Robotic base stations capitalize on the fact that traffic distribution varies considerably across both time and space within a given geographical area. Hence, they are able to relocate to suitable locations, i.e., 'follow' the traffic demand as it unfolds to increase the overall network efficiency. To tackle the curse of dimensionality of the proposed mixed-integer linear problem, we propose a greedy algorithm to obtain a competitive solution with low computational complexity. Compared to baseline models, which are heterogeneous networks with randomly deployed fixed small cells and pre-allocated RBs for wireless access and backhaul links, a wide set of numerical investigations reveals that robotic base stations could improve the served traffic demand. Specifically, the proposed mode serves at most 65\% more traffic demand compared to an equal number of deployed fixed small cells.


title: Evidence of What, for Whom? The Socially Contested Role of Algorithmic Bias in a Predictive Policing Tool

abstract: This paper presents a critical, qualitative study of the social role of algorithmic bias in the context of the Chicago crime prediction algorithm, a predictive policing tool that forecasts when and where in the city crime is most likely to occur. Through interviews with 18 Chicago-area community organizations, academic researchers, and public sector actors, we show that stakeholders from different groups articulate diverse problem diagnoses of the tool's algorithmic bias, strategically using it as evidence to advance criminal justice interventions that align with stakeholders' positionality and political ends. Drawing inspiration from Catherine D'Ignazio's taxonomy of "refusing and using" data, we find that stakeholders use evidence of algorithmic bias to reform the policies around police patrol allocation; reject algorithm-based policing interventions; reframe crime as a structural rather than interpersonal problem; reveal data on authority figures in an effort to subvert their power; repair and heal families and communities; and, in the case of more powerful actors, to reaffirm their own authority or existing power structures. We identify the implicit assumptions and scope of these varied uses of algorithmic bias as evidence, showing that they require different (and sometimes conflicting) values about policing and AI. This divergence reflects long-standing tensions in the criminal justice reform landscape between the values of liberation and healing often centered by system-impacted communities and the values of surveillance and deterrence often instantiated in data-driven reform measures. We advocate for centering the interests and experiential knowledge of communities impacted by incarceration to ensure that evidence of algorithmic bias can serve as a device to challenge the status quo.


title: Equivalent conjectures on blowing-ups of $\mathbb P^2$

abstract: We provide a characterization of asymptotical speciality of a nef and big divisor $D$ on an algebraic surface in terms of the arithmetic genus of curves in $D^{\perp}$. As a consequence we prove that the SHGH conjecture for linear systems on the blowing-up $X_r^2$ of the projective plane at points in very general position is equivalent to the fact that each nef class of is non-special. Finally we prove that if $r < 2^n$ then any nef divisor of $X_r^n$ is asymptotically non-special.


title: On the Adversarial Robustness of Learning-based Image Compression Against Rate-Distortion Attacks

abstract: Despite demonstrating superior rate-distortion (RD) performance, learning-based image compression (LIC) algorithms have been found to be vulnerable to malicious perturbations in recent studies. Adversarial samples in these studies are designed to attack only one dimension of either bitrate or distortion, targeting a submodel with a specific compression ratio. However, adversaries in real-world scenarios are neither confined to singular dimensional attacks nor always have control over compression ratios. This variability highlights the inadequacy of existing research in comprehensively assessing the adversarial robustness of LIC algorithms in practical applications. To tackle this issue, this paper presents two joint rate-distortion attack paradigms at both submodel and algorithm levels, i.e., Specific-ratio Rate-Distortion Attack (SRDA) and Agnostic-ratio Rate-Distortion Attack (ARDA). Additionally, a suite of multi-granularity assessment tools is introduced to evaluate the attack results from various perspectives. On this basis, extensive experiments on eight prominent LIC algorithms are conducted to offer a thorough analysis of their inherent vulnerabilities. Furthermore, we explore the efficacy of two defense techniques in improving the performance under joint rate-distortion attacks. The findings from these experiments can provide a valuable reference for the development of compression algorithms with enhanced adversarial robustness.


title: Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties

abstract: This work establishes fundamental principles for verifying contract for interconnected hybrid systems. When system's hybrid arcs conform to the contract for a certain duration but subsequently violate it, the composition of hybrid dynamical systems becomes challenging. The objective of this work is to analyze the temporal satisfaction of the contract, allowing us to reason about the compositions that do not violate the contract up to a certain point in a hybrid time. Notions of weak and strong satisfaction of an assume-guarantee contract are introduced. These semantics permits the compositional reasoning on hybrid systems of varying complexity depending on the interconnection's type, feedback or cascade. The results show that both semantics are compatible with cascade composition, while strong semantic is required for feedback composition. Moreover, we have shown how one can go from weak to strong contract satisfaction. Finally, we have studied a particular class of hybrid systems and we have shown that the concept of forward (pre-)invariant relative to a contract makes it possible to deal with feedback compositions. These results are demonstrated throughout the paper with simple numerical examples.


title: USP: A Unified Sequence Parallelism Approach for Long Context Generative AI

abstract: Sequence parallelism (SP), which divides the sequence dimension of input tensors across multiple computational devices, is becoming key to unlocking the long-context capabilities of generative AI models. This paper investigates the state-of-the-art SP approaches, i.e. DeepSpeed-Ulysses and Ring-Attention, and proposes a unified SP approach, which is more robust to transformer model architectures and network hardware topology. This paper compares the communication and memory cost of SP and existing parallelism, including data/tensor/zero/pipeline parallelism, and discusses the best practices for designing hybrid 4D parallelism involving SP. We achieved 47% MFU on two 8xA800 nodes using SP for the LLAMA3-8B model training using sequence length 208K. Our code is publicly available at https://github.com/feifeibear/long-context-attention.


title: Symmetric Clifford twirling for cost-optimal quantum error mitigation in early FTQC regime

abstract: Twirling noise affecting quantum gates is essential in understanding and controlling errors, but applicable operations to noise are usually restricted by symmetries inherent in quantum gates. In this Letter, we propose symmetric Clifford twirling, a Clifford twirling utilizing only symmetric Clifford operators that commute with certain Pauli subgroups. We fully characterize how each Pauli noise is converted through the twirling and show that certain Pauli noise can be scrambled to a noise exponentially close to the global white noise. We further demonstrate that the effective noise of some highly structured circuits, such as Trotterized Hamiltonian simulation circuits, is scrambled to global white noise, and even a single use of CNOT gate can significantly accelerate the scrambling. These findings enable us to mitigate errors in non-Clifford operations with minimal sampling overhead in the early stages of fault-tolerant quantum computing, where executing non-Clifford operations is expected to be significantly more challenging than Clifford operations. Furthermore, they offer new insights into various fields of physics where randomness and symmetry play crucial roles.


title: High-frequency Optimally Windowed Chirp rheometry for rapidly evolving viscoelastic materials: application to a crosslinking thermoset

abstract: Abstract Knowledge of the evolution of mechanical properties of the curing matrix is of great importance in composite parts or structure fabrication. Conventional rheometry, based on small amplitude oscillatory shear is limited by long interrogation times. In rapidly evolving materials, time sweeps can provide a meaningful measurement albeit at a single frequency. To overcome this constraint we utilize a combined frequency and amplitude-modulated chirped strain waveform in conjunction with a home-made sliding plate piezo-operated (PZR) and a dual-head commercial rotational rheometer (Anton Paar MCR 702) to probe the linear viscoelasticity of these time-evolving materials. The direct controllability of the PZR resulting from the absence of any kind of firmware and the microsecond actuator-sensor response renders this device ideal for exploring the advantages of this technique. The high frequency capability allows us to extend the upper limits of the accessible linear viscoelastic spectrum and most importantly, to shorten the length of the interrogating strain signal (OWCh-PZR) to sub-second scales, while retaining a high time-bandwidth product. This short duration ensures that the mutation number (NMu) is kept sufficiently low, even in fast curing resins. The method is validated via calibration tests in both instruments and the corresponding limitations are discussed. As a proof of concept the technique is applied to a curing vinylester resin. The linear viscoelastic (LVE) spectrum is assessed every 20 seconds to monitor the rapid evolution of the time- and frequency-dependence of the complex modulus. Finally, FTIR spectroscopy is utilized to gain insights on the evolution of the chemical network while the gap-dependence of the evolving material properties in these heterogeneous systems is also investigated.


title: Model Identifiability for Bivariate Failure Time Data with Competing Risk: Non-parametric Cause-specific Hazards and Gamma Frailty

abstract: In survival analysis, frailty variables are often used to model the association in multivariate survival data. Identifiability is an important issue while working with such multivariate survival data with or without competing risks. In this work, we consider bivariate survival data with competing risks and investigate identifiability results with non-parametric baseline cause-specific hazards and different types of Gamma frailty. Prior to that, we prove that, when both baseline cause-specific hazards and frailty distributions are non-parametric, the model is not identifiable. We also construct a non-identifiable model when baseline cause-specific hazards are non-parametric but frailty distribution may be parametric. Thereafter, we consider four different Gamma frailty distributions, and the corresponding models are shown to be identifiable under fairly general assumptions.


title: Coarse or Fine? Recognising Action End States without Labels

abstract: We focus on the problem of recognising the end state of an action in an image, which is critical for understanding what action is performed and in which manner. We study this focusing on the task of predicting the coarseness of a cut, i.e., deciding whether an object was cut "coarsely" or "finely". No dataset with these annotated end states is available, so we propose an augmentation method to synthesise training data. We apply this method to cutting actions extracted from an existing action recognition dataset. Our method is object agnostic, i.e., it presupposes the location of the object but not its identity. Starting from less than a hundred images of a whole object, we can generate several thousands images simulating visually diverse cuts of different coarseness. We use our synthetic data to train a model based on UNet and test it on real images showing coarsely/finely cut objects. Results demonstrate that the model successfully recognises the end state of the cutting action despite the domain gap between training and testing, and that the model generalises well to unseen objects.


title: Monoidal closure of Grothendieck constructions via $\Sigma$-tractable monoidal structures and Dialectica formulas

abstract: We study the categorical structure of the Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$ and characterise fibred limits, colimits, and monoidal structures. Next, we give sufficient conditions for the monoidal closure of the total category $\Sigma_\mathcal{C} \mathcal{L}$ of a Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$. Our analysis is a generalization of G\"odel's Dialectica interpretation, and it relies on a novel notion of $\Sigma$-tractable monoidal structure. As we will see, $\Sigma$-tractable coproducts simultaneously generalize cocartesian coclosed structures, biproducts and extensive coproducts. We analyse when the closed structure is fibred -- usually it is not.


title: Decentralized Distributed Graph Coloring: Cluster Graphs

abstract: Graph coloring is fundamental to distributed computing. We give an ultrafast distributed algorithm for coloring cluster graphs. These graphs are obtained from the underlying communication network by contracting nodes and edges, and they appear frequently as components in the study of distributed algorithms. In particular, we give a $O(\log^* n)$-round algorithm to $\Delta+1$-color cluster graphs of at least polylogarithmic degree. The previous best bound known was $poly(\log n)$ [Flin et.al, SODA'24]. This properly generalizes results in the COONGEST model and shows that distributed graph problems can be quickly solved even when the node itself is decentralized.


title: Quantifying and Optimizing Global Faithfulness in Persona-driven Role-playing

abstract: Persona-driven role-playing (PRP) aims to build AI characters that can respond to user queries by faithfully sticking with all persona statements. Unfortunately, existing faithfulness criteria for PRP are limited to coarse-grained LLM-based scoring without a clear definition or formulation. This paper presents a pioneering exploration to quantify PRP faithfulness as a fine-grained and explainable criterion, which also serves as a reliable reference for optimization. Our criterion first discriminates persona statements into active and passive constraints by identifying the query-statement relevance. Then, we incorporate all constraints following the principle that the AI character's response should be (a) entailed by active (relevant) constraints and (b) not contradicted by passive (irrelevant) constraints. We translate this principle mathematically into a novel Active-Passive-Constraint (APC) score, a constraint-wise sum of natural language inference (NLI) scores weighted by relevance scores. In practice, we build the APC scoring system by symbolically distilling small discriminators from GPT-4 for efficiency. We validate the quality of the APC score against human evaluation based on example personas with tens of statements, and the results show a high correlation. We further leverage it as a reward system in direct preference optimization (DPO) for better AI characters. Our experiments offer a fine-grained and explainable comparison between existing PRP techniques, revealing their advantages and limitations. We further find APC-based DPO to be one of the most competitive techniques for sticking with all constraints and can be well incorporated with other techniques. We then extend the scale of the experiments to real persons with hundreds of statements and reach a consistent conclusion.


title: Validated error bounds for pseudospectral approximation of delay differential equations: unstable manifolds

abstract: Pseudospectral approximation provides a means to approximate the dynamics of delay differential equations (DDE) by ordinary differential equations (ODE). This article develops a computer-aided algorithm to determine the distance between the unstable manifold of a DDE and the unstable manifold of the approximating pseudospectral ODE. The algorithm is based upon the parametrization method. While a-priori the parametrization method for a vector-valued ODE involves computing a sequence of vector-valued Taylor coefficients, we show that for the pseudospectral ODE, due to its specific structure, the problem reduces to finding a sequence of scalars, which significantly simplifies the problem.


title: Violation of Weak Cosmic Censorship in de Sitter Space

abstract: Inspired by the recent discovery of a violation of strong cosmic censorship (SCC) for the near-extremal Reissner-Nordstr\"om black holes in de Sitter space (RN-dS), we investigate if the weak cosmic censorship conjecture (WCCC) can also be violated in RN-dS with a fixed cosmological constant. Our method is based on the recent formulation of examining WCCC by requiring the second law to hold, which requires the sum of areas of the event and cosmic horizons cannot decrease during the infall process of Wald's gedanken experiment. We find that the WCCC can be violated for the near-extremal RN-dS in some regimes of second-order perturbation of field configurations. Given the charge parameter of RN-dS, we can find the lowest value of the sub-extremality parameter, beyond which the WCCC holds. Our results imply that violations of SCC and WCCC could be correlated. Because of a lack of an unambiguous relation between the gravitational mass and matter's kinematic mass in asymptotically de Sitter space, we cannot compare the corresponding regimes of parameter space for the violations of SCC and WCCC. We also discuss the subtlety in formulating both the first-law and second-law approaches to examine WCCC.


title: Optimal bolometer transfer function deconvolution for CMB experiments through maximum likelihood mapmaking

abstract: We revisit the impact of finite time responses of bolometric detectors used for deep observations of the cosmic microwave background (CMB). Until now, bolometer transfer functions have been accounted for through a two-step procedure by first deconvolving an estimate of their Fourier-space representation from the raw time-ordered data (TOD), and then averaging the deconvolved TOD into pixelized maps. However, for many experiments, including the Planck High Frequency Instrument (HFI), it is necessary to apply an additional low-pass filter to avoid an excessive noise boost, which leads to an asymmetric effective beam. In this paper we demonstrate that this effect can be avoided if the transfer function deconvolution and pixelization operations are performed simultaneously through integrated maximum likelihood mapmaking. The resulting algorithm is structurally identical to the artDeco algorithm introduced by Keih\"anen & Reinecke (2012) for beam deconvolution. We illustrate the relevance of this method with simulated Planck HFI 143 GHz data, and find that the resulting effective beam is both more symmetric than with the two-step procedure, resulting in a sky-averaged ellipticity that is 64 % lower, and an effective beam full-width-at-half-maximum (FWHM) that is 2.3 % smaller. Similar improvements are expected for any other bolometer-based CMB experiments with long time constants.