title: Canonical coordinates for moduli spaces of rank two irregular connections on curves

abstract: In this paper, we study a geometric counterpart of the cyclic vector which allow us to put a rank 2 meromorphic connection on a curve into a ``companion'' normal form. This allow us to naturally identify an open set of the moduli space of $\mathrm{GL}_2$-connections (with fixed generic spectral data, i.e. unramified, non resonant) with some Hilbert scheme of points on the twisted cotangent bundle of the curve. We prove that this map is symplectic, therefore providing Darboux (or canonical) coordinates on the moduli space, i.e. separation of variables. On the other hand, for $\mathrm{SL}_2$-connections, we give an explicit formula for the symplectic structure for a birational model given by Matsumoto. We finally detail the case of an elliptic curve with a divisor of degree $2$.


title: Geometrically Consistent Partial Shape Matching

abstract: Finding correspondences between 3D shapes is a crucial problem in computer vision and graphics, which is for example relevant for tasks like shape interpolation, pose transfer, or texture transfer. An often neglected but essential property of matchings is geometric consistency, which means that neighboring triangles in one shape are consistently matched to neighboring triangles in the other shape. Moreover, while in practice one often has only access to partial observations of a 3D shape (e.g. due to occlusion, or scanning artifacts), there do not exist any methods that directly address geometrically consistent partial shape matching. In this work we fill this gap by proposing to integrate state-of-the-art deep shape features into a novel integer linear programming partial shape matching formulation. Our optimization yields a globally optimal solution on low resolution shapes, which we then refine using a coarse-to-fine scheme. We show that our method can find more reliable results on partial shapes in comparison to existing geometrically consistent algorithms (for which one first has to fill missing parts with a dummy geometry). Moreover, our matchings are substantially smoother than learning-based state-of-the-art shape matching methods.


title: Classical-Quantum Hybrid Models

abstract: Hybrid classical-quantum models are computational schemes that investigate the time evolution of systems, where some degrees of freedom are treated classically, while others are described quantum-mechanically. First, we present the motivation for such models, outline the requirements they must satisfy, and provide explanations for their development. Then we review various popular non-relativistic schemes and their associated limitations, with a particular emphasis on reversible dynamics.


title: DeViT: Decomposing Vision Transformers for Collaborative Inference in Edge Devices

abstract: Recent years have witnessed the great success of vision transformer (ViT), which has achieved state-of-the-art performance on multiple computer vision benchmarks. However, ViT models suffer from vast amounts of parameters and high computation cost, leading to difficult deployment on resource-constrained edge devices. Existing solutions mostly compress ViT models to a compact model but still cannot achieve real-time inference. To tackle this issue, we propose to explore the divisibility of transformer structure, and decompose the large ViT into multiple small models for collaborative inference at edge devices. Our objective is to achieve fast and energy-efficient collaborative inference while maintaining comparable accuracy compared with large ViTs. To this end, we first propose a collaborative inference framework termed DeViT to facilitate edge deployment by decomposing large ViTs. Subsequently, we design a decomposition-and-ensemble algorithm based on knowledge distillation, termed DEKD, to fuse multiple small decomposed models while dramatically reducing communication overheads, and handle heterogeneous models by developing a feature matching module to promote the imitations of decomposed models from the large ViT. Extensive experiments for three representative ViT backbones on four widely-used datasets demonstrate our method achieves efficient collaborative inference for ViTs and outperforms existing lightweight ViTs, striking a good trade-off between efficiency and accuracy. For example, our DeViTs improves end-to-end latency by 2.89$\times$ with only 1.65% accuracy sacrifice using CIFAR-100 compared to the large ViT, ViT-L/16, on the GPU server. DeDeiTs surpasses the recent efficient ViT, MobileViT-S, by 3.54% in accuracy on ImageNet-1K, while running 1.72$\times$ faster and requiring 55.28% lower energy consumption on the edge device.


title: Contributions of KM3NeT to ICRC2023

abstract: This document collects the contributions of the KM3NeT collaboration to the ICRC2023 conference, held from July 26 to August 3, 2023, in Nagoya, Japan. KM3NeT submitted 38 contributions to ICRC2023, on neutrino- and multimessenger astronomy, neutrino oscillation physics, cosmic ray physics, searches for dark matter and exotics, calibration, technical detector descriptions, and art. Proceedings are published in Proceedings of Science.


title: FuseFPS: Accelerating Farthest Point Sampling with Fusing KD-tree Construction for Point Clouds

abstract: Point cloud analytics has become a critical workload for embedded and mobile platforms across various applications. Farthest point sampling (FPS) is a fundamental and widely used kernel in point cloud processing. However, the heavy external memory access makes FPS a performance bottleneck for real-time point cloud processing. Although bucket-based farthest point sampling can significantly reduce unnecessary memory accesses during the point sampling stage, the KD-tree construction stage becomes the predominant contributor to execution time. In this paper, we present FuseFPS, an architecture and algorithm co-design for bucket-based farthest point sampling. We first propose a hardware-friendly sampling-driven KD-tree construction algorithm. The algorithm fuses the KD-tree construction stage into the point sampling stage, further reducing memory accesses. Then, we design an efficient accelerator for bucket-based point sampling. The accelerator can offload the entire bucket-based FPS kernel at a low hardware cost. Finally, we evaluate our approach on various point cloud datasets. The detailed experiments show that compared to the state-of-the-art accelerator QuickFPS, FuseFPS achieves about 4.3$\times$ and about 6.1$\times$ improvements on speed and power efficiency, respectively.


title: Measuring Black Hole Spins through X-ray Reflection Spectroscopy and the Relativistic Precession Model: the case of XTE J1859+226

abstract: The development of techniques to measure accurately black hole spins is crucial to study the physics and astrophysics of these objects. X-ray reflection spectroscopy is currently the most popular method to estimate the spins of accreting black holes; so far it has provided a spin measurement of about 40 stellar-mass black holes in X-ray binaries and 40 supermassive black holes in active galactic nuclei. The relativistic precession model (RPM) is another method to measure the spins of stellar-mass black holes: it requires the measurement of the frequencies of three simultaneous quasi-periodic oscillations and can potentially provide precise estimates of the black hole mass and spin. However, the two methods do not seem to provide consistent results when applied to the same sources, which questions the reliability and accuracy of these measurements. Recently, the RPM has been applied to infer the spin of the black hole in XTE J1859+226. The authors found $a_* = 0.149 \pm 0.005$ (68% CL). There are no other spin measurements of this source. We looked for archived RXTE observations of XTE J1859+226 with blurred reflection features and found 23 spectra suitable for measuring the spin. We employed two different models with relxill and relxillD and obtained a higher spin value from all these fits. From simultaneous fitting of 7 spectra of higher quality, we found $a_* = 0.986^{+0.001}_{-0.004}$ and $a_* =0.987 \pm 0.003$ (90% CL, statistical) with relxill and relxillD, respectively. Our results confirm the discrepancy between the spin measurements inferred from the two techniques.


title: SA-Solver: Stochastic Adams Solver for Fast Sampling of Diffusion Models

abstract: Diffusion Probabilistic Models (DPMs) have achieved considerable success in generation tasks. As sampling from DPMs is equivalent to solving diffusion SDE or ODE which is time-consuming, numerous fast sampling methods built upon improved differential equation solvers are proposed. The majority of such techniques consider solving the diffusion ODE due to its superior efficiency. However, stochastic sampling could offer additional advantages in generating diverse and high-quality data. In this work, we engage in a comprehensive analysis of stochastic sampling from two aspects: variance-controlled diffusion SDE and linear multi-step SDE solver. Based on our analysis, we propose SA-Solver, which is an improved efficient stochastic Adams method for solving diffusion SDE to generate data with high quality. Our experiments show that SA-Solver achieves: 1) improved or comparable performance compared with the existing state-of-the-art sampling methods for few-step sampling; 2) SOTA FID scores on substantial benchmark datasets under a suitable number of function evaluations (NFEs).


title: Z' Mediated right-handed Neutrinos from Meson Decays at the FASER

abstract: We investigate the pair production of right-handed neutrinos mediated by a $Z^\prime$ mainly from the meson decays at the FASER detector of the HL-LHC. The $Z^\prime$ can be the additional gauge boson in either the $U(1)_{B-L}$ or sterile $\nu$-specific $U(1)_s$ model. Taking the gauge coupling or the kinetic mixing at the current limits, we analyse the sensitivity to the masses of the heavy neutrinos, $M_N$, and active-sterile mixing, $|V_{lN}|^2$, of the FASER2. In a background free scenario, for the $U(1)_{B-L}$ case, FASER2 is able to probe $|V_{lN}|^2 \approx 10^{-8}$ when $M_N \sim 0.3$ GeV, which is comparable to the current limits from the beam dump experiments. When comes to the $U(1)_s$ model, FASER2 can probe $|V_{lN}|^2 \approx 10^{-10}$, which is better than the current limits for at least one magnitude, in all three flavours. A proposed long-lived particle detector, FACET, is also studied, while no significant difference from FASER2 is derived.


title: Chat2Brain: A Method for Mapping Open-Ended Semantic Queries to Brain Activation Maps

abstract: Over decades, neuroscience has accumulated a wealth of research results in the text modality that can be used to explore cognitive processes. Meta-analysis is a typical method that successfully establishes a link from text queries to brain activation maps using these research results, but it still relies on an ideal query environment. In practical applications, text queries used for meta-analyses may encounter issues such as semantic redundancy and ambiguity, resulting in an inaccurate mapping to brain images. On the other hand, large language models (LLMs) like ChatGPT have shown great potential in tasks such as context understanding and reasoning, displaying a high degree of consistency with human natural language. Hence, LLMs could improve the connection between text modality and neuroscience, resolving existing challenges of meta-analyses. In this study, we propose a method called Chat2Brain that combines LLMs to basic text-2-image model, known as Text2Brain, to map open-ended semantic queries to brain activation maps in data-scarce and complex query environments. By utilizing the understanding and reasoning capabilities of LLMs, the performance of the mapping model is optimized by transferring text queries to semantic queries. We demonstrate that Chat2Brain can synthesize anatomically plausible neural activation patterns for more complex tasks of text queries.


title: The impact of intrinsic scaling on the rate of extinction for anisotropic non-Newtonian fast diffusion

abstract: We study the decay towards the extinction that pertains to local weak solutions to fully anisotropic equations whose prototype is \[ \partial_t u= \sum_{i=1}^N \partial_i (|\partial_i u|^{p_i-2} \partial_i u), \qquad 1<p_i<2. \] Their rates of extinction are evaluated by means of several integral Harnack-type inequalities which constitute the core of our analysis and that are obtained for anisotropic operators having full quasilinear structure. Different decays are obtained when considering different space geometries. The approach is motivated by the research of new methods for strongly nonlinear operators, hence dispensing with comparison principles, while exploiting an intrinsic geometry that affects all the variables of the solution.


title: Harnack-type estimates and extinction in finite time for a class of anisotropic porous medium type equations

abstract: In this work we are interested in the study of a class of anisotropic porous medium-type equations whose prototype is \[ u_t =\sum_{i=1}^N \left( m_i u^{m_i-1} u_{x_i} \right)_{x_i} \ , \qquad 0<m_1 \leq \cdots \leq m_N <1 \ , \] for which we derive several estimates, namely two Harnack-type inequalities; and, when considering the associated Dirichlet problem, we determine the finite time of extinction and thereby present a decay rate of extinction.


title: Simplicial bounded cohomology and stability

abstract: We introduce a set of combinatorial techniques for studying the simplicial bounded cohomology of semi-simplicial sets, simplicial complexes and posets. We apply these methods to prove several new bounded acyclicity results for semi-simplicial sets appearing in the homological stability literature. Our strategy is to recast classical arguments (due to Bestvina, Maazen, van der Kallen, Vogtmann, Charney and, recently, Galatius--Randal-Williams) in the setting of bounded cohomology using uniformly bounded refinements of well-known simplicial tools. Combined with ideas developed by Monod and De la Cruz Mengual--Hartnick, we deduce slope-$1/2$ stability results for the bounded cohomology of two large classes of linear groups: general linear groups over any ring with finite Bass stable rank and certain automorphism groups of quadratic modules over the integers or any field of characteristic zero. We expect that many other results in the literature on homological stability admit bounded cohomological analogues by applying the blueprint provided in this work.


title: Simulating data from marginal structural models for a survival time outcome

abstract: Marginal structural models (MSMs) are often used to estimate causal effects of treatments on survival time outcomes from observational data when time-dependent confounding may be present. They can be fitted using, e.g., inverse probability of treatment weighting (IPTW). It is important to evaluate the performance of statistical methods in different scenarios, and simulation studies are a key tool for such evaluations. In such simulation studies, it is common to generate data in such a way that the model of interest is correctly specified, but this is not always straightforward when the model of interest is for potential outcomes, as is an MSM. Methods have been proposed for simulating from MSMs for a survival outcome, but these methods impose restrictions on the data-generating mechanism. Here we propose a method that overcomes these restrictions. The MSM can be a marginal structural logistic model for a discrete survival time or a Cox or additive hazards MSM for a continuous survival time. The hazard of the potential survival time can be conditional on baseline covariates, and the treatment variable can be discrete or continuous. We illustrate the use of the proposed simulation algorithm by carrying out a brief simulation study. This study compares the coverage of confidence intervals calculated in two different ways for causal effect estimates obtained by fitting an MSM via IPTW.


title: Spatial Perceptual Quality Aware Adaptive Volumetric Video Streaming

abstract: Volumetric video offers a highly immersive viewing experience, but poses challenges in ensuring quality of experience (QoE) due to its high bandwidth requirements. In this paper, we explore the effect of viewing distance introduced by six degrees of freedom (6DoF) spatial navigation on user's perceived quality. By considering human visual resolution limitations, we propose a visual acuity model that describes the relationship between the virtual viewing distance and the tolerable boundary point cloud density. The proposed model satisfies spatial visual requirements during 6DoF exploration. Additionally, it dynamically adjusts quality levels to balance perceptual quality and bandwidth consumption. Furthermore, we present a QoE model to represent user's perceived quality at different viewing distances precisely. Extensive experimental results demonstrate that, the proposed scheme can effectively improve the overall average QoE by up to 26% over real networks and user traces, compared to existing baselines.


title: VoiceFlow: Efficient Text-to-Speech with Rectified Flow Matching

abstract: Although diffusion models in text-to-speech have become a popular choice due to their strong generative ability, the intrinsic complexity of sampling from diffusion models harms their efficiency. Alternatively, we propose VoiceFlow, an acoustic model that utilizes a rectified flow matching algorithm to achieve high synthesis quality with a limited number of sampling steps. VoiceFlow formulates the process of generating mel-spectrograms into an ordinary differential equation conditional on text inputs, whose vector field is then estimated. The rectified flow technique then effectively straightens its sampling trajectory for efficient synthesis. Subjective and objective evaluations on both single and multi-speaker corpora showed the superior synthesis quality of VoiceFlow compared to the diffusion counterpart. Ablation studies further verified the validity of the rectified flow technique in VoiceFlow.


title: SC-NeRF: Self-Correcting Neural Radiance Field with Sparse Views

abstract: In recent studies, the generalization of neural radiance fields for novel view synthesis task has been widely explored. However, existing methods are limited to objects and indoor scenes. In this work, we extend the generalization task to outdoor scenes, trained only on object-level datasets. This approach presents two challenges. Firstly, the significant distributional shift between training and testing scenes leads to black artifacts in rendering results. Secondly, viewpoint changes in outdoor scenes cause ghosting or missing regions in rendered images. To address these challenges, we propose a geometric correction module and an appearance correction module based on multi-head attention mechanisms. We normalize rendered depth and combine it with light direction as query in the attention mechanism. Our network effectively corrects varying scene structures and geometric features in outdoor scenes, generalizing well from object-level to unseen outdoor scenes. Additionally, we use appearance correction module to correct appearance features, preventing rendering artifacts like blank borders and ghosting due to viewpoint changes. By combining these modules, our approach successfully tackles the challenges of outdoor scene generalization, producing high-quality rendering results. When evaluated on four datasets (Blender, DTU, LLFF, Spaces), our network outperforms previous methods. Notably, compared to MVSNeRF, our network improves average PSNR from 19.369 to 25.989, SSIM from 0.838 to 0.889, and reduces LPIPS from 0.265 to 0.224 on Spaces outdoor scenes.


title: Optimal control of stochastic delay differential equations: Optimal feedback controls

abstract: In this manuscript, we study optimal control problems for stochastic delay differential equations using the dynamic programming approach in Hilbert spaces via viscosity solutions of the associated Hamilton-Jacobi-Bellman equations. We show how to use the partial $C^{1,\alpha}$-regularity of the value function established in \cite{defeo_federico_swiech} to obtain optimal feedback controls. The main result of the paper is a verification theorem which provides a sufficient condition for optimality using the value function. We then discuss its applicability to the construction of optimal feedback controls. We provide an application to stochastic optimal advertising problems.


title: Decolonial AI Alignment: Openness, Vi\'{s}e\d{s}a-Dharma, and Including Excluded Knowledges

abstract: Prior work has explicated the coloniality of artificial intelligence (AI) development and deployment through mechanisms such as extractivism, automation, sociological essentialism, surveillance, and containment. However, that work has not engaged much with alignment: teaching behaviors to a large language model (LLM) in line with desired values, and has not considered a mechanism that arises within that process: moral absolutism -- a part of the coloniality of knowledge. Colonialism has a history of altering the beliefs and values of colonized peoples; in this paper, I argue that this history is recapitulated in current LLM alignment practices and technologies. Furthermore, I suggest that AI alignment be decolonialized using three forms of openness: openness of models, openness to society, and openness to excluded knowledges. This suggested approach to decolonial AI alignment uses ideas from the argumentative moral philosophical tradition of Hinduism, which has been described as an open-source religion. One concept used is vi\'{s}e\d{s}a-dharma, or particular context-specific notions of right and wrong. At the end of the paper, I provide a suggested reference architecture to work toward the proposed framework.


title: The carbon-rich type Ic supernova 2016adj in the iconic dust lane of Centaurus A: signatures of interaction with circumstellar hydrogen?

abstract: We present a comprehensive data set of supernova (SN) 2016adj located within the central dust lane of Centaurus A. SN 2016adj is significantly reddened and after correcting the peak apparent $B$-band magnitude ($m_B = 17.48\pm0.05$) for Milky Way reddening and our inferred host-galaxy reddening parameters (i.e., $R_{V}^{host} = 5.7\pm0.7$ and $A_{V}^{host} = 6.3\pm0.2$), we estimate it reached a peak absolute magnitude of $M_B \sim -18$. Detailed inspection of the optical/NIR spectroscopic time-series reveals a carbon-rich SN Ic and not a SN Ib/IIb as previously suggested in the literature. The NIR spectra shows prevalent carbon-monoxide formation occurring already by +41 days past $B$-band maximum, which is $\approx 11$ days earlier than previously reported in the literature for this object. Interestingly around two months past maximum, the NIR spectrum of SN~2016adj begins to exhibit H features, with a +97~d medium resolution spectrum revealing both Paschen and Bracket lines with absorption minima of $\sim 2000$ km/s, full-width-half-maximum emission velocities of $\sim 1000$ km/s, and emission line ratios consistent with a dense emission region. We speculate these attributes are due to circumstellar interaction (CSI) between the rapidly expanding SN ejecta and a H-rich shell of material formed during the pre-SN phase. A bolometric light curve is constructed and a semi-analytical model fit suggests the supernova synthesized 0.5 solar masses of $^{56}$Ni and ejected 4.2 solar masses of material, though these values should be approached with caution given the large uncertainties associated with the adopted reddening parameters, possible CSI contamination, and known light echo emission. Finally, inspection of Hubble Space Telescope archival data yielded no progenitor detection.


title: Unified Contrastive Fusion Transformer for Multimodal Human Action Recognition

abstract: Various types of sensors have been considered to develop human action recognition (HAR) models. Robust HAR performance can be achieved by fusing multimodal data acquired by different sensors. In this paper, we introduce a new multimodal fusion architecture, referred to as Unified Contrastive Fusion Transformer (UCFFormer) designed to integrate data with diverse distributions to enhance HAR performance. Based on the embedding features extracted from each modality, UCFFormer employs the Unified Transformer to capture the inter-dependency among embeddings in both time and modality domains. We present the Factorized Time-Modality Attention to perform self-attention efficiently for the Unified Transformer. UCFFormer also incorporates contrastive learning to reduce the discrepancy in feature distributions across various modalities, thus generating semantically aligned features for information fusion. Performance evaluation conducted on two popular datasets, UTD-MHAD and NTU RGB+D, demonstrates that UCFFormer achieves state-of-the-art performance, outperforming competing methods by considerable margins.


title: Evolving landscape of US-China science collaboration: Convergence and divergence

abstract: International research collaboration among global scientific powerhouses has exhibited a discernible trend towards convergence in recent decades. Notably, the US and China have significantly fortified their collaboration across diverse scientific disciplines, solidifying their status as a national-level duopoly in global scientific knowledge production. However, recent reports hint at a potential decline in collaboration between these two giants, even amidst the backdrop of advancing global convergence. Understanding the intricate interplay between cooperation and disparity within the US-China relationship is vital for both academia and policy leaders, as it provides invaluable insights into the potential future trajectory of global science collaboration. Despite its significance, there remains a noticeable dearth of quantitative evidence that adequately encapsulates the dynamism across disciplines and over time. To bridge this knowledge gap, this study delves into the evolving landscape of interaction between the US and China over recent decades. This investigation employs two approaches, one based on paper identifiers and the other on researcher identifiers, both obtained from bibliometric data sourced from OpenAlex. From both approaches, our findings unveil the unique and dynamic nature of the US-China relationship, characterised by a collaboration pattern initially marked by rapid convergence, followed by a recent phase of divergence.


title: Giant nonreciprocity of current-voltage characteristics of noncentrosymmetric supercondctor-normal metal-superconductor junctions

abstract: We develop a theory of nonreciprocal current-voltage (I-U) characteristics in noncentrosymmetric superconductor-normal metal-superconductor junctions. We show that at small voltages the nonreciprocal features of the I-U characteristics can be expressed entirely in terms of the dependence of the nonreciprocal part of the quasiparticle density of states in the normal metal part of the junction on the order parameter phase difference $\chi$ across the junction. The amplitude of the nonreciprocity in this regime is proportional to the inelastic quasiparticle relaxation time $\tau_{in}$, and can be much larger than that in normal materials, where it is proportional to the elastic relaxation time $\tau_{el}$. At low bias the I-U characteristics possess additional symmetry, not present in normal conductors; they remain invariant under simultaneous reversal of current, voltage and the magnetic field.


title: Duplicate Question Retrieval and Confirmation Time Prediction in Software Communities

abstract: Community Question Answering (CQA) in different domains is growing at a large scale because of the availability of several platforms and huge shareable information among users. With the rapid growth of such online platforms, a massive amount of archived data makes it difficult for moderators to retrieve possible duplicates for a new question and identify and confirm existing question pairs as duplicates at the right time. This problem is even more critical in CQAs corresponding to large software systems like askubuntu where moderators need to be experts to comprehend something as a duplicate. Note that the prime challenge in such CQA platforms is that the moderators are themselves experts and are therefore usually extremely busy with their time being extraordinarily expensive. To facilitate the task of the moderators, in this work, we have tackled two significant issues for the askubuntu CQA platform: (1) retrieval of duplicate questions given a new question and (2) duplicate question confirmation time prediction. In the first task, we focus on retrieving duplicate questions from a question pool for a particular newly posted question. In the second task, we solve a regression problem to rank a pair of questions that could potentially take a long time to get confirmed as duplicates. For duplicate question retrieval, we propose a Siamese neural network based approach by exploiting both text and network-based features, which outperforms several state-of-the-art baseline techniques. Our method outperforms DupPredictor and DUPE by 5% and 7% respectively. For duplicate confirmation time prediction, we have used both the standard machine learning models and neural network along with the text and graph-based features. We obtain Spearman's rank correlation of 0.20 and 0.213 (statistically significant) for text and graph based features respectively.


title: What Is Near?: Room Locality Learning for Enhanced Robot Vision-Language-Navigation in Indoor Living Environments

abstract: Humans use their knowledge of common house layouts obtained from previous experiences to predict nearby rooms while navigating in new environments. This greatly helps them navigate previously unseen environments and locate their target room. To provide layout prior knowledge to navigational agents based on common human living spaces, we propose WIN (\textit{W}hat \textit{I}s \textit{N}ear), a commonsense learning model for Vision Language Navigation (VLN) tasks. VLN requires an agent to traverse indoor environments based on descriptive navigational instructions. Unlike existing layout learning works, WIN predicts the local neighborhood map based on prior knowledge of living spaces and current observation, operating on an imagined global map of the entire environment. The model infers neighborhood regions based on visual cues of current observations, navigational history, and layout common sense. We show that local-global planning based on locality knowledge and predicting the indoor layout allows the agent to efficiently select the appropriate action. Specifically, we devised a cross-modal transformer that utilizes this locality prior for decision-making in addition to visual inputs and instructions. Experimental results show that locality learning using WIN provides better generalizability compared to classical VLN agents in unseen environments. Our model performs favorably on standard VLN metrics, with Success Rate 68\% and Success weighted by Path Length 63\% in unseen environments.


title: Astrophysical Parameters of the Open Cluster NGC 2509

abstract: This study presents structural and fundamental astrophysical parameters of poorly studied open cluster NGC 2509. We used the third photometric and astrometric data release of the Gaia (Gaia DR3) to perform analyses. By taking into account the Gaia DR3 astrometric data, we calculated the membership probabilities of the stars in the region of NGC 2509. As a result of the membership analysis, 244 stars with membership probabilities $P\geq50$% were determined as the physical members of the cluster. The colour excess, distance and age were obtained simultaneously by fitting solar metallicity PARSEC isochrones to $G\times G_{\rm BP}-G_{\rm RP}$ colour-magnitude diagram. We considered the most likely cluster member stars during the fitting procedure and calculated the colour excess, distance and age of the NGC 2509 as $E(G_{\rm BP}-G_{\rm RP})=0.100\pm0.015$ mag, $d=2518\pm667$ pc and $t=1.5\pm 0.1$ Gyr, respectively.


title: Approximate Lie symmetries and singular perturbation theory

abstract: Singular perturbation theory plays a central role in the approximate solution of nonlinear differential equations. However, applying these methods is a subtle art owing to the lack of globally applicable algorithms. Inspired by the fact that all exact solutions of differential equations are consequences of (Lie) symmetries, we reformulate perturbation theory for differential equations in terms of expansions of the Lie symmetries of the solutions. This is a change in perspective from the usual method of obtaining series expansions of the solutions themselves. We show that these approximate symmetries are straightforward to calculate and are never singular; their integration is therefore an easier way of constructing uniformly convergent solutions. This geometric viewpoint naturally subsumes the RG-inspired approach of Chen, Goldenfeld and Oono, the method of multiple scales, and the Poincare-Lindstedt method, by exploiting a fundamental class of symmetries that we term ``hidden scale symmetries''. It also clarifies when and why these singular perturbation methods succeed and just as importantly, when they fail. More broadly, direct, algorithmic identification and integration of these hidden scale symmetries permits solution of problems where other methods are impractical.


title: The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory

abstract: In this paper, we study profinite descent theory for Picard groups in $K(n)$-local homotopy theory through their inverse limit topology. Building upon Burklund's result on the multiplicative structures of generalized Moore spectra, we prove that the module category over a $K(n)$-local commutative ring spectrum is equivalent to the limit of its base changes by a tower of generalized Moore spectra of type $n$. As a result, the $K(n)$-local Picard groups are endowed with a natural inverse limit topology. This topology allows us to identify the entire $E_1$ and $E_2$-pages of a descent spectral sequence for Picard spaces of $K(n)$-local profinite Galois extensions. Our main examples are $K(n)$-local Picard groups of homotopy fixed points $E_n^{hG}$ of the Morava $E$-theory $E_n$ for all closed subgroups $G$ of the Morava stabilizer group $\mathbb{G}_n$. The $G=\mathbb{G}_n$ case has been studied by Heard and Mor. At height $1$, we compute Picard groups of $E_1^{hG}$ for all closed subgroups $G$ of $\mathbb{G}_1=\mathbb{Z}_p^\times$ at all primes as a Mackey functor.


title: Comparison of viscosity solutions for a class of second order PDEs on the Wasserstein space

abstract: We prove a comparison result for viscosity solutions of second order parabolic partial differential equations in the Wasserstein space. The comparison is valid for semisolutions that are Lipschitz continuous in the measure in a Fourier-Wasserstein metric and uniformly continuous in time. The class of equations we consider is motivated by Mckean-Vlasov control problems with common noise and filtering problems. The proof of comparison relies on a novel version of Ishii's lemma, which is tailor-made for the class of equations we consider.


title: Black hole wavefunctions and microcanonical states

abstract: We consider the problem of defining a microcanonical thermofield double state at fixed energy and angular momentum from the gravitational path integral. A semiclassical approximation to this state is obtained by imposing a mixed boundary condition on an initial time surface. We analyze the corresponding boundary value problem and gravitational action. The overlap of this state with the canonical thermofield double state, which is interpreted as the Hartle-Hawking wavefunction of an eternal black hole in a mini-superspace approximation, is calculated semiclassically. The relevant saddlepoint is a higher-dimensional, rotating generalization of the wedge geometry that has been studied in two-dimensional gravity.


title: High-Precision Channel Estimation for Sub-Noise Self-Interference Cancellation

abstract: Self-interference cancellation plays a crucial role in achieving reliable full-duplex communications. In general, it is essential to cancel the self-interference signal below the thermal noise level, which necessitates accurate reconstruction of the self-interference signal. In this paper, we propose a high-precision channel estimation method specifically designed for sub-noise self-interference cancellation. Exploiting the fact that all transmitted symbols are known to their respective receivers, our method utilizes all transmitted symbols for self-interference channel estimation. Through analytical derivations and numerical simulations, we validate the effectiveness of the proposed method. The results demonstrate the superior performance of our approach in achieving sub-noise self-interference cancellation.


title: On the Effect of Aleatoric and Epistemic Errors on the Learnability and Quality of NN-based Potential Energy Surfaces

abstract: The effect of noise in the input data for learning potential energy surfaces (PESs) based on neural networks for chemical applications is assessed. Noise in energies and forces can result from aleatoric and epistemic errors in the quantum chemical reference calculations. Statistical (aleatoric) noise arises for example due to the need to set convergence thresholds in the self consistent field (SCF) iterations whereas systematic (epistemic) noise is due to, {\it inter alia}, particular choices of basis sets in the calculations. The two molecules considered here as proxies are H$_{2}$CO and HONO which are examples for single- and multi-reference problems, respectively, for geometries around the minimum energy structure. For H$_2$CO it is found that adding noise to energies with magnitudes representative of single-point calculations does not deteriorate the quality of the final PESs whereas increasing the noise level commensurate with electronic structure calculations for more complicated, e.g. metal-containing, systems is expected to have a more notable effect. However, the effect of noise on the forces is more noticeable. On the other hand, for HONO which requires a multi-reference treatment, a clear correlation between model quality and the degree of multi-reference character as measured by the $T_1$ amplitude is found. It is concluded that for chemically "simple" cases the effect of aleatoric and epistemic noise is manageable without evident deterioration of the trained model - although the quality of the forces is important. However, considerably more care needs to be exercised for situations in which multi-reference effects are present.


title: The Effect of Alignment Objectives on Code-Switching Translation

abstract: One of the things that need to change when it comes to machine translation is the models' ability to translate code-switching content, especially with the rise of social media and user-generated content. In this paper, we are proposing a way of training a single machine translation model that is able to translate monolingual sentences from one language to another, along with translating code-switched sentences to either language. This model can be considered a bilingual model in the human sense. For better use of parallel data, we generated synthetic code-switched (CSW) data along with an alignment loss on the encoder to align representations across languages. Using the WMT14 English-French (En-Fr) dataset, the trained model strongly outperforms bidirectional baselines on code-switched translation while maintaining quality for non-code-switched (monolingual) data.


title: Hairy black holes induced by nonlinear superadiant instability

abstract: We unveil a new insight: beyond linear superradiant instability, a nonlinear mechanism can transform linearly stable bald black holes into hairy ones in asymptotically flat spacetime without necessitating artificial mirrors. As an illustrative example, by perturbing Reissner-Nordstr\"om (RN) black holes with a complex scalar field featuring a physical Q-ball type potential, we discover that significant perturbations can destroy the stability of RN black holes, resulting in the formation of Q-hairy black holes through an innovative nonlinear superradiant instability. For the first time in a black hole system, we observe the scalar hair displaying rhythmic radial expansion and contraction, indicating a novel type of bosenova. We find critical solutions at transition thresholds between bald and hairy black holes, inducing distinctive dynamical critical behaviors stemming from an intricate linear instability inherent in the critical solution.


title: Product Sets of Arithmetic Progressions in Function Fields

abstract: We study product sets of finite arithmetic progressions of polynomials over a finite field. We prove a lower bound for the size of the product set, uniform in a wide range of parameters. We apply our results to resolve the function field variants of Erd\H{o}s' multiplication table problem.


title: Little Rip, Pseudo Rip and bounce cosmology with generalized equation of state in non-standard backgrounds

abstract: The discovery of universe's late-time acceleration and dark energy has overseen a great deal of research into cosmological singularities and particularly future singularities. Perhaps the most extreme of such singlarities is the big rip, which has propelled a lot of work into ways of moderating it or seeking out alternatives to it and two such alternatives to the big rip are the Little rip and Pseudo rip. Another possibility to consider the far future of the universe is through bounce cosmologies, which presents its own interesting ideas. So in this work we investigate the Little rip, Pseudo rip and Bounce cosmology in non-standard cosmological backgrounds with a generalized equation of state in the presence of a viscous fluid. In particular we discuss about Chern-Simons cosmology and the RS-II Braneworld and discuss how the exotic and non-conventional nature of gravity in such cosmologies affect universal evolution in these scenarios. We find out that there are very significant differences in the behaviour of such cosmic scenarios in these universes in comparison to how they appear in the simple general relativistic universe.


title: Properties of Hesse derivatives of cubic curves

abstract: The Hesse curve or Hesse derivative Hess$(\Gamma_f)$ of a cubic curve $\Gamma_{f}$ given by a homogeneous polynomial $f$ is the set of points $P$ such that $\det \left(H_f (P)\right)=0$, where $H_f (P)$ is the Hesse matrix of $f$ evaluated at $P$. Also Hess$(\Gamma_f)$ is again a cubic curve. We show that for a point $P\in$Hess$(\Gamma_{f})$, all the contact points of tangents from $P$ to the curves $\Gamma_{f}$ and Hess$(\Gamma_{f})$ are intersection points of two straight lines $\ell_1^P$ and $\ell_2^P$ (meeting on Hess$(\Gamma_{f})$) with $\Gamma_{f}$ and Hess$(\Gamma_{f})$, where the product of $\ell_1^P$ and $\ell_2^P$ is the polar conic of $\Gamma_{f}$ at $P$. The operator Hess defines an iterative discrete dynamical system on the set of the cubic curves. We identify the two fixed points of this system, investigate orbits that end in the fixed points, and discuss the closed orbits of the dynamical system.


title: Multi-view Self-supervised Disentanglement for General Image Denoising

abstract: With its significant performance improvements, the deep learning paradigm has become a standard tool for modern image denoisers. While promising performance has been shown on seen noise distributions, existing approaches often suffer from generalisation to unseen noise types or general and real noise. It is understandable as the model is designed to learn paired mapping (e.g. from a noisy image to its clean version). In this paper, we instead propose to learn to disentangle the noisy image, under the intuitive assumption that different corrupted versions of the same clean image share a common latent space. A self-supervised learning framework is proposed to achieve the goal, without looking at the latent clean image. By taking two different corrupted versions of the same image as input, the proposed Multi-view Self-supervised Disentanglement (MeD) approach learns to disentangle the latent clean features from the corruptions and recover the clean image consequently. Extensive experimental analysis on both synthetic and real noise shows the superiority of the proposed method over prior self-supervised approaches, especially on unseen novel noise types. On real noise, the proposed method even outperforms its supervised counterparts by over 3 dB.


title: Backbone exponent for two-dimensional percolation

abstract: We derive an exact expression for the celebrated backbone exponent for Bernoulli percolation in dimension two at criticality. It turns out to be a root of an elementary function. Contrary to previously known arm exponents for this model, which are all rational, it has a transcendental value. Our derivation relies on the connection to the SLE$_\kappa$ bubble measure, the coupling between SLE and Liouville quantum gravity, and the integrability of Liouville conformal field theory. Along the way, we derive a formula not only for $\kappa=6$ (corresponding to percolation), but for all $\kappa \in (4,8)$.


title: Cavity-Magnon-Polariton spectroscopy of strongly hybridized electro-nuclear spin excitations in LiHoF4

abstract: We first present a formalism that incorporates the input-output formalism and the linear response theory to employ cavity-magnon-polariton coupling as a spectroscopic tool for investigating strongly hybridized electro-nuclear spin excitations. A microscopic relation between the generalized susceptibility and the scattering parameter |S11| in strongly hybridized cavity-magnon-polariton systems has been derived without resorting to semi-classical approximations. The formalism is then applied to both analyze and simulate a specific systems comprising a model quantum Ising magnet (LiHoF4) and a high-finesse 3D re-entrant cavity resonator. Quantitative information on the electro-nuclear spin states in LiHoF4 is extracted, and the experimental observations across a broad parameter range were numerically reproduced, including an external magnetic field titraversing a quantum critical point. The method potentially opens a new avenue not only for further studies on the quantum phase transition in LiHoF4 but also for a wide range of complex magnetic systems.


title: Dwarf galaxies with the highest concentration are not thicker than ordinary dwarf galaxies

abstract: The formation mechanism of high-concentration dwarf galaxies is still a mystery. We perform a comparative study of the intrinsic shape of nearby low-mass galaxies with different stellar concentration. The intrinsic shape is parameterized by the intermediate-to-major axis ratios B/A and the minor-to-major axis ratios C/A of triaxial ellipsoidal models. Our galaxies ($10^{7.5} M_\odot$ < $M_\star$ < $10^{10.0} M_\odot$) are selected to have spectroscopic redshift from SDSS or GAMA, and have broadband optical images from the HSC-SSP Wide layer survey. The deep HSC-SSP images allow to measure the apparent axis ratios $q$ at galactic radii beyond the central star-forming area of our galaxies. We infer the intrinsic axis ratios based on the $q$ distributions. We find that 1) our galaxies have typical intrinsic shape similarly close to be oblate ($\mu_{B/A}$ $\sim$ 0.9--1), regardless of the concentration, stellar mass, star formation activity, and local environment (being central or satellite); 2) galaxies with the highest concentration tend to have intrinsic thickness similar to or (in virtually all cases) slightly thinner (i.e. smaller mean $\mu_{C/A}$ or equivalently lower triaxiality) than ordinary galaxies, regardless of other properties explored here. This appears to be in contrast with the expectation of the classic merger scenario for high-concentration galaxies. Given the lack of a complete understanding of dwarf-dwarf merger, we cannot draw a definite conclusion about the relevance of mergers in the formation of high-concentration dwarfs. Other mechanisms such as halo spin may also play important roles in the formation of high-concentration dwarf galaxies.


title: A Large Open Access Dataset of Brain Metastasis 3D Segmentations with Clinical and Imaging Feature Information

abstract: Resection and whole brain radiotherapy (WBRT) are the standards of care for the treatment of patients with brain metastases (BM) but are often associated with cognitive side effects. Stereotactic radiosurgery (SRS) involves a more targeted treatment approach and has been shown to avoid the side effects associated with WBRT. However, SRS requires precise identification and delineation of BM. While many AI algorithms have been developed for this purpose, their clinical adoption has been limited due to poor model performance in the clinical setting. Major reasons for non-generalizable algorithms are the limitations in the datasets used for training the AI network. The purpose of this study was to create a large, heterogenous, annotated BM dataset for training and validation of AI models to improve generalizability. We present a BM dataset of 200 patients with pretreatment T1, T1 post-contrast, T2, and FLAIR MR images. The dataset includes contrast-enhancing and necrotic 3D segmentations on T1 post-contrast and whole tumor (including peritumoral edema) 3D segmentations on FLAIR. Our dataset contains 975 contrast-enhancing lesions, many of which are sub centimeter, along with clinical and imaging feature information. We used a streamlined approach to database-building leveraging a PACS-integrated segmentation workflow.


title: Gamma Hedging and Rough Paths

abstract: We apply rough-path theory to study the discrete-time gamma-hedging strategy. We show that if a trader knows that the market price of a set of European options will be given by a diffusive pricing model, then the discrete-time gamma-hedging strategy will enable them to replicate other European options so long as the underlying pricing signal is sufficiently regular. This is a sure result and does not require that the underlying pricing signal has a quadratic variation corresponding to a probabilisitic pricing model. We show how to generalise this result to exotic derivatives when the gamma is defined to be the Gubinelli derivative of the delta by deriving rough-path versions of the Clark--Ocone formula which hold surely. We illustrate our theory by proving that if the stock price process is sufficiently regular, as is the implied volatility process of a European derivative with maturity $T$ and smooth payoff $f(S_T)$ satisfying $f^{\prime \prime}>0$, one can replicate with certainty any European derivative with smooth payoff and maturity $T$.


title: An Overview of Formulae for the Higher-Order Kinematics of Lower-Pair Chains with Applications in Robotics and Mechanism Theory

abstract: The motions of mechanisms can be described in terms of screw coordinates by means of an exponential mapping. The product of exponentials (POE) describes the configuration of a chain of bodies connected by lower pair joints. The kinematics is thus given in terms of joint screws. The POE serves to express loop constraints for mechanisms as well as the forward kinematics of serial manipulators. Besides the compact formulations, the POE gives rise to purely algebraic relations for derivatives wrt. joint variables. It is known that the partial derivatives of the instantaneous joint screws (columns of the geometric Jacobian) are determined by Lie brackets the joint screws. Lesser-known is that derivative of arbitrary order can be compactly expressed by Lie brackets. This has significance for higher-order forward/inverse kinematics and dynamics of robots and multibody systems. Various relations were reported but are scattered in the literature and insufficiently recognized. This paper aims to provide a comprehensive overview of the relevant relations. Its original contributions are closed form and recursive relations for higher-order derivatives and Taylor expansions of various kinematic relations. Their application to kinematic control and dynamics of robotic manipulators and multibody systems is discussed.


title: Cohen-Macaulay edge-weighted graphs of girth $5$ or greater

abstract: Let $G_\omega$ be an edge-weighted graph whose underlying graph is $G$. In this paper, we enlarge the class of Cohen-Macaulay edge-weighted graphs $G_\omega$ by classifying completely them when the graph $G$ has girth $5$ or greater.


title: Gray Jedi MVDR Post-filtering

abstract: Spatial filters can exploit deep-learning-based speech enhancement models to increase their reliability in scenarios with multiple speech sources scenarios. To further improve speech quality, it is common to perform postfiltering on the estimated target speech obtained with spatial filtering. In this work, Minimum Variance Distortionless Response (MVDR) is employed to provide the interference estimation, along with the estimation of the target speech, to be later used for postfiltering. This improves the enhancement performance over a single-input baseline in a far more significant way than by increasing the model's complexity. Results suggest that less computing resources are required for postfiltering when provided with both target and interference signals, which is a step forward in developing an online speech enhancement system for multi-speech scenarios.


title: Multimodal Fish Feeding Intensity Assessment in Aquaculture

abstract: Fish feeding intensity assessment (FFIA) aims to evaluate fish appetite changes during feeding, which is crucial in industrial aquaculture applications. Existing FFIA methods are limited by their robustness to noise, computational complexity, and the lack of public datasets for developing the models. To address these issues, we first introduce AV-FFIA, a new dataset containing 27,000 labeled audio and video clips that capture different levels of fish feeding intensity. Then, we introduce multi-modal approaches for FFIA by leveraging the models pre-trained on individual modalities and fused with data fusion methods. We perform benchmark studies of these methods on AV-FFIA, and demonstrate the advantages of the multi-modal approach over the single-modality based approach, especially in noisy environments. However, compared to the methods developed for individual modalities, the multimodal approaches may involve higher computational costs due to the need for independent encoders for each modality. To overcome this issue, we further present a novel unified mixed-modality based method for FFIA, termed as U-FFIA. U-FFIA is a single model capable of processing audio, visual, or audio-visual modalities, by leveraging modality dropout during training and knowledge distillation using the models pre-trained with data from single modality. We demonstrate that U-FFIA can achieve performance better than or on par with the state-of-the-art modality-specific FFIA models, with significantly lower computational overhead, enabling robust and efficient FFIA for improved aquaculture management.


title: Joint Routing and Energy Optimization for Integrated Access and Backhaul with Open RAN

abstract: Energy consumption represents a major part of the operating expenses of mobile network operators. With the densification foreseen with 5G and beyond, energy optimization has become a problem of crucial importance. While energy optimization is widely studied in the literature, there are limited insights and algorithms for energy-saving techniques for Integrated Access and Backhaul (IAB), a self-backhauling architecture that ease deployment of dense cellular networks reducing the number of fiber drops. This paper proposes a novel optimization model for dynamic joint routing and energy optimization in IAB networks. We leverage the closed-loop control framework introduced by the Open Radio Access Network (O-RAN) architecture to minimize the number of active IAB nodes while maintaining a minimum capacity per User Equipment (UE). The proposed approach formulates the problem as a binary nonlinear program, which is transformed into an equivalent binary linear program and solved using the Gurobi solver. The approach is evaluated on a scenario built upon open data of two months of traffic collected by network operators in the city of Milan, Italy. Results show that the proposed optimization model reduces the RAN energy consumption by 47%, while guaranteeing a minimum capacity for each UE.


title: Detection of Tidally Excited Oscillations in Kepler Heartbeat Stars

abstract: Heartbeat stars (HBSs) with tidally excited oscillations (TEOs) are ideal laboratories for studying the effect of equilibrium and dynamical tides. However, studies of TEOs in Kepler HBSs are rare due to the need for better modeling of the equilibrium tide in light curves. We revisit the HBSs in our previous work and study the TEOs in these HBSs based on the derived orbital parameters that could express the equilibrium tide. We also compile a set of analytic procedures to examine the harmonic and anharmonic TEOs in their Fourier spectra. The TEOs of 21 HBSs have been newly analyzed and presented. Twelve of these HBSs show prominent TEOs (signal-to-noise ratio of the harmonics $S/N \ge 10$). The relation between the orbital eccentricities and the harmonic number of the TEOs shows a positive correlation. The relation between the orbital periods and the harmonic number also shows a positive correlation. Furthermore, the distribution of HBSs with TEOs in the Hertzsprung-Russell (H-R) diagram shows that TEOs are more visible in hot stars with surface effective temperatures $T$ $\gtrsim$ 6500 K. These samples may also be valuable targets for future studies of the effect of tidal action in eccentric orbits.


title: First constraints on compact binary environments from LIGO-Virgo data

abstract: The LIGO-Virgo analysis of the signals from compact binary mergers observed so far have assumed in-vacuum isolated binary systems, neglecting the potential presence of astrophysical environments. Non-trivial environments may alter gravitational-wave emission, leaving imprints that can be observable via a characteristic dephasing of the emitted signal with respect to the vacuum scenario. We present here the first investigation of environmental effects on the events of the first gravitational-wave catalog (GWTC-1) by LIGO-Virgo. We include the effects of accretion and dynamical friction through a post-Newtonian deformation of the inspiral part of the waveform relative to the vacuum one. We find no evidence for the presence of environmental effects in GWTC-1. Most of the events decisively exclude the scenario of dynamical fragmentation of massive stars as their possible formation channel. Our analysis of GW170817 results in the upper bound on the medium density of $\lesssim 21\: \text{g/cm}^3$. We find that environmental effects can substantially bias the recovered parameters in the vacuum model, even when they are not detectable. Our results forecast that the future 2030s detectors Einstein Telescope and B-DECIGO will be able to probe the environmental effects of accretion disk and superradiant boson clouds on compact binaries.


title: Machine Learning for maximizing the memristivity of single and coupled quantum memristors

abstract: We propose machine learning (ML) methods to characterize the memristive properties of single and coupled quantum memristors. We show that maximizing the memristivity leads to large values in the degree of entanglement of two quantum memristors, unveiling the close relationship between quantum correlations and memory. Our results strengthen the possibility of using quantum memristors as key components of neuromorphic quantum computing.


title: Federated Learning Incentive Mechanism under Buyers' Auction Market

abstract: Auction-based Federated Learning (AFL) enables open collaboration among self-interested data consumers and data owners. Existing AFL approaches are commonly under the assumption of sellers' market in that the service clients as sellers are treated as scarce resources so that the aggregation servers as buyers need to compete the bids. Yet, as the technology progresses, an increasing number of qualified clients are now capable of performing federated learning tasks, leading to shift from sellers' market to a buyers' market. In this paper, we shift the angle by adapting the procurement auction framework, aiming to explain the pricing behavior under buyers' market. Our modeling starts with basic setting under complete information, then move further to the scenario where sellers' information are not fully observable. In order to select clients with high reliability and data quality, and to prevent from external attacks, we utilize a blockchain-based reputation mechanism. The experimental results validate the effectiveness of our approach.


title: Power laws of natural swarms are fingerprints of an extended critical region

abstract: Collective biological systems display power laws for macroscopic quantities and are fertile probing grounds for statistical physics. Besides power laws, natural insect swarms present strong scale-free correlations, suggesting closeness to phase transitions. Swarms exhibit {\em imperfect} dynamic scaling: their dynamical correlation functions collapse into single curves when written as functions of the scaled time $t\xi^{-z}$ ($\xi$: correlation length, $z$: dynamic exponent), but only for short times. Triggered by markers, natural swarms are not invariant under space translations. Measured static and dynamic critical exponents differ from those of equilibrium and many nonequilibrium phase transitions. Here, we show that: (i) the recently discovered scale-free-chaos phase transition of the harmonically confined Vicsek model has a novel extended critical region for $N$ (finite) insects that contains several critical lines. (ii) As alignment noise vanishes, there are power laws connecting critical confinement and noise that allow calculating static critical exponents for fixed $N$. These power laws imply that the unmeasurable confinement strength is proportional to the perception range measured in natural swarms. (iii) Observations of natural swarms occur at different times and under different atmospheric conditions, which we mimic by considering mixtures of data on different critical lines and $N$. Unlike results of other theoretical approaches, our numerical simulations reproduce the previously described features of natural swarms and yield static and dynamic critical exponents that agree with observations.


title: An introduction to the local-to-global behaviour of groups acting on trees and the theory of local action diagrams

abstract: The primary tool for analysing groups acting on trees is Bass--Serre Theory. It is comprised of two parts: a decomposition result, in which an action is decomposed via a graph of groups, and a construction result, in which graphs of groups are used to build examples of groups acting on trees. The usefulness of the latter for constructing new examples of `large' (e.g. nondiscrete) groups acting on trees is severely limited. There is a pressing need for new examples of such groups as they play an important role in the theory of locally compact groups. An alternative `local-to-global' approach to the study of groups acting on trees has recently emerged, inspired by a paper of Marc Burger and Shahar Mozes, based on groups that are `universal' with respect to some specified `local' action. In recent work, the authors of this survey article have developed a general theory of universal groups of local actions, that behaves, in many respects, like Bass--Serre Theory. We call this the theory of local action diagrams. The theory is powerful enough to completely describe all closed groups of automorphisms of trees that enjoy Tits' Independence Property (P). This article is an introductory survey of the local-to-global behaviour of groups acting on trees and the theory of local action diagrams. The article contains many ideas for future research projects.


title: Classicality of derived Emerton-Gee stack

abstract: We construct a derived stack $\chi$ of Laurent $F$-crystals on $(\mathcal{O}_K)_{\mathbb{\Delta}}$, where $\mathcal{O}_K$ is the ring of integers of a finite extension $K$ of $\mathcal{Q}_p$. We first show that its underlying classical stack $^{\rm cl}\chi$ coincides with the Emerton-Gee stack $\chi_{\rm EG}$, i.e., the moduli stack of \'etale $(\phi, \Gamma)$-modules. Then we prove that this derived stack is classical in the sense that when restricted to truncated animated rings, $\chi$ is equivalent to the sheafification of the left Kan extension of $\chi_{\rm EG}$ along the inclusion from the classical commutative rings to animated rings.


title: Mutation-based Fault Localization of Deep Neural Networks

abstract: Deep neural networks (DNNs) are susceptible to bugs, just like other types of software systems. A significant uptick in using DNN, and its applications in wide-ranging areas, including safety-critical systems, warrant extensive research on software engineering tools for improving the reliability of DNN-based systems. One such tool that has gained significant attention in the recent years is DNN fault localization. This paper revisits mutation-based fault localization in the context of DNN models and proposes a novel technique, named deepmufl, applicable to a wide range of DNN models. We have implemented deepmufl and have evaluated its effectiveness using 109 bugs obtained from StackOverflow. Our results show that deepmufl detects 53/109 of the bugs by ranking the buggy layer in top-1 position, outperforming state-of-the-art static and dynamic DNN fault localization systems that are also designed to target the class of bugs supported by deepmufl. Moreover, we observed that we can halve the fault localization time for a pre-trained model using mutation selection, yet losing only 7.55% of the bugs localized in top-1 position.


title: The limit-point/limit-circle classification for ordinary differential equations with distributional coefficients

abstract: We investigate the limit-point/limit-circle classification for the differential equation $Ju'+qu=\lambda wu$ where $J=\big(\begin{smallmatrix}0&-1\\ 1&0\end{smallmatrix}\big)$ and $q$ and $w$ are matrices whose entries are distributions of order zero with $q$ Hermitian and $w$ non-negative. We identify the situations when the classical alternative of Weyl works and when it fails.


title: Exploiting CLIP for Zero-shot HOI Detection Requires Knowledge Distillation at Multiple Levels

abstract: In this paper, we investigate the task of zero-shot human-object interaction (HOI) detection, a novel paradigm for identifying HOIs without the need for task-specific annotations. To address this challenging task, we employ CLIP, a large-scale pre-trained vision-language model (VLM), for knowledge distillation on multiple levels. Specifically, we design a multi-branch neural network that leverages CLIP for learning HOI representations at various levels, including global images, local union regions encompassing human-object pairs, and individual instances of humans or objects. To train our model, CLIP is utilized to generate HOI scores for both global images and local union regions that serve as supervision signals. The extensive experiments demonstrate the effectiveness of our novel multi-level CLIP knowledge integration strategy. Notably, the model achieves strong performance, which is even comparable with some fully-supervised and weakly-supervised methods on the public HICO-DET benchmark.


title: Chasing the Intruder: A Reinforcement Learning Approach for Tracking Intruder Drones

abstract: Drones are becoming versatile in a myriad of applications. This has led to the use of drones for spying and intruding into the restricted or private air spaces. Such foul use of drone technology is dangerous for the safety and security of many critical infrastructures. In addition, due to the varied low-cost design and agility of the drones, it is a challenging task to identify and track them using the conventional radar systems. In this paper, we propose a reinforcement learning based approach for identifying and tracking any intruder drone using a chaser drone. Our proposed solution uses computer vision techniques interleaved with the policy learning framework of reinforcement learning to learn a control policy for chasing the intruder drone. The whole system has been implemented using ROS and Gazebo along with the Ardupilot based flight controller. The results show that the reinforcement learning based policy converges to identify and track the intruder drone. Further, the learnt policy is robust with respect to the change in speed or orientation of the intruder drone.


title: Super-Resolution Surface Reconstruction from Few Low-Resolution Slices

abstract: In many imaging applications where segmented features (e.g. blood vessels) are further used for other numerical simulations (e.g. finite element analysis), the obtained surfaces do not have fine resolutions suitable for the task. Increasing the resolution of such surfaces becomes crucial. This paper proposes a new variational model for solving this problem, based on an Euler-Elastica-based regulariser. Further, we propose and implement two numerical algorithms for solving the model, a projected gradient descent method and the alternating direction method of multipliers. Numerical experiments using real-life examples (including two from outputs of another variational model) have been illustrated for effectiveness. The advantages of the new model are shown through quantitative comparisons by the standard deviation of Gaussian curvatures and mean curvatures from the viewpoint of discrete geometry.


title: Uncertainty-Aware Probabilistic Graph Neural Networks for Road-Level Traffic Accident Prediction

abstract: Traffic accidents present substantial challenges to human safety and socioeconomic development in urban areas. Developing a reliable and responsible traffic accident prediction model is crucial to addressing growing public safety concerns and enhancing the safety of urban mobility systems. Traditional methods face limitations at fine spatiotemporal scales due to the sporadic nature of highrisk accidents and the predominance of nonaccident characteristics. Furthermore, while most current models show promising occurrence prediction, they overlook the uncertainties arising from the inherent nature of accidents, and then fail to adequately map the hierarchical ranking of accident risk values for more precise insights. To address these issues, we introduce the Spatiotemporal ZeroInflated Tweedie Graph Neural Network ,STZITDGNN, the first uncertainty-aware probabilistic graph deep learning model in roadlevel traffic accident prediction for multi-steps. This model integrates the interpretability of the statistical Tweedie family model and the expressive power of graph neural networks. Its decoder innovatively employs a compound Tweedie model, a Poisson distribution to model the frequency of accident occurrences and a Gamma distribution to assess injury severity, supplemented by a zeroinflated component to effectively identify exessive non-incident instances. Empirical tests using realworld traffic data from London, UK, demonstrate that the STZITDGNN surpasses other baseline models across multiple benchmarks and metrics, including accident risk value prediction, uncertainty minimisation, nonaccident road identification and accident occurrence accuracy. Our study demonstrates that STZTIDGNN can effectively inform targeted road monitoring, thereby improving urban road safety strategies.


title: FreeMan: Towards Benchmarking 3D Human Pose Estimation under Real-World Conditions

abstract: Estimating the 3D structure of the human body from natural scenes is a fundamental aspect of visual perception. 3D human pose estimation is a vital step in advancing fields like AIGC and human-robot interaction, serving as a crucial technique for understanding and interacting with human actions in real-world settings. However, the current datasets, often collected under single laboratory conditions using complex motion capture equipment and unvarying backgrounds, are insufficient. The absence of datasets on variable conditions is stalling the progress of this crucial task. To facilitate the development of 3D pose estimation, we present FreeMan, the first large-scale, multi-view dataset collected under the real-world conditions. FreeMan was captured by synchronizing 8 smartphones across diverse scenarios. It comprises 11M frames from 8000 sequences, viewed from different perspectives. These sequences cover 40 subjects across 10 different scenarios, each with varying lighting conditions. We have also established an semi-automated pipeline containing error detection to reduce the workload of manual check and ensure precise annotation. We provide comprehensive evaluation baselines for a range of tasks, underlining the significant challenges posed by FreeMan. Further evaluations of standard indoor/outdoor human sensing datasets reveal that FreeMan offers robust representation transferability in real and complex scenes. Code and data are available at https://wangjiongw.github.io/freeman.


title: LiSum: Open Source Software License Summarization with Multi-Task Learning

abstract: Open source software (OSS) licenses regulate the conditions under which users can reuse, modify, and distribute the software legally. However, there exist various OSS licenses in the community, written in a formal language, which are typically long and complicated to understand. In this paper, we conducted a 661-participants online survey to investigate the perspectives and practices of developers towards OSS licenses. The user study revealed an indeed need for an automated tool to facilitate license understanding. Motivated by the user study and the fast growth of licenses in the community, we propose the first study towards automated license summarization. Specifically, we released the first high quality text summarization dataset and designed two tasks, i.e., license text summarization (LTS), aiming at generating a relatively short summary for an arbitrary license, and license term classification (LTC), focusing on the attitude inference towards a predefined set of key license terms (e.g., Distribute). Aiming at the two tasks, we present LiSum, a multi-task learning method to help developers overcome the obstacles of understanding OSS licenses. Comprehensive experiments demonstrated that the proposed jointly training objective boosted the performance on both tasks, surpassing state-of-the-art baselines with gains of at least 5 points w.r.t. F1 scores of four summarization metrics and achieving 95.13% micro average F1 score for classification simultaneously. We released all the datasets, the replication package, and the questionnaires for the community.


title: Secure Set-Based State Estimation for Linear Systems under Adversarial Attacks on Sensors

abstract: Set-based state estimation plays a vital role in the safety verification of dynamical systems, which becomes significantly challenging when the system's sensors are susceptible to cyber-attacks. Existing methods often impose limitations on the attacker's capabilities, restricting the number of attacked sensors to be strictly less than half of the total number of sensors. This paper proposes a Secure Set-Based State Estimation (S3E) algorithm that addresses this limitation. The S3E algorithm guarantees that the true system state is contained within the estimated set, provided the initialization set encompasses the true initial state and the system is redundantly observable from the set of uncompromised sensors. The algorithm gives the estimated set as a collection of constrained zonotopes, which can be employed as robust certificates for verifying whether the system adheres to safety constraints. Furthermore, we demonstrate that the estimated set remains unaffected by attack signals of sufficiently large and also establish sufficient conditions for attack detection, identification, and filtering. This compels the attacker to inject only stealthy signals of small magnitude to evade detection, thus preserving the accuracy of the estimated set. When a few number of sensors (less than half) can be compromised, we prove that the estimated set remains bounded by a contracting set that converges to a ball whose radius is solely determined by the noise magnitude and is independent of the attack signals. To address the computational complexity of the algorithm, we offer several strategies for complexity-performance trade-offs. The efficacy of the proposed algorithm is illustrated through its application to a three-story building model.


title: An Appraisal-Based Chain-Of-Emotion Architecture for Affective Language Model Game Agents

abstract: The development of believable, natural, and interactive digital artificial agents is a field of growing interest. Theoretical uncertainties and technical barriers present considerable challenges to the field, particularly with regards to developing agents that effectively simulate human emotions. Large language models (LLMs) might address these issues by tapping common patterns in situational appraisal. In three empirical experiments, this study tests the capabilities of LLMs to solve emotional intelligence tasks and to simulate emotions. It presents and evaluates a new chain-of-emotion architecture for emotion simulation within video games, based on psychological appraisal research. Results show that it outperforms standard LLM architectures on a range of user experience and content analysis metrics. This study therefore provides early evidence of how to construct and test affective agents based on cognitive processes represented in language models.


title: Generalization error bounds for iterative learning algorithms with bounded updates

abstract: This paper explores the generalization characteristics of iterative learning algorithms with bounded updates for non-convex loss functions, employing information-theoretic techniques. Our key contribution is a novel bound for the generalization error of these algorithms with bounded updates. Our approach introduces two main novelties: 1) we reformulate the mutual information as the uncertainty of updates, providing a new perspective, and 2) instead of using the chaining rule of mutual information, we employ a variance decomposition technique to decompose information across iterations, allowing for a simpler surrogate process. We analyze our generalization bound under various settings and demonstrate improved bounds. To bridge the gap between theory and practice, we also examine the previously observed scaling behavior in large language models. Ultimately, our work takes a further step for developing practical generalization theories.


title: Laboratory Measurement of Volatile Ice Vapor Pressures with a Quartz Crystal Microbalance

abstract: Nitrogen, carbon monoxide, and methane are key materials in the far outer Solar System where their high volatility enables them to sublimate, potentially driving activity at very low temperatures. Knowledge of their vapor pressures and latent heats of sublimation at relevant temperatures is needed to model the processes involved. We describe a method for using a quartz crystal microbalance to measure the sublimation flux of these volatile ices in the free molecular flow regime, accounting for the simultaneous sublimation from and condensation onto the quartz crystal to derive vapor pressures and latent heats of sublimation. We find vapor pressures to be somewhat lower than previous estimates in literature, with carbon monoxide being the most discrepant of the three species, almost an order of magnitude lower than had been thought. These results have important implications across a variety of astrophysical and planetary environments.


title: A supervised generative optimization approach for tabular data

abstract: Synthetic data generation has emerged as a crucial topic for financial institutions, driven by multiple factors, such as privacy protection and data augmentation. Many algorithms have been proposed for synthetic data generation but reaching the consensus on which method we should use for the specific data sets and use cases remains challenging. Moreover, the majority of existing approaches are ``unsupervised'' in the sense that they do not take into account the downstream task. To address these issues, this work presents a novel synthetic data generation framework. The framework integrates a supervised component tailored to the specific downstream task and employs a meta-learning approach to learn the optimal mixture distribution of existing synthetic distributions.


title: Spin decoherence and off-resonance behavior of radiofrequency-driven spin rotations in storage rings

abstract: Radiofrequency-driven resonant spin rotators are routinely used as standard instruments in polarization experiments in particle and nuclear physics. Maintaining the continuous exact parametric spin-resonance condition of the equality of the spin rotator and the spin precession frequency during operation constitutes one of the challenges. We present a detailed analytic description of the impact of detuning the exact spin resonance on the vertical and the in-plane precessing components of the polarization. An important part of the formalism presented here is the consideration of experimentally relevant spin-decoherence effects. We discuss applications of the developed formalism to the interpretation of the experimental data on the novel pilot bunch approach to control the spin-resonance condition during the operation of the radiofrequency-driven Wien filter that is used as a spin rotator in the first direct deuteron electric dipole moment measurement at COSY. We emphasize the potential importance of the hitherto unexplored phase of the envelope of the horizontal polarization as an indicator of the stability of the radiofrequency-driven spin rotations in storage rings. The work presented here serves as a satellite publication to the work published concurrently on the proof of principle experiment about the so-called pilot bunch approach that was developed to provide co-magnetometry for the deuteron electric dipole moment experiment at COSY.


title: Case Study of Decoherence Times of Transmon Qubit

abstract: In the past two decades, one of the fascinating subjects in quantum physics has been quantum bits (qubits). Thanks to the superposition principle, the qubits can perform many calculations simultaneously, which will significantly increase the speed and capacity of the calculations. The time when a qubit lives in an excited state is called decoherence time. The decoherence time varies considerably depending on the qubit type and materials. Today, short decoherence times are one of the bottlenecks in implementing quantum computers based on superconducting qubits. In this research, the topology of the transmon qubit is investigated, and the decoherence time caused by noise, flux, and critical current noise is calculated by numerical method.


title: New Multivariate Dimension Polynomials of Inversive Difference Field Extensions

abstract: We introduce a new type of reduction of inversive difference polynomials that is associated with a partition of the basic set of automorphisms $\sigma$ and uses a generalization of the concept of effective order of a difference polynomial. Then we develop the corresponding method of characteristic sets and apply it to prove the existence and obtain a method of computation of multivariate dimension polynomials of a new type that describe the transcendence degrees of intermediate fields of finitely generated inversive difference field extensions obtained by adjoining transforms of the generators whose orders with respect to the components of the partition of $\sigma$ are bounded by two sequences of natural numbers. We show that such dimension polynomials carry essentially more invariants (that is, characteristics of the extension that do not depend on the set of its difference generators) than standard (univariate) difference dimension polynomials. We also show how the obtained results can be applied to the equivalence problem for systems of algebraic difference equations.


title: Quantum automorphism groups of $2$-graphs

abstract: We formulate a notion of the quantum automorphism groups of $2$-graphs. We show that two isomorphic $2$-graphs have isomorphic quantum automorphism groups making the notion well-defined. We compute the quantum automorphism groups of a few $2$-graphs. It is observed that quantum automorphism group of a $1$-graph can be realized as the quantum automorphism group of a $2$-graph.


title: Quantile mixed graphical models with an application to mass public shootings in the United States

abstract: Over the last fifty years, the United States have experienced hundreds of mass public shootings that resulted in thousands of victims. Characterized by their frequent occurrence and devastating nature, mass shootings have become a major public health hazard that dramatically impact safety and well-being of individuals and communities. Given the epidemic traits of this phenomenon, there have been concerted efforts to understand the root causes that lead to public mass shootings in order to implement effective prevention strategies. We propose a quantile mixed graphical model for investigating the intricacies of inter- and infra-domain relationships of this complex phenomenon, where conditional relations between discrete and continuous variables are modeled without stringent distributional assumptions using Parzen's definition of mid-quantile. To retrieve the graph structure and recover only the most relevant connections, we consider the neighborhood selection approach in which conditional mid-quantiles of each variable in the network are modeled as a sparse function of all others. We propose a two-step procedure to estimate the graph where, in the first step, conditional mid-probabilities are obtained semi-parametrically and, in the second step, the model parameters are estimated by solving an implicit equation with a LASSO penalty.


title: Measurement of D/H and 13C/12C Ratios in Methane Ice on Eris and Makemake: Evidence for Internal Activity

abstract: James Webb Space Telescope's NIRSpec infrared imaging spectrometer observed the outer solar system dwarf planets Eris and Makemake in reflected sunlight at wavelengths spanning 1 through 5 microns. Both objects have high albedo surfaces that are rich in methane ice, with a texture that permits long optical path lengths through the ice for solar photons. There is evidence for N2 ice absorption around 4.2 um on Eris, though not on Makemake. No CO ice absorption is seen at 4.67 um on either body. For the first time, absorption bands of two heavy isotopologues of methane are observed at 2.615 um (13CH4), 4.33 um (12CH3D), and 4.57 um (12CH3D). These bands enable us to measure D/H ratios of (2.5 +/- 0.5) x 10-4 and (2.9 +/- 0.6) x 10-4, along with 13C/12C ratios of 0.012 +/- 0.002 and 0.010 +/- 0.003 in the surface methane ices of Eris and Makemake, respectively. The measured D/H ratios are much lower than that of presumably primordial methane in comet 67P/Churyumov-Gerasimenko, but they are similar to D/H ratios in water in many comets and larger outer solar system objects. This similarity suggests that the hydrogen atoms in methane on Eris and Makemake originated from water, indicative of geochemical processes in past or even ongoing hot environments in their deep interiors. The 13C/12C ratios are consistent with commonly observed solar system values, suggesting no substantial enrichment in 13C as could happen if the methane currently on their surfaces was the residue of a much larger inventory that had mostly been lost to space. Possible explanations include geologically recent outgassing from the interiors as well as processes that cycle the surface methane inventory to keep the uppermost surfaces refreshed.


title: Neural-Hidden-CRF: A Robust Weakly-Supervised Sequence Labeler

abstract: We propose a neuralized undirected graphical model called Neural-Hidden-CRF to solve the weakly-supervised sequence labeling problem. Under the umbrella of probabilistic undirected graph theory, the proposed Neural-Hidden-CRF embedded with a hidden CRF layer models the variables of word sequence, latent ground truth sequence, and weak label sequence with the global perspective that undirected graphical models particularly enjoy. In Neural-Hidden-CRF, we can capitalize on the powerful language model BERT or other deep models to provide rich contextual semantic knowledge to the latent ground truth sequence, and use the hidden CRF layer to capture the internal label dependencies. Neural-Hidden-CRF is conceptually simple and empirically powerful. It obtains new state-of-the-art results on one crowdsourcing benchmark and three weak-supervision benchmarks, including outperforming the recent advanced model CHMM by 2.80 F1 points and 2.23 F1 points in average generalization and inference performance, respectively.


title: An algorithm for comparing Legendrian knots

abstract: We construct an algorithm to decide whether two given Legendrian or transverse links are equivalent. In general, the complexity of the algorithm is too high for practical implementation. However, in many cases, when the symmetry group of the link is small and explicitly known, the most time-consuming part of the algorithm can be bypassed, thus allowing one to compare many pairs of Legendrian and transverse links in practice.


title: Towards Trustworthy Artificial Intelligence for Equitable Global Health

abstract: Artificial intelligence (AI) can potentially transform global health, but algorithmic bias can exacerbate social inequities and disparity. Trustworthy AI entails the intentional design to ensure equity and mitigate potential biases. To advance trustworthy AI in global health, we convened a workshop on Fairness in Machine Intelligence for Global Health (FairMI4GH). The event brought together a global mix of experts from various disciplines, community health practitioners, policymakers, and more. Topics covered included managing AI bias in socio-technical systems, AI's potential impacts on global health, and balancing data privacy with transparency. Panel discussions examined the cultural, political, and ethical dimensions of AI in global health. FairMI4GH aimed to stimulate dialogue, facilitate knowledge transfer, and spark innovative solutions. Drawing from NIST's AI Risk Management Framework, it provided suggestions for handling AI risks and biases. The need to mitigate data biases from the research design stage, adopt a human-centered approach, and advocate for AI transparency was recognized. Challenges such as updating legal frameworks, managing cross-border data sharing, and motivating developers to reduce bias were acknowledged. The event emphasized the necessity of diverse viewpoints and multi-dimensional dialogue for creating a fair and ethical AI framework for equitable global health.


title: Some gradient theories in linear visco-elastodynamics towards dispersion and attenuation of waves in relation to large-strain models

abstract: Various spatial-gradient extensions of standard viscoelastic rheologies of the Kelvin-Voigt, Maxwell's, and Jeffreys' types are analyzed in linear one-dimensional situations as far as the propagation of waves and their dispersion and attenuation. These gradient extensions are then presented in the large-strain nonlinear variants where they are sometimes used rather for purely analytical reasons either in the Lagrangian or the Eulerian formulations without realizing this wave-propagation context.The interconnection between these two modeling aspects is thus revealed in particular selected cases.


title: Sculpting Efficiency: Pruning Medical Imaging Models for On-Device Inference

abstract: Leveraging ML advancements to augment healthcare systems can improve patient outcomes. Yet, uninformed engineering decisions in early-stage research inadvertently hinder the feasibility of such solutions for high-throughput, on-device inference, particularly in settings involving legacy hardware and multi-modal gigapixel images. Through a preliminary case study concerning segmentation in cardiology, we highlight the excess operational complexity in a suboptimally configured ML model from prior work and demonstrate that it can be sculpted away using pruning to meet deployment criteria. Our results show a compression rate of 1148x with minimal loss in quality (~4%) and, at higher rates, achieve faster inference on a CPU than the GPU baseline, stressing the need to consider task complexity and architectural details when using off-the-shelf models. With this, we consider avenues for future research in streamlining workflows for clinical researchers to develop models quicker and better suited for real-world use.


title: SpeechMirror: A Multimodal Visual Analytics System for Personalized Reflection of Online Public Speaking Effectiveness

abstract: As communications are increasingly taking place virtually, the ability to present well online is becoming an indispensable skill. Online speakers are facing unique challenges in engaging with remote audiences. However, there has been a lack of evidence-based analytical systems for people to comprehensively evaluate online speeches and further discover possibilities for improvement. This paper introduces SpeechMirror, a visual analytics system facilitating reflection on a speech based on insights from a collection of online speeches. The system estimates the impact of different speech techniques on effectiveness and applies them to a speech to give users awareness of the performance of speech techniques. A similarity recommendation approach based on speech factors or script content supports guided exploration to expand knowledge of presentation evidence and accelerate the discovery of speech delivery possibilities. SpeechMirror provides intuitive visualizations and interactions for users to understand speech factors. Among them, SpeechTwin, a novel multimodal visual summary of speech, supports rapid understanding of critical speech factors and comparison of different speech samples, and SpeechPlayer augments the speech video by integrating visualization of the speaker's body language with interaction, for focused analysis. The system utilizes visualizations suited to the distinct nature of different speech factors for user comprehension. The proposed system and visualization techniques were evaluated with domain experts and amateurs, demonstrating usability for users with low visualization literacy and its efficacy in assisting users to develop insights for potential improvement.


title: Adaptive conformal classification with noisy labels

abstract: This paper develops novel conformal prediction methods for classification tasks that can automatically adapt to random label contamination in the calibration sample, leading to more informative prediction sets with stronger coverage guarantees compared to state-of-the-art approaches. This is made possible by a precise characterization of the effective coverage inflation (or deflation) suffered by standard conformal inferences in the presence of label contamination, which is then made actionable through new calibration algorithms. Our solution is flexible and can leverage different modeling assumptions about the label contamination process, while requiring no knowledge of the underlying data distribution or of the inner workings of the machine-learning classifier. The advantages of the proposed methods are demonstrated through extensive simulations and an application to object classification with the CIFAR-10H image data set.


title: Topological Dark Matter in LIGO Data

abstract: In the efforts of searching for dark matter, gravitational wave interferometers have been recently proposed as a promising probe. These highly sensitive instruments are potentially be able to detect the interactions of dark matter with the detectors. In this work, we explored the possibilities of discovering topological dark matter with LIGO detectors. We analyzed domain walls consisting of axion-like dark matter passing through Earth, leaving traces in multiple detectors simultaneously. Considering dark matter interactions with the light in the interferometer and with the beamsplitter, we performed the first analysis of the topological dark matter with the gravitational-wave strain data. We examined whether astrophysically unexpected triggers could be explained by domain wall passages. We found that all of the binary black hole mergers we analyzed favored the binary black hole merger hypothesis rather than the domain wall hypothesis, with the closest being GW190521. Moreover we found that some of topological dark matter signals can be caught by binary black hole searches. Finally, we found that glitches in the data can inevitably limit the dark matter searches for certain parameters. These results are expected to guide the future searches and analyses.

categories: gr-qc astro-ph.CO astro-ph.HE hep-ph hep-th


title: RCCZ4: A Reference Metric Approach to Z4

abstract: The hyperbolic formulations of numerical relativity due to Baumgarte, Shapiro, Shibata & Nakamura (BSSN) and Nagy Ortiz & Reula (NOR), among others, achieve stability through the effective embedding of general relativity within the larger Z4 system. In doing so, various elliptic constraints are promoted to dynamical degrees of freedom, permitting the advection of constraint violating modes. Here we demonstrate that it is possible to achieve equivalent performance through a modification of fully covariant and conformal Z4 (FCCZ4) wherein constraint violations are coupled to a reference metric completely independently of the physical metric. We show that this approach works in the presence of black holes and holds up robustly in a variety of spherically symmetric simulations including the critical collapse of a scalar field. We then demonstrate that our formulation is strongly hyperbolic through the use of a pseudodifferential first order reduction and compare its hyperbolicity properties to those of FCCZ4 and generalized BSSN (GBSSN). Our present approach makes use of a static Lorentzian reference metric and does not appear to provide significant advantages over FCCZ4. However, we speculate that dynamical specification of the reference metric may provide a means of exerting greater control over constraint violations than what is provided by current BSSN-type formulations.