title: Can ChatGPT advance software testing intelligence? An experience report on metamorphic testing

abstract: While ChatGPT is a well-known artificial intelligence chatbot being used to answer human's questions, one may want to discover its potential in advancing software testing. We examine the capability of ChatGPT in advancing the intelligence of software testing through a case study on metamorphic testing (MT), a state-of-the-art software testing technique. We ask ChatGPT to generate candidates of metamorphic relations (MRs), which are basically necessary properties of the object program and which traditionally require human intelligence to identify. These MR candidates are then evaluated in terms of correctness by domain experts. We show that ChatGPT can be used to generate new correct MRs to test several software systems. Having said that, the majority of MR candidates are either defined vaguely or incorrect, especially for systems that have never been tested with MT. ChatGPT can be used to advance software testing intelligence by proposing MR candidates that can be later adopted for implementing tests; but human intelligence should still inevitably be involved to justify and rectify their correctness.


title: Overtones' outburst of asymptotically AdS black holes

abstract: Recently it was shown that small deformations of the asymptotically flat black-hole geometry in some region near its horizon which do not alter considerably the fundamental mode, nevertheless, strongly affect the first several (and higher) overtones which deviate at an increasing rate from their nondeformed limits. Here we show that, despite the quasinormal spectrum in anti-de Sitter (AdS) space is totally different from the asymptotically flat one, the outburst of overtones do take place at small near-horizon deformations of Schwarzschild-AdS spacetime as well. Moreover, qualitatively new, nonoscillatory modes appear as a result of such small deformations, representing, thereby, a nonperturbative branch of modes. For this purpose we extend the general parametrization of asymptotically flat black holes to the AdS case. Small near-horizon deformations may originate from various holographically motivated factors, such as quantum corrections or attempts to describe the regime of intermediate coupling via higher curvature terms, while the nonoscillatory modes may be related to the hydrodynamic mode on the gauge theory side. Therefore, the phenomenon of the overtones' outburst must be taken into consideration when analyzing correlation functions and dispersion relations in the dual field theory. In addition to the ad hoc deformations we consider the case of five-dimensional Einstein-Gauss-Bonnet-AdS black holes as an example of such near horizon deformations and fulfill the detailed study of the overtones.


title: Leveraging generative artificial intelligence to simulate student learning behavior

abstract: Student simulation presents a transformative approach to enhance learning outcomes, advance educational research, and ultimately shape the future of effective pedagogy. We explore the feasibility of using large language models (LLMs), a remarkable achievement in AI, to simulate student learning behaviors. Unlike conventional machine learning based prediction, we leverage LLMs to instantiate virtual students with specific demographics and uncover intricate correlations among learning experiences, course materials, understanding levels, and engagement. Our objective is not merely to predict learning outcomes but to replicate learning behaviors and patterns of real students. We validate this hypothesis through three experiments. The first experiment, based on a dataset of N = 145, simulates student learning outcomes from demographic data, revealing parallels with actual students concerning various demographic factors. The second experiment (N = 4524) results in increasingly realistic simulated behaviors with more assessment history for virtual students modelling. The third experiment (N = 27), incorporating prior knowledge and course interactions, indicates a strong link between virtual students' learning behaviors and fine-grained mappings from test questions, course materials, engagement and understanding levels. Collectively, these findings deepen our understanding of LLMs and demonstrate its viability for student simulation, empowering more adaptable curricula design to enhance inclusivity and educational effectiveness.


title: Heavy quark transverse momentum dependent fragmentation

abstract: In this paper, we investigate the heavy quark (HQ) mass effects on the transverse momentum dependent fragmentation function (TMDFF). We first calculate the one-loop TMDFF initiated by a heavy quark. We then investigate the HQ TMDFF in the limit where the transverse momentum, $q_\perp$ is small compared to the heavy quark mass, $q_\perp \ll m$ and also in the opposite limit where $q_\perp \gg m$. As applications of the HQ TMDFF, we study the HQ transverse momentum dependent jet fragmentation function, where the heavy quark fragments into a jet containing a heavy hadron, and we investigate a heavy hadron's transverse momentum dependent distribution with respect to the thrust axis in $e^+e^-$ collisions.


title: LitCab: Lightweight Language Model Calibration over Short- and Long-form Responses

abstract: A model is considered well-calibrated when its probability estimate aligns with the actual likelihood of the output being correct. Calibrating language models (LMs) is crucial, as it plays a vital role in detecting and mitigating hallucinations of LMs as well as building more trustworthy models. However, standard calibration techniques may not be suited for LM calibration. For instance, post-processing methods such as temperature scaling do not reorder the candidate generations. On the other hand, training-based methods require fine-tuning the entire model, which is impractical for LMs of large scale. We present LitCab, a lightweight calibration mechanism consisting of a single linear layer that takes the input text representation and predicts a bias term, which is then added to the LM output logits. LitCab improves model calibration by only adding < 2% of the original model parameters. For evaluation, we construct CaT, a benchmark consisting of eight text generation tasks, covering responses ranging from short phrases to paragraphs. We test LitCab with Llama2-7B, where it improves calibration across all tasks, reducing the average ECE score by as large as 30%. We further conduct a comprehensive evaluation with multiple popular open-sourced LMs from GPT and LLaMA families, yielding the following key findings: (i) Larger models within the same family exhibit better calibration on tasks with short generation tasks, but not necessarily for longer ones. (ii) GPT-family models show superior calibration compared to LLaMA, Llama2, and Vicuna models, despite having much fewer parameters. (iii) Fine-tuning pretrained model (e.g., LLaMA) with samples of limited purpose (e.g., conversations) may lead to worse calibration, highlighting the importance of fine-tuning setups for calibrating LMs.


title: Parametric factorization of non linear second order differential equations

abstract: In this paper the factorization method introduced by Rosu \& Cornejo-P\'erez for second order non linear differential equations is generalized by adding a parameter in order to obtain the general solutions for the mixed quadratic and linear Li\'enard type equation. The new parametric factorization is used to obtain complete analytic solutions for nonlinear second order differential equations. The parametric factorization introduced in this article reduces to the standard factorization scheme when the parameter goes to zero. As an example, we apply the parametric factorization approach to solve the generalized Fisher equation and the Israel-Stewart cosmological model. The parametric factorization presented in this paper can be used in other non linear mixed Li\'enard type equations.


title: Generalized Category Discovery with Clustering Assignment Consistency

abstract: Generalized category discovery (GCD) is a recently proposed open-world task. Given a set of images consisting of labeled and unlabeled instances, the goal of GCD is to automatically cluster the unlabeled samples using information transferred from the labeled dataset. The unlabeled dataset comprises both known and novel classes. The main challenge is that unlabeled novel class samples and unlabeled known class samples are mixed together in the unlabeled dataset. To address the GCD without knowing the class number of unlabeled dataset, we propose a co-training-based framework that encourages clustering consistency. Specifically, we first introduce weak and strong augmentation transformations to generate two sufficiently different views for the same sample. Then, based on the co-training assumption, we propose a consistency representation learning strategy, which encourages consistency between feature-prototype similarity and clustering assignment. Finally, we use the discriminative embeddings learned from the semi-supervised representation learning process to construct an original sparse network and use a community detection method to obtain the clustering results and the number of categories simultaneously. Extensive experiments show that our method achieves state-of-the-art performance on three generic benchmarks and three fine-grained visual recognition datasets. Especially in the ImageNet-100 data set, our method significantly exceeds the best baseline by 15.5\% and 7.0\% on the \texttt{Novel} and \texttt{All} classes, respectively.


abstract: Law-enforcement investigations aimed at preventing attacks by violent extremists have become increasingly important for public safety. The problem is exacerbated by the massive data volumes that need to be scanned to identify complex behaviors of extremists and groups. Automated tools are required to extract information to respond queries from analysts, continually scan new information, integrate them with past events, and then alert about emerging threats. We address challenges in investigative pattern detection and develop an Investigative Pattern Detection Framework for Counterterrorism (INSPECT). The framework integrates numerous computing tools that include machine learning techniques to identify behavioral indicators and graph pattern matching techniques to detect risk profiles/groups. INSPECT also automates multiple tasks for large-scale mining of detailed forensic biographies, forming knowledge networks, and querying for behavioral indicators and radicalization trajectories. INSPECT targets human-in-the-loop mode of investigative search and has been validated and evaluated using an evolving dataset on domestic jihadism.


title: EHRTutor: Enhancing Patient Understanding of Discharge Instructions

abstract: Large language models have shown success as a tutor in education in various fields. Educating patients about their clinical visits plays a pivotal role in patients' adherence to their treatment plans post-discharge. This paper presents EHRTutor, an innovative multi-component framework leveraging the Large Language Model (LLM) for patient education through conversational question-answering. EHRTutor first formulates questions pertaining to the electronic health record discharge instructions. It then educates the patient through conversation by administering each question as a test. Finally, it generates a summary at the end of the conversation. Evaluation results using LLMs and domain experts have shown a clear preference for EHRTutor over the baseline. Moreover, EHRTutor also offers a framework for generating synthetic patient education dialogues that can be used for future in-house system training.


title: $J/\psi$ decays into $\omega (\phi) f_1(1285)$ and $\omega (\phi) \,''f_1(1420)''$

abstract: We perform a theoretical study of the $J/\psi \to \omega (\phi) K^* \bar{K} + c.c. \to \omega (\phi) K^0 \pi^+ K^-$ reactions with the assumption that the $f_1(1285)$ is dynamically generated from a single channel $K^* \bar{K} + c.c$ interaction in the chiral unitary approach. Two peaks in the $K^0 \pi^+ K^-$ invariant mass distribution are observed, one clear peak locates at the $f_1(1285)$ nominal mass, the other peak locates at around $1420\; \rm MeV$ with about $70 \;\rm MeV$ width. We conclude that the former peak is associated with the $f_1(1285)$ and the latter peak is not a genuine resonance but a manifestation of the kinematic effect in the higher energy region caused by the $K^* \bar{K} + c.c.$ decay mode of the $f_1(1285)$.


title: Factor Fitting, Rank Allocation, and Partitioning in Multilevel Low Rank Matrices

abstract: We consider multilevel low rank (MLR) matrices, defined as a row and column permutation of a sum of matrices, each one a block diagonal refinement of the previous one, with all blocks low rank given in factored form. MLR matrices extend low rank matrices but share many of their properties, such as the total storage required and complexity of matrix-vector multiplication. We address three problems that arise in fitting a given matrix by an MLR matrix in the Frobenius norm. The first problem is factor fitting, where we adjust the factors of the MLR matrix. The second is rank allocation, where we choose the ranks of the blocks in each level, subject to the total rank having a given value, which preserves the total storage needed for the MLR matrix. The final problem is to choose the hierarchical partition of rows and columns, along with the ranks and factors. This paper is accompanied by an open source package that implements the proposed methods.


title: On the accuracy and efficiency of group-wise clipping in differentially private optimization

abstract: Recent advances have substantially improved the accuracy, memory cost, and training speed of differentially private (DP) deep learning, especially on large vision and language models with millions to billions of parameters. In this work, we thoroughly study the per-sample gradient clipping style, a key component in DP optimization. We show that different clipping styles have the same time complexity but instantiate an accuracy-memory trade-off: while the all-layer clipping (of coarse granularity) is the most prevalent and usually gives the best accuracy, it incurs heavier memory cost compared to other group-wise clipping, such as the layer-wise clipping (of finer granularity). We formalize this trade-off through our convergence theory and complexity analysis. Importantly, we demonstrate that the accuracy gap between group-wise clipping and all-layer clipping becomes smaller for larger models, while the memory advantage of the group-wise clipping remains. Consequently, the group-wise clipping allows DP optimization of large models to achieve high accuracy and low peak memory simultaneously.


title: Optimal Status Updates for Minimizing Age of Correlated Information in IoT Networks with Energy Harvesting Sensors

abstract: Many real-time applications of the Internet of Things (IoT) need to deal with correlated information generated by multiple sensors. The design of efficient status update strategies that minimize the Age of Correlated Information (AoCI) is a key factor. In this paper, we consider an IoT network consisting of sensors equipped with the energy harvesting (EH) capability. We optimize the average AoCI at the data fusion center (DFC) by appropriately managing the energy harvested by sensors, whose true battery states are unobservable during the decision-making process. Particularly, we first formulate the dynamic status update procedure as a partially observable Markov decision process (POMDP), where the environmental dynamics are unknown to the DFC. In order to address the challenges arising from the causality of energy usage, unknown environmental dynamics, unobservability of sensors'true battery states, and large-scale discrete action space, we devise a deep reinforcement learning (DRL)-based dynamic status update algorithm. The algorithm leverages the advantages of the soft actor-critic and long short-term memory techniques. Meanwhile, it incorporates our proposed action decomposition and mapping mechanism. Extensive simulations are conducted to validate the effectiveness of our proposed algorithm by comparing it with available DRL algorithms for POMDPs.


title: Washout processes in post-sphaleron baryogenesis from way-out-of-equilibrium decays

abstract: We study washout processes in post-sphaleron baryogenesis, a mechanism where the matter-antimatter asymmetry is generated in the decay of exotic particles after the electroweak phase transition. In particular we focus, in a quite model independent way, on those scattering processes that have an amplitude proportional to the CP asymmetry. We find that when the scatterings involve only massless particles, the washouts are very severe for light decaying particles (with masses below a few hundred of GeV) and successful baryogenesis is only possible in a small portion of parameter space. Instead, if even a very light particle participates in these processes, the allowed region of parameter space opens considerably, although the final amount of baryon asymmetry may differ significantly from the expression which is typically used and neglects washouts. Furthermore, we analyze washouts from the non-thermal spectrum of energetic particles produced in cascade decays and indicate in which models they can be relevant.


title: A Survey of Federated Unlearning: A Taxonomy, Challenges and Future Directions

abstract: The evolution of privacy-preserving Federated Learning (FL) has led to an increasing demand for implementing the right to be forgotten. The implementation of selective forgetting is particularly challenging in FL due to its decentralized nature. This complexity has given rise to a new field, Federated Unlearning (FU). FU emerges as a strategic solution to address the increasing need for data privacy, including the implementation of the `right to be forgotten'. The primary challenge in developing FU approaches lies in balancing the trade-offs in privacy, security, utility, and efficiency, as these elements often have competing requirements. Achieving an optimal equilibrium among these facets is crucial for maintaining the effectiveness and usability of FL systems while adhering to privacy and security standards. This survey provides a comprehensive analysis of existing FU methods, incorporating a detailed review of the various evaluation metrics. Furthermore, we unify these diverse methods and metrics into an experimental framework. Additionally, the survey discusses potential future research directions in FU. Finally, a continually updated repository of related open-source materials is available at: https://github.com/abbottyanginchina/Awesome-Federated-Unlearning.


title: On the Poisson equation for nonreversible Markov jump processes

abstract: We study the solution $V$ of the Poisson equation $LV + f=0$ where $L$ is the backward generator of an irreducible (finite) Markov jump process and $f$ is a given centered state function. Bounds on $V$ are obtained using a graphical representation derived from the Matrix Forest Theorem and using a relation with mean first-passage times. Applications include estimating time-accumulated differences during relaxation toward a steady nonequilibrium regime.

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


title: From Stream to Pool: Pricing Under the Law of Diminishing Marginal Utility

abstract: Dynamic pricing models often posit that a $\textbf{stream}$ of customer interactions occur sequentially, where customers' valuations are drawn independently. However, this model is not entirely reflective of the real world, as it overlooks a critical aspect, the law of diminishing marginal utility, which states that a customer's marginal utility from each additional unit declines. This causes the valuation distribution to shift towards the lower end, which is not captured by the stream model. This motivates us to study a pool-based model, where a $\textbf{pool}$ of customers repeatedly interacts with a monopolist seller, each of whose valuation diminishes in the number of purchases made according to a discount function. In particular, when the discount function is constant, our pool model recovers the stream model. We focus on the most fundamental special case, where a customer's valuation becomes zero once a purchase is made. Given $k$ prices, we present a non-adaptive, detail-free (i.e., does not "know" the valuations) policy that achieves a $1/k$ competitive ratio, which is optimal among non-adaptive policies. Furthermore, based on a novel debiasing technique, we propose an adaptive learn-then-earn policy with a $\tilde O(k^{2/3} n^{2/3})$ regret.


title: Low regularity solutions for the general Quasilinear ultrahyperbolic Schr\"odinger equation

abstract: We present a novel method for establishing large data local well-posedness in low regularity Sobolev spaces for general quasilinear Schr\"odinger equations with non-degenerate and nontrapping metrics. Our result represents a definitive improvement over the landmark results of Kenig, Ponce, Rolvung and Vega, as it weakens the regularity and decay assumptions to the same scale of spaces considered by Marzuola, Metcalfe, and Tataru, but removes the uniform ellipticity assumption on the metric from their result. Our method has the additional benefit of being relatively simple but also very robust. In particular, it only relies on the use of pseudodifferential calculus for classical symbols.


title: Maximum Knowledge Orthogonality Reconstruction with Gradients in Federated Learning

abstract: Federated learning (FL) aims at keeping client data local to preserve privacy. Instead of gathering the data itself, the server only collects aggregated gradient updates from clients. Following the popularity of FL, there has been considerable amount of work, revealing the vulnerability of FL approaches by reconstructing the input data from gradient updates. Yet, most existing works assume an FL setting with unrealistically small batch size, and have poor image quality when the batch size is large. Other works modify the neural network architectures or parameters to the point of being suspicious, and thus, can be detected by clients. Moreover, most of them can only reconstruct one sample input from a large batch. To address these limitations, we propose a novel and completely analytical approach, referred to as the maximum knowledge orthogonality reconstruction (MKOR), to reconstruct clients' input data. Our proposed method reconstructs a mathematically proven high quality image from large batches. MKOR only requires the server to send secretly modified parameters to clients and can efficiently and inconspicuously reconstruct the input images from clients' gradient updates. We evaluate MKOR's performance on the MNIST, CIFAR-100, and ImageNet dataset and compare it with the state-of-the-art works. The results show that MKOR outperforms the existing approaches, and draws attention to a pressing need for further research on the privacy protection of FL so that comprehensive defense approaches can be developed.


title: Modular Anti-noise Deep Learning Network for Robotic Grasp Detection Based on RGB Images

abstract: While traditional methods relies on depth sensors, the current trend leans towards utilizing cost-effective RGB images, despite their absence of depth cues. This paper introduces an interesting approach to detect grasping pose from a single RGB image. To this end, we propose a modular learning network augmented with grasp detection and semantic segmentation, tailored for robots equipped with parallel-plate grippers. Our network not only identifies graspable objects but also fuses prior grasp analyses with semantic segmentation, thereby boosting grasp detection precision. Significantly, our design exhibits resilience, adeptly handling blurred and noisy visuals. Key contributions encompass a trainable network for grasp detection from RGB images, a modular design facilitating feasible grasp implementation, and an architecture robust against common image distortions. We demonstrate the feasibility and accuracy of our proposed approach through practical experiments and evaluations.


title: CHAMMI: A benchmark for channel-adaptive models in microscopy imaging

abstract: Most neural networks assume that input images have a fixed number of channels (three for RGB images). However, there are many settings where the number of channels may vary, such as microscopy images where the number of channels changes depending on instruments and experimental goals. Yet, there has not been a systemic attempt to create and evaluate neural networks that are invariant to the number and type of channels. As a result, trained models remain specific to individual studies and are hardly reusable for other microscopy settings. In this paper, we present a benchmark for investigating channel-adaptive models in microscopy imaging, which consists of 1) a dataset of varied-channel single-cell images, and 2) a biologically relevant evaluation framework. In addition, we adapted several existing techniques to create channel-adaptive models and compared their performance on this benchmark to fixed-channel, baseline models. We find that channel-adaptive models can generalize better to out-of-domain tasks and can be computationally efficient. We contribute a curated dataset (https://doi.org/10.5281/zenodo.7988357) and an evaluation API (https://github.com/broadinstitute/MorphEm.git) to facilitate objective comparisons in future research and applications.


title: Stochastic Configuration Machines: FPGA Implementation

abstract: Neural networks for industrial applications generally have additional constraints such as response speed, memory size and power usage. Randomized learners can address some of these issues. However, hardware solutions can provide better resource reduction whilst maintaining the model's performance. Stochastic configuration networks (SCNs) are a prime choice in industrial applications due to their merits and feasibility for data modelling. Stochastic Configuration Machines (SCMs) extend this to focus on reducing the memory constraints by limiting the randomized weights to a binary value with a scalar for each node and using a mechanism model to improve the learning performance and result interpretability. This paper aims to implement SCM models on a field programmable gate array (FPGA) and introduce binary-coded inputs to the algorithm. Results are reported for two benchmark and two industrial datasets, including SCM with single-layer and deep architectures.


title: Knolling bot 2.0: Enhancing Object Organization with Self-supervised Graspability Estimation

abstract: Building on recent advancements in transformer based approaches for domestic robots performing knolling, the art of organizing scattered items into neat arrangements. This paper introduces Knolling bot 2.0. Recognizing the challenges posed by piles of objects or items situated closely together, this upgraded system incorporates a self-supervised graspability estimation model. If objects are deemed ungraspable, an additional behavior will be executed to separate the objects before knolling the table. By integrating this grasp prediction mechanism with existing visual perception and transformer based knolling models, an advanced system capable of decluttering and organizing even more complex and densely populated table settings is demonstrated. Experimental evaluations demonstrate the effectiveness of this module, yielding a graspability prediction accuracy of 95.7%.


title: The unprecedented flaring activities around Mrk 421 in 2012 and 2013: The test for neutrino and UHECR event connection

abstract: Since its mission, Fermi Collaboration reported the highest flux observed during July - September 2012 for the BL Lac Markarian 421 (Mrk 421). The integrated flux was eight times greater than the average flux reported in the second Fermi catalog. During April 2013, Mrk 421 exhibited the highest TeV $\gamma$-ray and optical fluxes recorded. The Telescope Array (TA) collaboration reported the arrival of 72 ultra-high-energy cosmic rays (UHECRs), two in temporal and positional coincidence with the flaring activity observed in 2012 and one with the flaring activity in 2013. The IceCube collaboration has reported around 100 neutrino events in the High-Energy Starting Events (HESE) catalog. Although no neutrino track-like event has been associated with this source, a neutrino shower-like event (IC31) is in temporal and positional coincidence with the flare in 2012. Describing the broadband spectral energy distribution during the flaring activities exhibited in 2012 and 2013 with one- and two-zone lepto-hadronic scenarios and one-zone SSC model, we study a possible correlation between the neutrino event IC31 and the three UHECRs. We estimate the number of neutrino and UHECR events generated from the proposed models, and show that while the neutrino events are low to associate the event IC31 with Mrk 421, the number of UHECRs are similar to those reported by TA collaboration.


title: Simultaneous Horizontal and Vertical Oscillation of a Quiescent Filament observed by CHASE and SDO

abstract: In this paper, we present the imaging and spectroscopic observations of the simultaneous horizontal and vertical large-amplitude oscillation of a quiescent filament triggered by an EUV wave on 2022 October 02. Particularly, the filament oscillation involved winking phenomenon in Ha images and horizontal motions in EUV images. Originally, a filament and its overlying loops across AR 13110 and 13113 erupted with a highly inclined direction, resulting in an X1.0 flare and a non-radial CME. The fast lateral expansion of loops excited an EUV wave and the corresponding Moreton wave propagating northward. Once the EUV wavefront arrived at the quiescent filament, the filament began to oscillate coherently along the horizontal direction and the winking filament appeared concurrently in Ha images. The horizontal oscillation involved an initial amplitude of 10.2 Mm and a velocity amplitude of 46.5 km/s, lasting for 3 cycles with a period of 18.2 minutes and a damping time of 31.1 minutes. The maximum Doppler velocities of the oscillating filament are 18 km/s (redshift) and 24 km/s (blueshift), which was derived from the spectroscopic data provided by CHASE/HIS. The three-dimensional velocity of the oscillation is determined to be 50 km/s at an angle of 50 to the local photosphere plane. Based on the wave-filament interaction, the minimum energy of the EUV wave is estimated to be 2.7 10 20 J. Furthermore, this event provides evidence that Moreton wavesshould be excited by the highly inclined eruptions.


title: Efficient vacuum state preparation for quantum simulation of strongly interacting local quantum field theories

abstract: We present an efficient approach for preparing ground states in the context of strongly interacting local quantum field theories on quantum computers. The approach produces the vacuum state in a time proportional to the square-root of the volume, which is a square-root improvement in speed compared to traditional approaches. The approach exploits a novel method for traversing the path in parameter space in which the resources scale linearly with a path length suitably defined in parameter space. Errors due to practical limitations are controlled and do not exhibit secular growth along the path. The final accuracy can be arbitrarily improved with an additive cost, which is independent of the volume and grows slower than logarithmically with the overlap between the state produced and the exact ground state. We expect that the method could potentially hold practical value not only within the realm of quantum field theories but also in addressing other challenges involving long path lengths.


title: Defect two-point functions in 6d (2,0) theories

abstract: We consider correlation functions in 6d $(2,0)$ theories of two $\frac{1}{2}$-BPS operators inserted away from a $\frac{1}{2}$-BPS surface defect. In the large central charge limit the leading connected contribution corresponds to sums of tree-level Witten diagram in AdS$_7\times$S$^4$ in the presence of an AdS$_3$ defect. We show that these correlators can be uniquely determined by imposing only superconformal symmetry and consistency conditions, eschewing the details of the complicated effective Lagrangian. We explicitly compute all such two-point functions. The result exhibits remarkable hidden simplicity.


title: There Are No Data Like More Data- Datasets for Deep Learning in Earth Observation

abstract: Carefully curated and annotated datasets are the foundation of machine learning, with particularly data-hungry deep neural networks forming the core of what is often called Artificial Intelligence (AI). Due to the massive success of deep learning applied to Earth Observation (EO) problems, the focus of the community has been largely on the development of ever-more sophisticated deep neural network architectures and training strategies largely ignoring the overall importance of datasets. For that purpose, numerous task-specific datasets have been created that were largely ignored by previously published review articles on AI for Earth observation. With this article, we want to change the perspective and put machine learning datasets dedicated to Earth observation data and applications into the spotlight. Based on a review of the historical developments, currently available resources are described and a perspective for future developments is formed. We hope to contribute to an understanding that the nature of our data is what distinguishes the Earth observation community from many other communities that apply deep learning techniques to image data, and that a detailed understanding of EO data peculiarities is among the core competencies of our discipline.


title: Adapter Pruning using Tropical Characterization

abstract: Adapters are widely popular parameter-efficient transfer learning approaches in natural language processing that insert trainable modules in between layers of a pre-trained language model. Apart from several heuristics, however, there has been a lack of studies analyzing the optimal number of adapter parameters needed for downstream applications. In this paper, we propose an adapter pruning approach by studying the tropical characteristics of trainable modules. We cast it as an optimization problem that aims to prune parameters from the adapter layers without changing the orientation of underlying tropical hypersurfaces. Our experiments on five NLP datasets show that tropical geometry tends to identify more relevant parameters to prune when compared with the magnitude-based baseline, while a combined approach works best across the tasks.


title: Building Real-World Meeting Summarization Systems using Large Language Models: A Practical Perspective

abstract: This paper studies how to effectively build meeting summarization systems for real-world usage using large language models (LLMs). For this purpose, we conduct an extensive evaluation and comparison of various closed-source and open-source LLMs, namely, GPT-4, GPT- 3.5, PaLM-2, and LLaMA-2. Our findings reveal that most closed-source LLMs are generally better in terms of performance. However, much smaller open-source models like LLaMA- 2 (7B and 13B) could still achieve performance comparable to the large closed-source models even in zero-shot scenarios. Considering the privacy concerns of closed-source models for only being accessible via API, alongside the high cost associated with using fine-tuned versions of the closed-source models, the opensource models that can achieve competitive performance are more advantageous for industrial use. Balancing performance with associated costs and privacy concerns, the LLaMA-2-7B model looks more promising for industrial usage. In sum, this paper offers practical insights on using LLMs for real-world business meeting summarization, shedding light on the trade-offs between performance and cost.


title: Log-behavior of the root sequences of P-recursive sequences

abstract: In recent years, Sun has proposed numerous conjectures regarding the log-concavity of root sequences $\{\sqrt[n]{a_n}}_{n\geqslant 1}$. We establish criteria for the asymptotic log-concavity of $\{\sqrt[n]{a_n}}_{n\geqslant 1}$ and the asymptotic ratio log-convexity of $\{\sqrt[n]{a_n}}_{n\geqslant 1}$ for $P$-recursive sequences $\{\sqrt[n]{a_n}}_{n\geqslant{0}}$. Additionally, by the aid of symbolic computation, we present a systematic approach to determine the explicit integer $N$ such that the sequence $\{\sqrt[n]{a_n}}_{n\geqslant{N}}$ is log-concave and the sequence $\{\sqrt[n]{a_n}}_{n\geqslant N}$ is ratio log-convex.


title: A Synopsis of Stent Graft Technology Development

abstract: Coronary artery disease (CAD) is a leading cause of death worldwide. Treatments have evolved, with stenting becoming the primary approach over bypass surgery. This article reviews the evolution of coronary stent technology, starting from the first angioplasty in 1977. Pioneers like Forssmann, Dotter, and Gruentzig established the foundation. The late 1980s saw the introduction of bare metal stents (BMS) to address angioplasty limitations. However, BMS had issues, leading to the development of first-generation drug-eluting stents (DES) in the early 2000s, which reduced restenosis but had safety concerns. Subsequent innovations introduced second-generation DES with better results and the latest bioresorbable vascular scaffolds (BVS) that dissolve over time. Clinical trials have been crucial in validating each stent's effectiveness. Despite progress, challenges remain in stent selection, approval processes, and minimizing risks. The future may see personalized stenting based on patient needs, highlighting the significant advancements in stent technology and its impact on patient care.


title: Suppressed terahertz dynamics of water confined in nanometer gaps

abstract: Nanoconfined waters have been extensively studied within various systems, demonstrating low permittivity under static conditions; however, their dynamics have been largely unexplored due to the lack of a robust platform, particularly in the terahertz (THz) regime where hydrogen bond dynamics occur. We report the THz complex refractive index of nanoconfined water within metal gaps ranging in width from 2 to 20 nanometers, spanning mostly interfacial waters all the way to quasi-bulk waters. These loop nanogaps, encasing water molecules, sharply enhance light-matter interactions, enabling precise measurements of refractive index, both real and imaginary parts, of nanometer-thick layers of water. Under extreme confinement, the suppressed dynamics of the long-range correlation of hydrogen bond networks corresponding to the THz frequency regime result in a significant reduction in the terahertz permittivity of even 'non-interfacial' water. This platform provides valuable insights into the long-range collective dynamics of water molecules which is crucial to understanding water-mediated processes such as protein folding, lipid rafts, and molecular recognition.


title: Cavity magnomechanics: from classical to quantum

abstract: Hybrid quantum systems based on magnons in magnetic materials have made significant progress in the past decade. They are built based on the couplings of magnons with microwave photons, optical photons, vibration phonons, and superconducting qubits. In particular, the interactions among magnons, microwave cavity photons, and vibration phonons form the system of cavity magnomechanics (CMM), which lies in the interdisciplinary field of cavity QED, magnonics, quantum optics, and quantum information. Here, we review the experimental and theoretical progress of this emerging field. We first introduce the underlying theories of the magnomechanical coupling, and then some representative classical phenomena that have been experimentally observed, including magnomechanically induced transparency, magnomechanical dynamical backaction, magnon-phonon cross-Kerr nonlinearity, etc. We also discuss a number of theoretical proposals, which show the potential of the CMM system for preparing different kinds of quantum states of magnons, phonons, and photons, and hybrid systems combining magnomechanics and optomechanics and relevant quantum protocols based on them. Finally, we summarize this review and provide an outlook for the future research directions in this field.

categories: quant-ph cond-mat.mes-hall nlin.AO physics.app-ph physics.optics


title: Tunable Atomically Wide Electrostatic Barriers Embedded in a Graphene WSe2 Heterostructure

abstract: Inducing and controlling electrostatic barriers in two-dimensional (2D) quantum materials has shown extraordinary promise to enable control of charge carriers, and is key for the realization of nanoscale electronic and optoelectronic devices1-10. Because of their atomically thin nature, the 2D materials have a congenital advantage to construct the thinnest possible p-n junctions1,3,7,9,10. To realize the ultimate functional unit for future nanoscale devices, creating atomically wide electrostatic barriers embedded in 2D materials is desired and remains an extremely challenge. Here we report the creation and manipulation of atomically wide electrostatic barriers embedded in graphene WSe2 heterostructures. By using a STM tip, we demonstrate the ability to generate a one-dimensional (1D) atomically wide boundary between 1T-WSe2 domains and continuously tune positions of the boundary because of ferroelasticity of the 1T-WSe2. Our experiment indicates that the 1D boundary introduces atomically wide electrostatic barriers in graphene above it. Then the 1D electrostatic barrier changes a single graphene WSe2 heterostructure quantum dot from a relativistic artificial atom to a relativistic artificial molecule.


title: Variational principles for the hydrodynamics of the classical one-component plasma

abstract: Hydrodynamic equations for a one-component plasma are derived as a generalization of the Euler equations to include the effects of the long-range Coulomb interaction. By using a variational principle, these equations self-consistently unify thermodynamics, dispersion laws, nonlinear motion, and conservation laws. In the moderate and strong coupling limits, it is argued that these equations work down to the length scale of the average interparticle spacing. Closure and self-consistency of these nonlocal equations are achieved via the implementation of a variational principle. Hydrodynamic equations are evaluated in both the Eulerian frame, where the dependent variables depend on the position in the laboratory, and the Lagrangian frame, where they depend on the position in some reference state, such as the initial position. Each frame has its advantages and our final theory combines elements of both. The properties of longitudinal and transverse dispersion laws are calculated for the hydrodynamic equations. A simple step function approximation for the pair distribution function is used that allows for simple calculations that reveal the structure of the equations of motion. The obtained dispersion laws are compared to molecular dynamics simulations and the theory of quasilocalized charge approximation. The action, which gives excellent agreement for both longitudinal and transverse dispersion laws for a wide range of coupling strengths, is elucidated. Agreement with numerical experiments shows that such a hydrodynamic approach can be used to accurately describe a one-component plasma at very small length scales comparable to the average interparticle spacing. The validity of this approach suggests considering nonlinear flows and other systems with long-range interactions in the future.


title: M4LE: A Multi-Ability Multi-Range Multi-Task Multi-Domain Long-Context Evaluation Benchmark for Large Language Models

abstract: Managing long sequences has become an important and necessary feature for large language models (LLMs). However, it is still an open question of how to comprehensively and systematically evaluate the long-sequence capability of LLMs. One of the reasons is that conventional and widely-used benchmarks mainly consist of short sequences. In this paper, we propose M4LE, a Multi-ability, Multi-range, Multi-task, Multi-domain benchmark for Long-context Evaluation. M4LE is based on a diverse NLP task pool comprising 36 NLP datasets, 11 task types and 12 domains. To alleviate the scarcity of tasks with naturally long sequences and incorporate multiple-ability assessment, we propose an automatic approach (but with negligible human annotations) to convert short-sequence tasks into a unified long-sequence scenario where LLMs have to identify single or multiple relevant spans in long contexts based on explicit or semantic hints. Specifically, the scenario includes five different types of abilities: (1) explicit single-span; (2) semantic single-span; (3) explicit multiple-span; (4) semantic multiple-span; and (5) global context understanding. The resulting samples in M4LE are evenly distributed from 1k to 8k input length. We conducted a systematic evaluation on 11 well-established LLMs, especially those optimized for long-sequence inputs. Our results reveal that: 1) Current LLMs struggle to understand long context, particularly when tasks require multiple-span attention. 2) Semantic retrieval task is more difficult for competent LLMs. 3) Models fine-tuned on longer text with position interpolation have comparable performance to those using Neural Tangent Kernel (NTK) aware scaling methods without fine-tuning. We make our benchmark publicly available to encourage future research in this challenging area.


title: Temperature dependence and limiting mechanisms of the upper critical field of FeSe thin films

abstract: We use magnetoresistance measurements at high magnetic field (B \leq 65 T) and low temperature (T \geq 500 mK) to gain fresh insights into the behavior of the upper critical field, Hc2, in superconducting ultrathin FeSe films of varying degrees of disorder, grown by molecular beam epitaxy on SrTiO3. Measurements of Hc2 across samples with a widely varying superconducting critical temperature (1.2 K \leq Tc \leq 21 K) generically show similar qualitative temperature dependence. We analyze the temperature dependence of Hc2 in the context of Werthamer-Helfand-Hohenberg (WHH) theory. The analysis yields parameters that indicate a strong Pauli paramagnetic pair-breaking mechanism which is also reflected by pseudo-isotropic superconductivity in the limit of zero temperature. In the lower Tc samples, we observe a spin-orbit scattering driven enhancement of Hc2 above the strongly-coupled Pauli paramagnetic limit. We also observe clear deviations from WHH theory at low temperature, regardless of Tc. We attribute this to the multi-band superconductivity of FeSe and possibly to the emergence of a low temperature, high field superconducting phase.


title: Rainbow Stars and Rota's Basis Conjecture for Graphic Matroids

abstract: Let $G$ be a connected multigraph with $n$ vertices, and suppose $G$ has been edge-colored with $n-1$ colors so that each color class induces a spanning tree. Rota's Basis Conjecture for graphic matroids posits that one can find $n-1$ mutually edge-disjoint rainbow spanning trees. In a recent paper, Maezawa and Yazawa have shown that the conjecture holds if one assumes that the color classes induce spanning stars. We delve further into the star case to explore some extreme subcases including: all stars with different centers, the same center, or one of two centers. In addition, we identify the cases in which a graph composed of monochromatic stars can be decomposed into rainbow stars. We also show that the statement is false if one replaces `stars' with `paths'.


title: Electromagnetic current operators for phenomenological relativistic models

abstract: Background: Phenomenological Poincar\'e invariant quantum mechanical models can provide an efficient description of the dynamics of strongly interacting particles that is consistent with spectral and scattering observables. These models are representation dependent and in order to apply them to reactions with electromagnetic probes it is necessary to have a consistent electromagnetic current operator. Purpose: The purpose of this work is to use local gauge invariance to construct consistent strong current operators. Method: Current operators are constructed from a model Hamiltonian by replacing momentum operators in the Weyl representation by gauge covariant derivatives. Results: The construction provides a systematic method to construct explicit expressions for current operators that are consistent with relativistic models of strong interaction dynamics.


title: High-Dimensional Statistics

abstract: These lecture notes were written for the course 18.657, High Dimensional Statistics at MIT. They build on a set of notes that was prepared at Princeton University in 2013-14 that was modified (and hopefully improved) over the years.


title: Efficient Shapley Performance Attribution for Least-Squares Regression

abstract: We consider the performance of a least-squares regression model, as judged by out-of-sample $R^2$. Shapley values give a fair attribution of the performance of a model to its input features, taking into account interdependencies between features. Evaluating the Shapley values exactly requires solving a number of regression problems that is exponential in the number of features, so a Monte Carlo-type approximation is typically used. We focus on the special case of least-squares regression models, where several tricks can be used to compute and evaluate regression models efficiently. These tricks give a substantial speed up, allowing many more Monte Carlo samples to be evaluated, achieving better accuracy. We refer to our method as least-squares Shapley performance attribution (LS-SPA), and describe our open-source implementation.


title: A spectral regularisation framework for latent variable models designed for single channel applications

abstract: Latent variable models (LVMs) are commonly used to capture the underlying dependencies, patterns, and hidden structure in observed data. Source duplication is a by-product of the data hankelisation pre-processing step common to single channel LVM applications, which hinders practical LVM utilisation. In this article, a Python package titled spectrally-regularised-LVMs is presented. The proposed package addresses the source duplication issue via the addition of a novel spectral regularisation term. This package provides a framework for spectral regularisation in single channel LVM applications, thereby making it easier to investigate and utilise LVMs with spectral regularisation. This is achieved via the use of symbolic or explicit representations of potential LVM objective functions which are incorporated into a framework that uses spectral regularisation during the LVM parameter estimation process. The objective of this package is to provide a consistent linear LVM optimisation framework which incorporates spectral regularisation and caters to single channel time-series applications.


title: Uncertainty-guided Boundary Learning for Imbalanced Social Event Detection

abstract: Real-world social events typically exhibit a severe class-imbalance distribution, which makes the trained detection model encounter a serious generalization challenge. Most studies solve this problem from the frequency perspective and emphasize the representation or classifier learning for tail classes. While in our observation, compared to the rarity of classes, the calibrated uncertainty estimated from well-trained evidential deep learning networks better reflects model performance. To this end, we propose a novel uncertainty-guided class imbalance learning framework - UCL$_{SED}$, and its variant - UCL-EC$_{SED}$, for imbalanced social event detection tasks. We aim to improve the overall model performance by enhancing model generalization to those uncertain classes. Considering performance degradation usually comes from misclassifying samples as their confusing neighboring classes, we focus on boundary learning in latent space and classifier learning with high-quality uncertainty estimation. First, we design a novel uncertainty-guided contrastive learning loss, namely UCL and its variant - UCL-EC, to manipulate distinguishable representation distribution for imbalanced data. During training, they force all classes, especially uncertain ones, to adaptively adjust a clear separable boundary in the feature space. Second, to obtain more robust and accurate class uncertainty, we combine the results of multi-view evidential classifiers via the Dempster-Shafer theory under the supervision of an additional calibration method. We conduct experiments on three severely imbalanced social event datasets including Events2012\_100, Events2018\_100, and CrisisLexT\_7. Our model significantly improves social event representation and classification tasks in almost all classes, especially those uncertain ones.


title: IMPRESS: Evaluating the Resilience of Imperceptible Perturbations Against Unauthorized Data Usage in Diffusion-Based Generative AI

abstract: Diffusion-based image generation models, such as Stable Diffusion or DALL-E 2, are able to learn from given images and generate high-quality samples following the guidance from prompts. For instance, they can be used to create artistic images that mimic the style of an artist based on his/her original artworks or to maliciously edit the original images for fake content. However, such ability also brings serious ethical issues without proper authorization from the owner of the original images. In response, several attempts have been made to protect the original images from such unauthorized data usage by adding imperceptible perturbations, which are designed to mislead the diffusion model and make it unable to properly generate new samples. In this work, we introduce a perturbation purification platform, named IMPRESS, to evaluate the effectiveness of imperceptible perturbations as a protective measure. IMPRESS is based on the key observation that imperceptible perturbations could lead to a perceptible inconsistency between the original image and the diffusion-reconstructed image, which can be used to devise a new optimization strategy for purifying the image, which may weaken the protection of the original image from unauthorized data usage (e.g., style mimicking, malicious editing). The proposed IMPRESS platform offers a comprehensive evaluation of several contemporary protection methods, and can be used as an evaluation platform for future protection methods.


title: Motions of a homopolar motor inside a conducting tube

abstract: We analyze the physics of a type of homopolar motor comprising an AA battery with two cylindrical neodymium magnets on each end that roll inside a metal cylindrical tube. The motion of the motor results from the interaction between the magnetic field of the magnets and the magnetic field created by the current inside the magnets. We develop a model to describe the dynamics of the system, including the calculation of the terminal velocity of the motor due to eddy currents.


title: Assessment of Differentially Private Synthetic Data for Utility and Fairness in End-to-End Machine Learning Pipelines for Tabular Data

abstract: Differentially private (DP) synthetic data sets are a solution for sharing data while preserving the privacy of individual data providers. Understanding the effects of utilizing DP synthetic data in end-to-end machine learning pipelines impacts areas such as health care and humanitarian action, where data is scarce and regulated by restrictive privacy laws. In this work, we investigate the extent to which synthetic data can replace real, tabular data in machine learning pipelines and identify the most effective synthetic data generation techniques for training and evaluating machine learning models. We investigate the impacts of differentially private synthetic data on downstream classification tasks from the point of view of utility as well as fairness. Our analysis is comprehensive and includes representatives of the two main types of synthetic data generation algorithms: marginal-based and GAN-based. To the best of our knowledge, our work is the first that: (i) proposes a training and evaluation framework that does not assume that real data is available for testing the utility and fairness of machine learning models trained on synthetic data; (ii) presents the most extensive analysis of synthetic data set generation algorithms in terms of utility and fairness when used for training machine learning models; and (iii) encompasses several different definitions of fairness. Our findings demonstrate that marginal-based synthetic data generators surpass GAN-based ones regarding model training utility for tabular data. Indeed, we show that models trained using data generated by marginal-based algorithms can exhibit similar utility to models trained using real data. Our analysis also reveals that the marginal-based synthetic data generator MWEM PGM can train models that simultaneously achieve utility and fairness characteristics close to those obtained by models trained with real data.


title: Pre-trained Recommender Systems: A Causal Debiasing Perspective

abstract: Recent studies on pre-trained vision/language models have demonstrated the practical benefit of a new, promising solution-building paradigm in AI where models can be pre-trained on broad data describing a generic task space and then adapted successfully to solve a wide range of downstream tasks, even when training data is severely limited (e.g., in zero- or few-shot learning scenarios). Inspired by such progress, we investigate in this paper the possibilities and challenges of adapting such a paradigm to the context of recommender systems, which is less investigated from the perspective of pre-trained model. In particular, we propose to develop a generic recommender that captures universal interaction patterns by training on generic user-item interaction data extracted from different domains, which can then be fast adapted to improve few-shot learning performance in unseen new domains (with limited data). However, unlike vision/language data which share strong conformity in the semantic space, universal patterns underlying recommendation data collected across different domains (e.g., different countries or different E-commerce platforms) are often occluded by both in-domain and cross-domain biases implicitly imposed by the cultural differences in their user and item bases, as well as their uses of different e-commerce platforms. As shown in our experiments, such heterogeneous biases in the data tend to hinder the effectiveness of the pre-trained model. To address this challenge, we further introduce and formalize a causal debiasing perspective, which is substantiated via a hierarchical Bayesian deep learning model, named PreRec. Our empirical studies on real-world data show that the proposed model could significantly improve the recommendation performance in zero- and few-shot learning settings under both cross-market and cross-platform scenarios.


title: Revisiting Evaluation Metrics for Semantic Segmentation: Optimization and Evaluation of Fine-grained Intersection over Union

abstract: Semantic segmentation datasets often exhibit two types of imbalance: \textit{class imbalance}, where some classes appear more frequently than others and \textit{size imbalance}, where some objects occupy more pixels than others. This causes traditional evaluation metrics to be biased towards \textit{majority classes} (e.g. overall pixel-wise accuracy) and \textit{large objects} (e.g. mean pixel-wise accuracy and per-dataset mean intersection over union). To address these shortcomings, we propose the use of fine-grained mIoUs along with corresponding worst-case metrics, thereby offering a more holistic evaluation of segmentation techniques. These fine-grained metrics offer less bias towards large objects, richer statistical information, and valuable insights into model and dataset auditing. Furthermore, we undertake an extensive benchmark study, where we train and evaluate 15 modern neural networks with the proposed metrics on 12 diverse natural and aerial segmentation datasets. Our benchmark study highlights the necessity of not basing evaluations on a single metric and confirms that fine-grained mIoUs reduce the bias towards large objects. Moreover, we identify the crucial role played by architecture designs and loss functions, which lead to best practices in optimizing fine-grained metrics. The code is available at \href{https://github.com/zifuwanggg/JDTLosses}{https://github.com/zifuwanggg/JDTLosses}.


title: Flow-based Distributionally Robust Optimization

abstract: We present a computationally efficient framework, called $\texttt{FlowDRO}$, for solving flow-based distributionally robust optimization (DRO) problems with Wasserstein uncertainty sets while aiming to find continuous worst-case distribution (also called the Least Favorable Distribution, LFD) and sample from it. The requirement for LFD to be continuous is so that the algorithm can be scalable to problems with larger sample sizes and achieve better generalization capability for the induced robust algorithms. To tackle the computationally challenging infinitely dimensional optimization problem, we leverage flow-based models and continuous-time invertible transport maps between the data distribution and the target distribution and develop a Wasserstein proximal gradient flow type algorithm. In theory, we establish the equivalence of the solution by optimal transport map to the original formulation, as well as the dual form of the problem through Wasserstein calculus and Brenier theorem. In practice, we parameterize the transport maps by a sequence of neural networks progressively trained in blocks by gradient descent. We demonstrate its usage in adversarial learning, distributionally robust hypothesis testing, and a new mechanism for data-driven distribution perturbation differential privacy, where the proposed method gives strong empirical performance on high-dimensional real data.


title: Hierarchical control for the semilinear parabolic equations with interior degeneracy

abstract: This paper concerns with the hierarchical control of the semilinear parabolic equations with interior degeneracy. By a Stackelberg-Nash strategy, we consider the linear and semilinear system with one leader and two followers. First, for any given leader, we analyze a Nash equilibrium corresponding to a bi-objective optimal control problem. The existence and uniqueness of the Nash equilibrium is proved, and its characterization is given. Then, we find a leader satisfying the null controllability problem. The key is to establish a new Carleman estimate for a coupled degenerate parabolic system with interior degeneracy.


title: Almost Sure Asymptotic Stability of Parabolic SPDEs with Small Multiplicative Noise

abstract: A better understanding of the instability margin will eventually optimize the operational range for safety-critical industries. In this paper, we investigate the almost-sure exponential asymptotic stability of the trivial solution of a parabolic semilinear stochastic partial differential equation (SPDE) driven by multiplicative noise near the deterministic Hopf bifurcation point. We show the existence and uniqueness of the invariant measure under appropriate assumptions, and approximate the exponential growth rate via asymptotic expansion, given that the strength of the noise is small. This approximate quantity can readily serve as a robust indicator of the change of almost-sure stability.


title: Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances

abstract: Deploying autonomous systems in safety critical settings necessitates methods to verify their safety properties. This is challenging because real-world systems may be subject to disturbances that affect their performance, but are unknown a priori. This work develops a safety-verification strategy wherein data is collected online and incorporated into a reachability analysis approach to check in real-time that the system avoids dangerous regions of the state space. Specifically, we employ an optimization-based moving horizon estimator (MHE) to characterize the disturbance affecting the system, which is incorporated into an online reachability calculation. Reachable sets are calculated using a computational graph analysis tool to predict the possible future states of the system and verify that they satisfy safety constraints. We include theoretical arguments proving our approach generates reachable sets that bound the future states of the system, as well as numerical results demonstrating how it can be used for safety verification. Finally, we present results from hardware experiments demonstrating our approach's ability to perform online reachability calculations for an unmanned surface vehicle subject to currents and actuator failures.


title: A High-Resolution Dataset for Instance Detection with Multi-View Instance Capture

abstract: Instance detection (InsDet) is a long-lasting problem in robotics and computer vision, aiming to detect object instances (predefined by some visual examples) in a cluttered scene. Despite its practical significance, its advancement is overshadowed by Object Detection, which aims to detect objects belonging to some predefined classes. One major reason is that current InsDet datasets are too small in scale by today's standards. For example, the popular InsDet dataset GMU (published in 2016) has only 23 instances, far less than COCO (80 classes), a well-known object detection dataset published in 2014. We are motivated to introduce a new InsDet dataset and protocol. First, we define a realistic setup for InsDet: training data consists of multi-view instance captures, along with diverse scene images allowing synthesizing training images by pasting instance images on them with free box annotations. Second, we release a real-world database, which contains multi-view capture of 100 object instances, and high-resolution (6k x 8k) testing images. Third, we extensively study baseline methods for InsDet on our dataset, analyze their performance and suggest future work. Somewhat surprisingly, using the off-the-shelf class-agnostic segmentation model (Segment Anything Model, SAM) and the self-supervised feature representation DINOv2 performs the best, achieving >10 AP better than end-to-end trained InsDet models that repurpose object detectors (e.g., FasterRCNN and RetinaNet).


title: Improving Online Source-free Domain Adaptation for Object Detection by Unsupervised Data Acquisition

abstract: Effective object detection in mobile robots is challenged by deployment in diverse and unfamiliar environments. Online Source-Free Domain Adaptation (O-SFDA) offers model adaptation using a stream of unlabeled data from a target domain in online manner. However, not all captured frames contain information that is beneficial for adaptation, particularly when there is a strong class imbalance. This paper introduces a novel approach to enhance O-SFDA for adaptive object detection in mobile robots via unsupervised data acquisition. Our methodology prioritizes the most informative unlabeled frames for inclusion in the online training process. Empirical evaluation on a real-world dataset reveals that our method outperforms existing state-of-the-art O-SFDA techniques, demonstrating the viability of unsupervised data acquisition for improving adaptive object detection in mobile robots.


title: Distance spectral conditions for $ID$-factor-critical and fractional $[a, b]$-factor of graphs

abstract: Let $G=(V(G), E(G))$ be a graph with vertex set $V(G)$ and edge set $E(G)$. A graph is $ID$-factor-critical if for every independent set $I$ of $G$ whose size has the same parity as $|V(G)|$, $G-I$ has a perfect matching. For two positive integers $a$ and $b$ with $a\leq b$, let $h$: $E(G)\rightarrow [0, 1]$ be a function on $E(G)$ satisfying $a\leq\sum _{e\in E_{G}(v_{i})}h(e)\leq b$ for any vertex $v_{i}\in V(G)$. Then the spanning subgraph with edge set $E_{h}$, denoted by $G[E_{h}]$, is called a fractional $[a, b]$-factor of $G$ with indicator function $h$, where $E_{h}=\{e\in E(G)\mid h(e)>0\}$ and $E_{G}(v_{i})=\{e\in E(G)\mid e$ is incident with $v_{i}$ in $G$\}. A graph is defined as a fractional $[a, b]$-deleted graph if for any $e\in E(G)$, $G-e$ contains a fractional $[a, b]$-factor. For any integer $k\geq 1$, a graph has a $k$-factor if it contains a $k$-regular spanning subgraph. In this paper, we firstly give a distance spectral radius condition of $G$ to guarantee that $G$ is $ID$-factor-critical. Furthermore, we provide sufficient conditions in terms of distance spectral radius and distance signless Laplacian spectral radius for a graph to contain a fractional $[a, b]$-factor, fractional $[a, b]$-deleted-factor and $k$-factor.


title: Inertial focusing dynamics of spherical particles in curved microfluidic ducts with a trapezoidal cross-section

abstract: Inertial focusing in curved microfluidic ducts exploits the interaction of drag force from the Dean flow with the inertial lift force to separate particles or cells laterally across the cross-section width according to their size. Experimental work has identified that using a trapezoidal cross-section, as opposed to a rectangular one, can enhance the sized based separation of particles/cells over a wide range of flow rates. Using our model, derived by carefully examining the way the Dean drag and inertial lift forces interact at low flow rates, we calculate the leading order approximation of these forces for a range of trapezoidal ducts, both vertically symmetric and non-symmetric, with increasing amount of skew towards the outside wall. We then conduct a systematic study to examine the bifurcations in the particle equilbira that occur with respect to a shape parameter characterising the trapezoidal cross-section. We reveal how the dynamics associated with particle migration are modified by the degree of skew in the cross-section shape, and show the existence of cusp bifurcations (with the bend radius as a second parameter). Additionally, our investigation suggests an optimal amount of skew for the trapezoidal cross-section for the purposes of maximising particle separation over a wide range of bend radii.


title: Diversify & Conquer: Outcome-directed Curriculum RL via Out-of-Distribution Disagreement

abstract: Reinforcement learning (RL) often faces the challenges of uninformed search problems where the agent should explore without access to the domain knowledge such as characteristics of the environment or external rewards. To tackle these challenges, this work proposes a new approach for curriculum RL called Diversify for Disagreement & Conquer (D2C). Unlike previous curriculum learning methods, D2C requires only a few examples of desired outcomes and works in any environment, regardless of its geometry or the distribution of the desired outcome examples. The proposed method performs diversification of the goal-conditional classifiers to identify similarities between visited and desired outcome states and ensures that the classifiers disagree on states from out-of-distribution, which enables quantifying the unexplored region and designing an arbitrary goal-conditioned intrinsic reward signal in a simple and intuitive way. The proposed method then employs bipartite matching to define a curriculum learning objective that produces a sequence of well-adjusted intermediate goals, which enable the agent to automatically explore and conquer the unexplored region. We present experimental results demonstrating that D2C outperforms prior curriculum RL methods in both quantitative and qualitative aspects, even with the arbitrarily distributed desired outcome examples.


title: Hartree-Fock Formulation of the QMC Model at Finite Temperature

abstract: We present, for the first time, a detailed theory of high density matter including the entire baryon octet at finite temperature, based on a fully relativistic mean field model with a consistent treatment of exchange (Fock) terms, using the quark-meson-coupling model (QMC). It has been already demonstrated that the QMC equation of state is applicable in thermodynamic scenarios in stationary and rotating isentropic proto-neutron stars, producing results in agreement with recent observation. It is also suitable for the simulation of the behavior following a binary neutron star merger [1]; https://compose.obspm.fr/eos/205. We develop a comprehensive demonstration of the impact of the Fock terms in the QMC energy density functional on properties of neutrinoless proto-neutron stars with cores containing the full hyperon octet with constant entropy, S/A=2kB. Given the interest in the properties of the proto-neutron star remaining after either a supernova explosion or the merger of two neutron stars, it is vital to develop modern equations of state at finite temperature. While much attention has been paid to relativistic mean-field calculations at finite temperature, it is crucial to explore the consequences of a consistent treatment of the Fock terms.


title: A Metadata-Driven Approach to Understand Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have achieved remarkable success in various applications, but their performance can be sensitive to specific data properties of the graph datasets they operate on. Current literature on understanding the limitations of GNNs has primarily employed a $\textit{model-driven}$ approach that leverage heuristics and domain knowledge from network science or graph theory to model the GNN behaviors, which is time-consuming and highly subjective. In this work, we propose a $\textit{metadata-driven}$ approach to analyze the sensitivity of GNNs to graph data properties, motivated by the increasing availability of graph learning benchmarks. We perform a multivariate sparse regression analysis on the metadata derived from benchmarking GNN performance across diverse datasets, yielding a set of salient data properties. To validate the effectiveness of our data-driven approach, we focus on one identified data property, the degree distribution, and investigate how this property influences GNN performance through theoretical analysis and controlled experiments. Our theoretical findings reveal that datasets with more balanced degree distribution exhibit better linear separability of node representations, thus leading to better GNN performance. We also conduct controlled experiments using synthetic datasets with varying degree distributions, and the results align well with our theoretical findings. Collectively, both the theoretical analysis and controlled experiments verify that the proposed metadata-driven approach is effective in identifying critical data properties for GNNs.


title: Sound of Story: Multi-modal Storytelling with Audio

abstract: Storytelling is multi-modal in the real world. When one tells a story, one may use all of the visualizations and sounds along with the story itself. However, prior studies on storytelling datasets and tasks have paid little attention to sound even though sound also conveys meaningful semantics of the story. Therefore, we propose to extend story understanding and telling areas by establishing a new component called "background sound" which is story context-based audio without any linguistic information. For this purpose, we introduce a new dataset, called "Sound of Story (SoS)", which has paired image and text sequences with corresponding sound or background music for a story. To the best of our knowledge, this is the largest well-curated dataset for storytelling with sound. Our SoS dataset consists of 27,354 stories with 19.6 images per story and 984 hours of speech-decoupled audio such as background music and other sounds. As benchmark tasks for storytelling with sound and the dataset, we propose retrieval tasks between modalities, and audio generation tasks from image-text sequences, introducing strong baselines for them. We believe the proposed dataset and tasks may shed light on the multi-modal understanding of storytelling in terms of sound. Downloading the dataset and baseline codes for each task will be released in the link: https://github.com/Sosdatasets/SoS_Dataset.


title: Magnetic activity variability of nearby bright Sun-like stars by 4-year intensive H$\alpha$ line monitoring

abstract: We report intensive monitoring of the activity variability in the H$\alpha$ line for 10 Sun-like stars using the 1.88-m reflector at Okayama Branch Office, Subaru Telescope, during the last four years 2019-2022. Our aim was to investigate features of the stellar magnetic activity behaviors. We correlated the H$\alpha$ line variability of each star with the stellar activity levels derived from the Ca II H&K line, suggesting its efficiency as a magnetic activity indicator. In analyzing the H$\alpha$ line variation, we observed that some stars exhibited linear or quadratic trends during the observation period. Among several G- and K-type stars expected to have co-existing activity cycles, we confirmed the 2.9-yr short cycle of $\epsilon$ Eri (K2V) from the H$\alpha$ observations. Additionally, we established upper limits on the H$\alpha$ variability of $\beta$ Com (G0V) and $\kappa$$^1$ Cet (G5V) concerning their expected shorter cycles. We also detected the possibility of short-term activity cycles in two F-type stars, $\beta$ Vir (F9V; $\sim$ 530 days) and $\alpha$ CMi (F5IV-V; $\sim$ 130 days). The cycle in $\alpha$ CMi was observed in only one season of our 4-yr observations, suggesting the temporal absence of the cycle period. However, for stars with planets, we did not observe significant magnetic activity variability likely associated with the planetary orbital period. It is speculated that the impact of H$\alpha$ variability on radial velocity (RV) measurements may vary with spectral type.


title: Anomalous boundary correspondence of topological phases

abstract: Topological phases protected by crystalline symmetries and internal symmetries are shown to enjoy fascinating one-to-one correspondence in classification. Here we investigate the physics content behind the abstract correspondence in three or higher-dimensional systems. We show correspondence between anomalous boundary states, which provides a new way to explore the quantum anomaly of symmetry from its crystalline equivalent counterpart. We show such correspondence directly in two scenarios, including the anomalous symmetry-enriched topological orders (SET) and critical surface states. (1) First of all, for the surface SET correspondence, we demonstrate it by considering examples involving time-reversal symmetry and mirror symmetry. We show that one 2D topological order can carry the time reversal anomaly as long as it can carry the mirror anomaly and vice versa, by directly establishing the mapping of the time reversal anomaly indicators and mirror anomaly indicators. Besides, we also consider other cases involving continuous symmetry, which leads us to introduce some new anomaly indicators for symmetry from its counterpart. (2) Furthermore, we also build up direct correspondence for (near) critical boundaries. Again taking topological phases protected by time reversal and mirror symmetry as examples, the direct correspondence of their (near) critical boundaries can be built up by coupled chain construction that was first proposed by Senthil and Fisher. The examples of critical boundary correspondence we consider in this paper can be understood in a unified framework that is related to \textit{hierarchy structure} of topological $O(n)$ nonlinear sigma model, that generalizes the Haldane's derivation of $O(3)$ sigma model from spin one-half system.


title: Overview of the CLAIMSCAN-2023: Uncovering Truth in Social Media through Claim Detection and Identification of Claim Spans

abstract: A significant increase in content creation and information exchange has been made possible by the quick development of online social media platforms, which has been very advantageous. However, these platforms have also become a haven for those who disseminate false information, propaganda, and fake news. Claims are essential in forming our perceptions of the world, but sadly, they are frequently used to trick people by those who spread false information. To address this problem, social media giants employ content moderators to filter out fake news from the actual world. However, the sheer volume of information makes it difficult to identify fake news effectively. Therefore, it has become crucial to automatically identify social media posts that make such claims, check their veracity, and differentiate between credible and false claims. In response, we presented CLAIMSCAN in the 2023 Forum for Information Retrieval Evaluation (FIRE'2023). The primary objectives centered on two crucial tasks: Task A, determining whether a social media post constitutes a claim, and Task B, precisely identifying the words or phrases within the post that form the claim. Task A received 40 registrations, demonstrating a strong interest and engagement in this timely challenge. Meanwhile, Task B attracted participation from 28 teams, highlighting its significance in the digital era of misinformation.


title: Moral Sparks in Social Media Narratives

abstract: There is increasing interest in building computational models of moral reasoning by people to enable effective interaction by Artificial Intelligence (AI) agents. We examine interactions on social media to understand human moral judgments in real-life ethical scenarios. Specifically, we examine posts from a popular Reddit subreddit (i.e., a subcommunity) called r/AmITheAsshole, where authors and commenters share their moral judgments on who (i.e., which participant of the described scenario) is blameworthy. To investigate the underlying reasoning influencing moral judgments, we focus on excerpts-which we term moral sparks-from original posts that some commenters include to indicate what motivates their judgments. To this end, we examine how (1) events activating social commonsense and (2) linguistic signals affect the identified moral sparks and their subsequent judgments. By examining over 24672 posts and 175988 comments, we find that event-related negative character traits (e.g., immature and rude) attract attention and stimulate blame, implying a dependent relationship between character traits and moral values. Specifically, we focus on causal graphs involving events (c-events) that activate social commonsense. We observe that c-events are perceived with varying levels of informativeness, influencing moral spark and judgment assignment in distinct ways. This observation is reinforced by examining linguistic features describing semantically similar c-events. Moreover, language influencing commenters' cognitive processes enhances the probability of an excerpt becoming a moral spark, while factual and concrete descriptions tend to inhibit this effect.


title: Stress and Geometry for Isotropic Singularities

abstract: We develop the mathematics needed to treat the interaction of geometry and stress at any isotropic spacetime singularity. This enables us to handle the Einstein equations at the initial singularity and characterize allowed general relativistic stress-energy tensors. Their leading behaviors are dictated by an initial hypersurface conformal embedding. We also show that an isotropic Big Bang determines a canonical non-singular metric on and about the initial hypersurface as well as a cosmological time. This assigns a volume and energy to the initial point singularity.


title: Invariant kernels on Riemannian symmetric spaces: a harmonic-analytic approach

abstract: This work aims to prove that the classical Gaussian kernel, when defined on a non-Euclidean symmetric space, is never positive-definite for any choice of parameter. To achieve this goal, the paper develops new geometric and analytical arguments. These provide a rigorous characterization of the positive-definiteness of the Gaussian kernel, which is complete but for a limited number of scenarios in low dimensions that are treated by numerical computations. Chief among these results are the L$^{\!\scriptscriptstyle p}$-$\hspace{0.02cm}$Godement theorems (where $p = 1,2$), which provide verifiable necessary and sufficient conditions for a kernel defined on a symmetric space of non-compact type to be positive-definite. A celebrated theorem, sometimes called the Bochner-Godement theorem, already gives such conditions and is far more general in its scope, but is especially hard to apply. Beyond the connection with the Gaussian kernel, the new results in this work lay out a blueprint for the study of invariant kernels on symmetric spaces, bringing forth specific harmonic analysis tools that suggest many future applications.


title: Learning to love diligent trolls: Accounting for rater effects in the dialogue safety task

abstract: Chatbots have the risk of generating offensive utterances, which must be avoided. Post-deployment, one way for a chatbot to continuously improve is to source utterance/label pairs from feedback by live users. However, among users are trolls, who provide training examples with incorrect labels. To de-troll training data, previous work removed training examples that have high user-aggregated cross-validation (CV) error. However, CV is expensive; and in a coordinated attack, CV may be overwhelmed by trolls in number and in consistency among themselves. In the present work, I address both limitations by proposing a solution inspired by methodology in automated essay scoring (AES): have multiple users rate each utterance, then perform latent class analysis (LCA) to infer correct labels. As it does not require GPU computations, LCA is inexpensive. In experiments, I found that the AES-like solution can infer training labels with high accuracy when trolls are consistent, even when trolls are the majority.


title: NPCL: Neural Processes for Uncertainty-Aware Continual Learning

abstract: Continual learning (CL) aims to train deep neural networks efficiently on streaming data while limiting the forgetting caused by new tasks. However, learning transferable knowledge with less interference between tasks is difficult, and real-world deployment of CL models is limited by their inability to measure predictive uncertainties. To address these issues, we propose handling CL tasks with neural processes (NPs), a class of meta-learners that encode different tasks into probabilistic distributions over functions all while providing reliable uncertainty estimates. Specifically, we propose an NP-based CL approach (NPCL) with task-specific modules arranged in a hierarchical latent variable model. We tailor regularizers on the learned latent distributions to alleviate forgetting. The uncertainty estimation capabilities of the NPCL can also be used to handle the task head/module inference challenge in CL. Our experiments show that the NPCL outperforms previous CL approaches. We validate the effectiveness of uncertainty estimation in the NPCL for identifying novel data and evaluating instance-level model confidence. Code is available at \url{https://github.com/srvCodes/NPCL}.


title: The Memory Perturbation Equation: Understanding Model's Sensitivity to Data

abstract: Understanding model's sensitivity to its training data is crucial but can also be challenging and costly, especially during training. To simplify such issues, we present the Memory-Perturbation Equation (MPE) which relates model's sensitivity to perturbation in its training data. Derived using Bayesian principles, the MPE unifies existing sensitivity measures, generalizes them to a wide-variety of models and algorithms, and unravels useful properties regarding sensitivities. Our empirical results show that sensitivity estimates obtained during training can be used to faithfully predict generalization on unseen test data. The proposed equation is expected to be useful for future research on robust and adaptive learning.


title: Prediction of Effective Elastic Moduli of Rocks using Graph Neural Networks

abstract: This study presents a Graph Neural Networks (GNNs)-based approach for predicting the effective elastic moduli of rocks from their digital CT-scan images. We use the Mapper algorithm to transform 3D digital rock images into graph datasets, encapsulating essential geometrical information. These graphs, after training, prove effective in predicting elastic moduli. Our GNN model shows robust predictive capabilities across various graph sizes derived from various subcube dimensions. Not only does it perform well on the test dataset, but it also maintains high prediction accuracy for unseen rocks and unexplored subcube sizes. Comparative analysis with Convolutional Neural Networks (CNNs) reveals the superior performance of GNNs in predicting unseen rock properties. Moreover, the graph representation of microstructures significantly reduces GPU memory requirements (compared to the grid representation for CNNs), enabling greater flexibility in the batch size selection. This work demonstrates the potential of GNN models in enhancing the prediction accuracy of rock properties and boosting the efficiency of digital rock analysis.


title: Eliciting Topic Hierarchies from Large Language Models

abstract: Current research has explored how Generative AI can support the brainstorming process for content creators, but a gap remains in exploring support-tools for the pre-writing process. Specifically, our research is focused on supporting users in finding topics at the right level of specificity for their audience. This process is called topic scoping. Topic scoping is a cognitively demanding task, requiring users to actively recall subtopics in a given domain. This manual approach also reduces the diversity of subtopics that a user is able to explore. We propose using Large Language Models (LLMs) to support the process of topic scoping by iteratively generating subtopics at increasing levels of specificity: dynamically creating topic hierarchies. We tested three different prompting strategies and found that increasing the amount of context included in the prompt improves subtopic generation by 20 percentage points. Finally, we discuss applications of this research in education, content creation, and product management.


title: Machine Learning Regularization for the Minimum Volume Formula of Toric Calabi-Yau 3-folds

abstract: We present a collection of explicit formulas for the minimum volume of Sasaki-Einstein 5-manifolds. The cone over these 5-manifolds is a toric Calabi-Yau 3-fold. These toric Calabi-Yau 3-folds are associated with an infinite class of 4d N=1 supersymmetric gauge theories, which are realized as worldvolume theories of D3-branes probing the toric Calabi-Yau 3-folds. Under the AdS/CFT correspondence, the minimum volume of the Sasaki-Einstein base is inversely proportional to the central charge of the corresponding 4d N=1 superconformal field theories. The presented formulas for the minimum volume are in terms of geometric invariants of the toric Calabi-Yau 3-folds. These explicit results are derived by implementing machine learning regularization techniques that advance beyond previous applications of machine learning for determining the minimum volume. Moreover, the use of machine learning regularization allows us to present interpretable and explainable formulas for the minimum volume. Our work confirms that, even for extensive sets of toric Calabi-Yau 3-folds, the proposed formulas approximate the minimum volume with remarkable accuracy.


title: Clustering based Multiple Anchors High-Dimensional Model Representation

abstract: In this work, a cut high-dimensional model representation (cut-HDMR) expansion based on multiple anchors is constructed via the clustering method. Specifically, a set of random input realizations is drawn from the parameter space and grouped by the centroidal Voronoi tessellation (CVT) method. Then for each cluster, the centroid is set as the reference, thereby the corresponding zeroth-order term can be determined directly. While for non-zero order terms of each cut-HDMR, a set of discrete points is selected for each input component, and the Lagrange interpolation method is applied. For a new input, the cut-HDMR corresponding to the nearest centroid is used to compute its response. Numerical experiments with high-dimensional integral and elliptic stochastic partial differential equation as backgrounds show that the CVT based multiple anchors cut-HDMR can alleviate the negative impact of a single inappropriate anchor point, and has higher accuracy than the average of several expansions.


title: he Cauchy problem for the Novikov equation under a nonzero background: Painlev\'e asymptotics in a transition zone

abstract: In this paper, we investigate the Painlev\'e asymptotics in a transition zone for the solutions to the Cauchy problem of the Novikov equation under a nonzero background \begin{align} &u_{t}-u_{txx}+4 u_{x}=3uu_xu_{xx}+u^2u_{xxx}, \nonumber &u(x, 0)=u_{0}(x),\nonumber \end{align} where $u_0(x)\rightarrow \kappa>0, \ x\rightarrow \pm \infty$ and $u_0(x)-\kappa$ is assumed in the Schwarz space. This result is established by performing the $\overline\partial$-steepest descent analysis to a Riemann-Hilbert problem associated with the the Cauchy problem in a new spatial scale \begin{equation*} y = x - \int_{x}^{\infty} \left((u-u_{xx}+1)^{2/3}-1\right)ds, \end{equation*} for large times in the transition zone $y/t \approx -1/8 $. It is shown that the leading order term of the asymptotic approximation comes from the contribution of solitons, while the sub-leading term is related to the solution of the Painlev\'e \uppercase\expandafter{\romannumeral2} equation.n.


title: Collective neural network behavior in a dynamically driven disordered system of superconducting loops

abstract: Collective properties of complex systems composed of many interacting components such as neurons in our brain can be modeled by artificial networks based on disordered systems. We show that a disordered neural network of superconducting loops with Josephson junctions can exhibit computational properties like categorization and associative memory in the time evolution of its state in response to information from external excitations. Superconducting loops can trap multiples of fluxons in many discrete memory configurations defined by the local free energy minima in the configuration space of all possible states. A memory state can be updated by exciting the Josephson junctions to allow the movement of fluxons through the network as the current through them surpasses their critical current thresholds. Simulations performed with a lumped element circuit model of a 4-loop network show that information written through excitations is translated into stable states of trapped flux and their time evolution. Experimental implementation on a high-Tc superconductor YBCO-based 4-loop network shows dynamically stable flux flow in each pathway characterized by the correlations between junction firing statistics. Neural network behavior is observed as energy barriers separating state categories in simulations in response to multiple excitations, and experimentally as junction responses characterizing different flux flow patterns in the network. The state categories that produce these patterns have different temporal stabilities relative to each other and the excitations. This provides strong evidence for time-dependent (short-to-long-term) memories, that are dependent on the geometrical and junction parameters of the loops, as described with a network model.


title: An aspherical distribution for the explosive burning ash of core-collapse supernovae

abstract: It is widely believed that asphericity in the explosion is the crucial ingredient leading to successful core-collapse (CC) supernovae. However, direct observational evidence for the explosion geometry and for the connection with the progenitor properties are still missing. Based on the thus-far largest late-phase spectroscopic sample of stripped-envelope CC supernovae, we demonstrate that about half of the explosions exhibit a substantial deviation from sphericity. For these aspherical CC supernovae, the spatial distributions of the oxygen-burning ash and the unburnt oxygen, as traced by the profiles of [Ca II] {\lambda}{\lambda}7291,7323 and [O i] {\lambda}{\lambda}6300,6363 emissions, respectively, appear to be anticorrelated, which can be explained if the explosion is bipolar and the oxygen-rich material burnt into two detached iron-rich bubbles. Our combined analysis of the explosion geometry and the progenitor mass further suggests that the degree of asphericity grows with the mass of the carbon-oxygen core, which may be used to guide state-of-the-art simulations of CC supernova explosions.


title: Distinguishing Ion Dynamics from Muon diffusion in Muon Spin Relaxation

abstract: We propose a model to describe the fluctuations in the internal magnetic field due to ion dynamics observed in the muon spin relaxation ($\mu$SR) by an Edwards-Anderson type autocorrelation function that separates the quasi-static and dynamic components of the correlation by a parameter $Q$ (where $0\le Q\le1$). Our Monte Carlo simulations for this model showed that the time evolution of muon spin polarization deviates significantly from the Kubo-Toyabe (KT) function. To further validate the model, the results of simulations were compared with the $\mu$SR spectra observed in a hybrid organic-inorganic perovskite FAPbI$_3$ [with FA referring to HC(NH$_2)_2$], where local field fluctuations associated with the rotational motion of FA molecules and quasi-static fields from the PbI$_3$ lattice are presumed to coexist. The least-squares curve fitting showed reasonable agreement with the model with $Q=0.947(3)$, and the fluctuation frequency of the dynamical component was obtained. This result opens the door to the possibility of experimentally distinguishing fluctuations due to dynamics of ions around muons from those due to self-diffusion of muons. Meanwhile, it suggests the need to carefully consider the spin relaxation function when applying $\mu$SR to the issue of ion dynamics.