title: Computing a Stable Distance on Merge Trees

abstract: Distances on merge trees facilitate visual comparison of collections of scalar fields. Two desirable properties for these distances to exhibit are 1) the ability to discern between scalar fields which other, less complex topological summaries cannot and 2) to still be robust to perturbations in the dataset. The combination of these two properties, known respectively as stability and discriminativity, has led to theoretical distances which are either thought to be or shown to be computationally complex and thus their implementations have been scarce. In order to design similarity measures on merge trees which are computationally feasible for more complex merge trees, many researchers have elected to loosen the restrictions on at least one of these two properties. The question still remains, however, if there are practical situations where trading these desirable properties is necessary. Here we construct a distance between merge trees which is designed to retain both discriminativity and stability. While our approach can be expensive for large merge trees, we illustrate its use in a setting where the number of nodes is small. This setting can be made more practical since we also provide a proof that persistence simplification increases the outputted distance by at most half of the simplified value. We demonstrate our distance measure on applications in shape comparison and on detection of periodicity in the von K\'arm\'an vortex street.


title: An efficient deep neural network to find small objects in large 3D images

abstract: 3D imaging enables accurate diagnosis by providing spatial information about organ anatomy. However, using 3D images to train AI models is computationally challenging because they consist of 10x or 100x more pixels than their 2D counterparts. To be trained with high-resolution 3D images, convolutional neural networks resort to downsampling them or projecting them to 2D. We propose an effective alternative, a neural network that enables efficient classification of full-resolution 3D medical images. Compared to off-the-shelf convolutional neural networks, our network, 3D Globally-Aware Multiple Instance Classifier (3D-GMIC), uses 77.98%-90.05% less GPU memory and 91.23%-96.02% less computation. While it is trained only with image-level labels, without segmentation labels, it explains its predictions by providing pixel-level saliency maps. On a dataset collected at NYU Langone Health, including 85,526 patients with full-field 2D mammography (FFDM), synthetic 2D mammography, and 3D mammography, 3D-GMIC achieves an AUC of 0.831 (95% CI: 0.769-0.887) in classifying breasts with malignant findings using 3D mammography. This is comparable to the performance of GMIC on FFDM (0.816, 95% CI: 0.737-0.878) and synthetic 2D (0.826, 95% CI: 0.754-0.884), which demonstrates that 3D-GMIC successfully classified large 3D images despite focusing computation on a smaller percentage of its input compared to GMIC. Therefore, 3D-GMIC identifies and utilizes extremely small regions of interest from 3D images consisting of hundreds of millions of pixels, dramatically reducing associated computational challenges. 3D-GMIC generalizes well to BCS-DBT, an external dataset from Duke University Hospital, achieving an AUC of 0.848 (95% CI: 0.798-0.896).


title: EventGraph: Event Extraction as Semantic Graph Parsing

abstract: Event extraction involves the detection and extraction of both the event triggers and corresponding event arguments. Existing systems often decompose event extraction into multiple subtasks, without considering their possible interactions. In this paper, we propose EventGraph, a joint framework for event extraction, which encodes events as graphs. We represent event triggers and arguments as nodes in a semantic graph. Event extraction therefore becomes a graph parsing problem, which provides the following advantages: 1) performing event detection and argument extraction jointly; 2) detecting and extracting multiple events from a piece of text; and 3) capturing the complicated interaction between event arguments and triggers. Experimental results on ACE2005 show that our model is competitive to state-of-the-art systems and has substantially improved the results on argument extraction. Additionally, we create two new datasets from ACE2005 where we keep the entire text spans for event arguments, instead of just the head word(s). Our code and models are released as open-source.


title: D2SLAM: Semantic visual SLAM based on the Depth-related influence on object interactions for Dynamic environments

abstract: Considering the scene's dynamics is the most effective solution to obtain an accurate perception of unknown environments for real vSLAM applications. Most existing methods attempt to address the non-rigid scene assumption by combining geometric and semantic approaches to determine dynamic elements that lack generalization and scene awareness. We propose a novel approach that overcomes these limitations by using scene-depth information to improve the accuracy of the localization from geometric and semantic modules. In addition, we use depth information to determine an area of influence of dynamic objects through an Object Interaction Module that estimates the state of both non-matched and non-segmented key points. The obtained results on TUM-RGBD dataset clearly demonstrate that the proposed method outperforms the state-of-the-art.


title: AttTrack: Online Deep Attention Transfer for Multi-object Tracking

abstract: Multi-object tracking (MOT) is a vital component of intelligent video analytics applications such as surveillance and autonomous driving. The time and storage complexity required to execute deep learning models for visual object tracking hinder their adoption on embedded devices with limited computing power. In this paper, we aim to accelerate MOT by transferring the knowledge from high-level features of a complex network (teacher) to a lightweight network (student) at both training and inference times. The proposed AttTrack framework has three key components: 1) cross-model feature learning to align intermediate representations from the teacher and student models, 2) interleaving the execution of the two models at inference time, and 3) incorporating the updated predictions from the teacher model as prior knowledge to assist the student model. Experiments on pedestrian tracking tasks are conducted on the MOT17 and MOT15 datasets using two different object detection backbones YOLOv5 and DLA34 show that AttTrack can significantly improve student model tracking performance while sacrificing only minor degradation of tracking speed.


title: Loss Minimization through the Lens of Outcome Indistinguishability

abstract: We present a new perspective on loss minimization and the recent notion of Omniprediction through the lens of Outcome Indistingusihability. For a collection of losses and hypothesis class, omniprediction requires that a predictor provide a loss-minimization guarantee simultaneously for every loss in the collection compared to the best (loss-specific) hypothesis in the class. We present a generic template to learn predictors satisfying a guarantee we call Loss Outcome Indistinguishability. For a set of statistical tests--based on a collection of losses and hypothesis class--a predictor is Loss OI if it is indistinguishable (according to the tests) from Nature's true probabilities over outcomes. By design, Loss OI implies omniprediction in a direct and intuitive manner. We simplify Loss OI further, decomposing it into a calibration condition plus multiaccuracy for a class of functions derived from the loss and hypothesis classes. By careful analysis of this class, we give efficient constructions of omnipredictors for interesting classes of loss functions, including non-convex losses. This decomposition highlights the utility of a new multi-group fairness notion that we call calibrated multiaccuracy, which lies in between multiaccuracy and multicalibration. We show that calibrated multiaccuracy implies Loss OI for the important set of convex losses arising from Generalized Linear Models, without requiring full multicalibration. For such losses, we show an equivalence between our computational notion of Loss OI and a geometric notion of indistinguishability, formulated as Pythagorean theorems in the associated Bregman divergence. We give an efficient algorithm for calibrated multiaccuracy with computational complexity comparable to that of multiaccuracy. In all, calibrated multiaccuracy offers an interesting tradeoff point between efficiency and generality in the omniprediction landscape.


title: Accelerating Transfer Learning with Near-Data Computation on Cloud Object Stores

abstract: Near-data computation techniques have been successfully deployed to mitigate the cloud network bottleneck between the storage and compute tiers. At Huawei, we are currently looking to get more value from these techniques by broadening their applicability. Machine learning (ML) applications are an appealing and timely target. This paper describes our experience applying near-data computation techniques to transfer learning (TL), a widely popular ML technique, in the context of disaggregated cloud object stores. Our techniques benefit both cloud providers and users. They improve our operational efficiency while providing users the performance improvements they demand from us. The main practical challenge to consider is that the storage-side computational resources are limited. Our approach is to split the TL deep neural network (DNN) during the feature extraction phase, before the training phase. This reduces the network transfers to the compute tier and further decouples the batch size of feature extraction from the training batch size. This facilitates our second technique, storage-side batch adaptation, which enables increased concurrency in the storage tier while avoiding out-of-memory errors. Guided by these insights, we present HAPI, our processing system for TL that spans the compute and storage tiers while remaining transparent to the user. Our evaluation with several state-of-the-art DNNs, such as ResNet, VGG, and Transformer, shows up to 11x improvement in application runtime and up to 8.3x reduction in the data transferred from the storage to the compute tier compared to running the computation entirely in the compute tier.


title: Generalized echelon subgroups

abstract: We study inert and compressed subgroups of free groups and provide a generalization of echelon subgroups.


title: Adaptive Contrastive Learning with Dynamic Correlation for Multi-Phase Organ Segmentation

abstract: Recent studies have demonstrated the superior performance of introducing ``scan-wise" contrast labels into contrastive learning for multi-organ segmentation on multi-phase computed tomography (CT). However, such scan-wise labels are limited: (1) a coarse classification, which could not capture the fine-grained ``organ-wise" contrast variations across all organs; (2) the label (i.e., contrast phase) is typically manually provided, which is error-prone and may introduce manual biases of defining phases. In this paper, we propose a novel data-driven contrastive loss function that adapts the similar/dissimilar contrast relationship between samples in each minibatch at organ-level. Specifically, as variable levels of contrast exist between organs, we hypothesis that the contrast differences in the organ-level can bring additional context for defining representations in the latent space. An organ-wise contrast correlation matrix is computed with mean organ intensities under one-hot attention maps. The goal of adapting the organ-driven correlation matrix is to model variable levels of feature separability at different phases. We evaluate our proposed approach on multi-organ segmentation with both non-contrast CT (NCCT) datasets and the MICCAI 2015 BTCV Challenge contrast-enhance CT (CECT) datasets. Compared to the state-of-the-art approaches, our proposed contrastive loss yields a substantial and significant improvement of 1.41% (from 0.923 to 0.936, p-value$<$0.01) and 2.02% (from 0.891 to 0.910, p-value$<$0.01) on mean Dice scores across all organs with respect to NCCT and CECT cohorts. We further assess the trained model performance with the MICCAI 2021 FLARE Challenge CECT datasets and achieve a substantial improvement of mean Dice score from 0.927 to 0.934 (p-value$<$0.01). The code is available at: https://github.com/MASILab/DCC_CL


title: A note on positive association

abstract: We show that if ${\mathcal A},{\mathcal B},{\mathcal C}$ are increasing subsets of $\Omega:=\{0,1\}^n$ with ${\mathcal A}\neq\emptyset$, then with respect to any product probability measure on $\Omega$, \[ \mbox{if each of the pairs $\{{\mathcal A}\cap{\mathcal B},{\mathcal C}\}$, $\{{\mathcal A}\cap {\mathcal C},{\mathcal A}\}$ is independent, then ${\mathcal B}$ and ${\mathcal C}$ are independent.} \] This implies an answer to a motivating question of J. Steif, and is related to a basic, still open variant of that question, and to a well-known conjecture of S. Sahi.


title: Learning to Sample and Aggregate: Few-shot Reasoning over Temporal Knowledge Graphs

abstract: In this paper, we investigate a realistic but underexplored problem, called few-shot temporal knowledge graph reasoning, that aims to predict future facts for newly emerging entities based on extremely limited observations in evolving graphs. It offers practical value in applications that need to derive instant new knowledge about new entities in temporal knowledge graphs (TKGs) with minimal supervision. The challenges mainly come from the few-shot and time shift properties of new entities. First, the limited observations associated with them are insufficient for training a model from scratch. Second, the potentially dynamic distributions from the initially observable facts to the future facts ask for explicitly modeling the evolving characteristics of new entities. We correspondingly propose a novel Meta Temporal Knowledge Graph Reasoning (MetaTKGR) framework. Unlike prior work that relies on rigid neighborhood aggregation schemes to enhance low-data entity representation, MetaTKGR dynamically adjusts the strategies of sampling and aggregating neighbors from recent facts for new entities, through temporally supervised signals on future facts as instant feedback. Besides, such a meta temporal reasoning procedure goes beyond existing meta-learning paradigms on static knowledge graphs that fail to handle temporal adaptation with large entity variance. We further provide a theoretical analysis and propose a temporal adaptation regularizer to stabilize the meta temporal reasoning over time. Empirically, extensive experiments on three real-world TKGs demonstrate the superiority of MetaTKGR over state-of-the-art baselines by a large margin.


title: Evaluation of the Synthetic Electronic Health Records

abstract: Generative models have been found effective for data synthesis due to their ability to capture complex underlying data distributions. The quality of generated data from these models is commonly evaluated by visual inspection for image datasets or downstream analytical tasks for tabular datasets. These evaluation methods neither measure the implicit data distribution nor consider the data privacy issues, and it remains an open question of how to compare and rank different generative models. Medical data can be sensitive, so it is of great importance to draw privacy concerns of patients while maintaining the data utility of the synthetic dataset. Beyond the utility evaluation, this work outlines two metrics called Similarity and Uniqueness for sample-wise assessment of synthetic datasets. We demonstrate the proposed notions with several state-of-the-art generative models to synthesise Cystic Fibrosis (CF) patients' electronic health records (EHRs), observing that the proposed metrics are suitable for synthetic data evaluation and generative model comparison.


title: Multi-Neutrino Entanglement and Correlations in Dense Neutrino Systems

abstract: The time-evolution of multi-neutrino entanglement and correlations are studied in two-flavor collective neutrino oscillations, relevant for dense neutrino environments, building upon previous works. Specifically, simulations performed of systems with up to 12 neutrinos using Quantinuum's H1-1 20 qubit trapped-ion quantum computer are used to compute n-tangles, and two- and three-body correlations, probing beyond mean-field descriptions. n-tangle re-scalings are found to converge for large system sizes, signaling the presence of genuine multi-neutrino entanglement.


title: Enumerating moves in the optimal solution of the Tower of Hanoi

abstract: In the Tower of Hanoi problem, there is six types of moves between the three pegs. The main purpose of the present paper is to find out the number of each of these six elementary moves in the optimal sequence of moves. We present a recursive function based on indicator functions, which counts the number of each elementary move, we investigate some of its properties including combinatorial identities, recursive formulas and generating functions. Also we found and interesting sequence that is strongly related to counting each type of these elementary moves that we'll establish some if its properties as well.


title: First Look at z > 1 Bars in the Rest-Frame Near-Infrared with JWST Early CEERS Imaging

abstract: Stellar bars are key drivers of secular evolution in galaxies and can be effectively studied using rest-frame near-infrared (NIR) images, which trace the underlying stellar mass and are less impacted by dust and star formation than rest-frame UV or optical images. We leverage the power of {\it{JWST}} CEERS NIRCam images to present the first quantitative identification and characterization of stellar bars at $z>1$ based on rest-frame NIR F444W images of high resolution (~1.3 kpc at z ~ 1-3). We identify stellar bars in these images using quantitative criteria based on ellipse fits. For this pilot study, we present six examples of robustly identified bars at $z>1$ with spectroscopic redshifts, including the two highest redshift bars at ~2.136 and 2.312 quantitatively identified and characterized to date. The stellar bars at $z$ ~ 1.1-2.3 presented in our study have projected semi-major axes of ~2.9-4.3 kpc and projected ellipticities of ~0.41-0.53 in the rest-frame NIR. The barred host galaxies have stellar masses ~ $ 1 \times 10^{10}$ to $2 \times 10^{11}$ $M_{\odot}$, star formation rates of ~ 21-295 $M_{\odot}$ yr$^{-1}$, and several have potential nearby companions. Our finding of bars at $z$ ~1.1-2.3 demonstrates the early onset of such instabilities and supports simulations where bars form early in massive dynamically cold disks. It also suggests that if these bars at lookback times of 8-10 Gyr survive out to present epochs, bar-driven secular processes may operate over a long time and have a significant impact on some galaxies by z ~ 0.


title: Towards More Efficient Shared Autonomous Mobility: A Learning-Based Fleet Repositioning Approach

abstract: Shared-use autonomous mobility services (SAMS) present new opportunities for improving accessible and demand-responsive mobility. A fundamental challenge that SAMS face is appropriate positioning of idle fleet vehicles to meet future demand - a problem that strongly impacts service quality and efficiency. This paper formulates SAMS fleet repositioning as a Markov Decision Process and presents a reinforcement learning-based repositioning (RLR) approach called integrated system-agent repositioning (ISR). The ISR learns a scalable fleet repositioning strategy in an integrated manner: learning to respond to evolving demand patterns without explicit demand forecasting and to cooperate with optimization-based passenger-to-vehicle assignment. Numerical experiments are conducted using New York City taxi data and an agent-based simulation tool. The ISR is compared to an alternative RLR approach named externally guided repositioning (EGR) and a benchmark joint optimization (JO) for passenger-to-vehicle assignment and repositioning. The results demonstrate the RLR approaches' substantial reductions in passenger wait times, over 50%, relative to the JO approach. The ISR's ability to bypass demand forecasting is also demonstrated as it maintains comparable performance to EGR in terms of average metrics. The results also demonstrate the model's transferability to evolving conditions, including unseen demand patterns, extended operational periods, and changes in the assignment strategy.


title: Legendre Transformation of the Luttinger-Ward Functional from the Bare Interaction Vertex to the Renormalized One

abstract: On the basis of the Luttinger-Ward functional for interacting many-body systems given in terms of full Green's function $G$ and the bare interaction vertex $\Gamma^{(0)}$, we develop a novel Legendre transformation to express the grand thermodynamic potential $\Omega$ as a functional of $G$ and the renormalized interaction vertex $\Gamma$ so that (i) $G$ and $\Gamma$ obey the stationarity conditions $\delta\Omega/\delta G=0$ and $\delta\Omega /\delta\Gamma=0$ and (ii) $\Gamma$ reduces to $\Gamma^{(0)}$ in the weak-coupling limit. The formalism enables us to perform microscopic studies of thermodynamic, single-particle, and two-particle properties in a unified self-consistent conserving framework.


title: Radiation studies performed on the High Luminosity ATLAS TileCal link Daughterboard

abstract: The new electronics of the ATLAS Tile Calorimeter for the HL-LHC interfaces the on-detector and off-detector electronics by means of a Daughterboard. The Daughterboard is positioned on-detector featuring commercial SFPs+, CERN GBTx ASICs, ProASIC FPGAs and Kintex Ultrascale FPGAs. The design minimizes single points of failure and mitigates radiation damage by means of a double redundant scheme, Triple Mode Redundancy, Xilinx Soft Error Mitigation IP, CRC/FEC for link data transfer, and SEL protection circuitry. We present an updated summary of the TID, NIEL and SEE qualification tests, and performance studies of the Daughterboard revision 6 design.


title: Pulsations of primordial supermassive stars induced by a general relativistic instability; visible to JWST at z$>$12

abstract: The origin of high-redshift quasars and their supermassive black hole engines is unclear. One promising solution is the collapse of a primordial supermassive star. Observational confirmation of this scenario may be challenging, but a general relativistic instability supernova provides one avenue for such. Previous studies have found that a general relativistic instability supernova has a potentially decades-long plateau phase visible to JWST at high redshift. In this work, we examine stars with mass just below the general relativistic instability supernova mass range. These stars pulsate, ejecting a portion of their envelopes. They then contract quasi-statically back to an equilibrium temperature, at which point they again become unstable and pulsate once more. Because each pulse consumes a small amount of the available nuclear fuel, there exists the possibility of multiple pulsations. We present simulations of the contracting phase, the pulsation, and the light-curve phase. We find that the lower mass pulsating models are even brighter than the higher mass supernovae because the pulsations occur in the late helium burning phase when the stars have extremely large radii. The fact that the pulsations are more luminous and occur in a wider mass range than the supernovae bodes well for observation.


title: A Formal Logic for Formal Category Theory (Extended Version)

abstract: We present a domain-specific type theory for constructions and proofs in category theory. The type theory axiomatizes notions of category, functor, profunctor and a generalized form of natural transformations. The type theory imposes an ordered linear restriction on standard predicate logic, which guarantees that all functions between categories are functorial, all relations are profunctorial, and all transformations are natural by construction, with no separate proofs necessary. Important category-theoretic proofs such as the Yoneda lemma and Co-yoneda lemma become simple type-theoretic proofs about the relationship between unit, tensor and (ordered) function types, and can be seen to be ordered refinements of theorems in predicate logic. The type theory is sound and complete for a categorical model in virtual equipments, which model both internal and enriched category theory. While the proofs in our type theory look like standard set-based arguments, the syntactic discipline ensure that all proofs and constructions carry over to enriched and internal settings as well.


title: Design and Modeling of a Smart Torque-Adjustable Rotary Electroadhesive Clutch for Application in Human-Robot Interaction

abstract: The increasing need for sharing workspace and interactive physical tasks between robots and humans has raised concerns regarding safety of such operations. In this regard, controllable clutches have shown great potential for addressing important safety concerns at the hardware level by separating the high-impedance actuator from the end effector by providing the power transfer from electromagnetic source to the human. However, the existing clutches suffer from high power consumption and large-weight, which make them undesirable from the design point of view. In this paper, for the first time, the design and development of a novel, lightweight, and low-power torque-adjustable rotary clutch using electroadhesive materials is presented. The performance of three different pairs of clutch plates is investigated in the context of the smoothness and quality of output torque. The performance degradation issue due to the polarization of the insulator is addressed through the utilization of an alternating current waveform activation signal. Moreover, the effect of the activation frequency on the output torque and power consumption of the clutch is investigated. Finally, a time-dependent model for the output torque of the clutch is presented, and the performance of the clutch was evaluated through experiments, including physical human-robot interaction. The proposed clutch offers a torque to power consumption ratio that is six times better than commercial magnetic particle clutches. The proposed clutch presents great potential for developing safe, lightweight, and low-power physical human-robot interaction systems, such as exoskeletons and robotic walkers.


title: Acoustic-aware Non-autoregressive Spell Correction with Mask Sample Decoding

abstract: Masked language model (MLM) has been widely used for understanding tasks, e.g. BERT. Recently, MLM has also been used for generation tasks. The most popular one in speech is using Mask-CTC for non-autoregressive speech recognition. In this paper, we take one step further, and explore the possibility of using MLM as a non-autoregressive spell correction (SC) model for transformer-transducer (TT), denoted as MLM-SC. Our initial experiments show that MLM-SC provides no improvements on Librispeech data. The problem might be the choice of modeling units (word pieces) and the inaccuracy of the TT confidence scores for English data. To solve the problem, we propose a mask sample decoding (MS-decode) method where the masked tokens can have the choice of being masked or not to compensate for the inaccuracy. As a result, we reduce the WER of a streaming TT from 7.6% to 6.5% on the Librispeech test-other data and the CER from 7.3% to 6.1% on the Aishell test data, respectively.


title: A minimal model of solitons in nematic liquid crystals

abstract: Solitons in liquid crystals have generated considerable interest. Several hypotheses of varying complexity have been advanced to explain how they emerge, and a consensus has not emerged yet about the underlying forces responsible for their formation or their structure. In this work, we present a minimal model for soliton structures in achiral nematic liquid crystals, which reveals the key requirements needed to generate traveling solitons in the absence of added charges. These include a surface imperfection or inhomogeneity capable of producing a twist, flexoelectricity, dielectric contrast, and an applied AC electric field that can couple to the director's orientation. Our proposed model is based on a tensorial representation of a confined liquid crystal, and it predicts the formation of "butterfly" structures, quadrupolar in character, in regions of a slit channel where the director is twisted by the surface imperfection. As the applied electric field is increased, solitons (or "bullets") become detached from the wings of the butterfly, which then rapidly propagate throughout the system. The main observations that emerge from the model, including the formation and structure of butterflies, bullets, and stripes, as well as the role of surface imperfections and the strength of the applied field, are consistent with our own experimental findings presented here for nematic LCs confined between two chemically treated parallel plates.


title: From Function to Failure

abstract: Failure Mode Reasoning (FMR) is a method for formal analysis of system-related faults. The method was originally developed for identifying failure modes of safety-critical systems based on an analysis of their programs. In this paper, we generalize the method and present a mathematical framework for its use in model-based system and safety analyses. We explain the concepts, formalize the method, formulate models for example systems, and discuss the practical application of the method.


title: Temporal-Spatial dependencies ENhanced deep learning model (TSEN) for household leverage series forecasting

abstract: Analyzing both temporal and spatial patterns for an accurate forecasting model for financial time series forecasting is a challenge due to the complex nature of temporal-spatial dynamics: time series from different locations often have distinct patterns; and for the same time series, patterns may vary as time goes by. Inspired by the successful applications of deep learning, we propose a new model to resolve the issues of forecasting household leverage in China. Our solution consists of multiple RNN-based layers and an attention layer: each RNN-based layer automatically learns the temporal pattern of a specific series with multivariate exogenous series, and then the attention layer learns the spatial correlative weight and obtains the global representations simultaneously. The results show that the new approach can capture the temporal-spatial dynamics of household leverage well and get more accurate and solid predictive results. More, the simulation also studies show that clustering and choosing correlative series are necessary to obtain accurate forecasting results.


title: The chiral beat of algal flagella: force and torque via imaging

abstract: Flagella allow eukaryotic cells to move and pump fluid. We present the first three-dimensional, time-resolved imaging of the flagellar waveform of Chlamydomonas reinhardtii, a model alga found in fresh water. During the power stroke, we find that the flagella show rotational symmetry about the cell's centreline, but during the recovery stroke they display mirror symmetry about the same axis. We use our three-dimensional imaging data to test the applicability of resistive force theory when a force-free configuration is approximated using a cell on a micropipette. The inferred values of cells' swimming speeds and rotation rates show good agreement with experimental results on freely swimming cells.


title: Higher order derivations on C*-algebras and applications to smooth functional calculus and Schwartz functions on the tangent groupoid

abstract: We introduce higher order derivations on C*-algebras which are a noncommutative analogue of differential operators for commutative C*-algebras. We show that the domain of higher derivations is closed under smooth functional calculus. As a corollary, we show that Schwartz functions on Connes tangent groupoid are closed under smooth functional calculus.


title: The Kraichnan Model and Non-Equilibrium Statistical Physics of Diffusive Mixing

abstract: We discuss application of methods from the Kraichnan model of turbulent advection to the study of non-equilibrium concentration fluctuations arising during diffusion in liquid mixtures at high Schmidt numbers. This approach treats nonlinear advection of concentration fluctuations exactly, without linearization. Remarkably, we find that static and dynamic structure functions obtained by this method reproduce precisely the predictions of linearized fluctuating hydrodynamics. It is argued that this agreement is an analogue of anomaly non-renormalization which does not, however, protect higher-order multi-point correlations. The latter should thus yield non-vanishing cumulants, unlike those for the Gaussian concentration fluctuations predicted by linearized theory.

categories: cond-mat.stat-mech math-ph math.MP physics.flu-dyn


title: Decision-Making Among Bounded Rational Agents

abstract: When robots share the same workspace with other intelligent agents (e.g., other robots or humans), they must be able to reason about the behaviors of their neighboring agents while accomplishing the designated tasks. In practice, frequently, agents do not exhibit absolutely rational behavior due to their limited computational resources. Thus, predicting the optimal agent behaviors is undesirable (because it demands prohibitive computational resources) and undesirable (because the prediction may be wrong). Motivated by this observation, we remove the assumption of perfectly rational agents and propose incorporating the concept of bounded rationality from an information-theoretic view into the game-theoretic framework. This allows the robots to reason other agents' sub-optimal behaviors and act accordingly under their computational constraints. Specifically, bounded rationality directly models the agent's information processing ability, which is represented as the KL-divergence between nominal and optimized stochastic policies, and the solution to the bounded-optimal policy can be obtained by an efficient importance sampling approach. Using both simulated and real-world experiments in multi-robot navigation tasks, we demonstrate that the resulting framework allows the robots to reason about different levels of rational behaviors of other agents and compute a reasonable strategy under its computational constraint.


title: Sub-10-micron thick Ge thin films from bulk-Ge substrates via a wet etching method

abstract: Low-defect-density Ge thin films are critical in Ge based optical devices (optical detectors, LEDs and Lasers) integrated with Si electronic devices for low-cost, highly integrated photonic circuits. In this work, Ge thin films prepared by wet etching with four different solutions were studied in terms of the surface morphology, defect density and achievable thickness. Both nanostrip-based solution (1:1:10) and HCl-based solution (1:1:5) were able to wet-etch 535 micron thick bulk-Ge substrates to Ge films thinner than 10 micron within 53 hours. The corresponding RMS surface roughness was 32 nm for the nanostrip-based solution and 10 nm for the HCl-based solution. The good quality of bulk-Ge was preserved before and after the etching process according to the HRXRD results. The low threading dislocation density of 6000-7000 cm-2 was maintained in the process of wet etching without introducing extra defects. This approach provides an inexpensive and convenient way to prepare sub-10-micron thick Ge thin films, enabling future studies of low-defect-density Ge-based devices such as photodetectors, LEDs, and lasers.


title: Scaling up Trustless DNN Inference with Zero-Knowledge Proofs

abstract: As ML models have increased in capabilities and accuracy, so has the complexity of their deployments. Increasingly, ML model consumers are turning to service providers to serve the ML models in the ML-as-a-service (MLaaS) paradigm. As MLaaS proliferates, a critical requirement emerges: how can model consumers verify that the correct predictions were served, in the face of malicious, lazy, or buggy service providers? In this work, we present the first practical ImageNet-scale method to verify ML model inference non-interactively, i.e., after the inference has been done. To do so, we leverage recent developments in ZK-SNARKs (zero-knowledge succinct non-interactive argument of knowledge), a form of zero-knowledge proofs. ZK-SNARKs allows us to verify ML model execution non-interactively and with only standard cryptographic hardness assumptions. In particular, we provide the first ZK-SNARK proof of valid inference for a full resolution ImageNet model, achieving 79\% top-5 accuracy. We further use these ZK-SNARKs to design protocols to verify ML model execution in a variety of scenarios, including for verifying MLaaS predictions, verifying MLaaS model accuracy, and using ML models for trustless retrieval. Together, our results show that ZK-SNARKs have the promise to make verified ML model inference practical.


title: SGRAM: Improving Scene Graph Parsing via Abstract Meaning Representation

abstract: Scene graph is structured semantic representation that can be modeled as a form of graph from images and texts. Image-based scene graph generation research has been actively conducted until recently, whereas text-based scene graph generation research has not. In this paper, we focus on the problem of scene graph parsing from textual description of a visual scene. The core idea is to use abstract meaning representation (AMR) instead of the dependency parsing mainly used in previous studies. AMR is a graph-based semantic formalism of natural language which abstracts concepts of words in a sentence contrary to the dependency parsing which considers dependency relationships on all words in a sentence. To this end, we design a simple yet effective two-stage scene graph parsing framework utilizing abstract meaning representation, SGRAM (Scene GRaph parsing via Abstract Meaning representation): 1) transforming a textual description of an image into an AMR graph (Text-to-AMR) and 2) encoding the AMR graph into a Transformer-based language model to generate a scene graph (AMR-to-SG). Experimental results show the scene graphs generated by our framework outperforms the dependency parsing-based model by 11.61\% and the previous state-of-the-art model using a pre-trained Transformer language model by 3.78\%. Furthermore, we apply SGRAM to image retrieval task which is one of downstream tasks for scene graph, and confirm the effectiveness of scene graphs generated by our framework.


title: Scale-Agnostic Super-Resolution in MRI using Feature-Based Coordinate Networks

abstract: We propose using a coordinate network decoder for the task of super-resolution in MRI. The continuous signal representation of coordinate networks enables this approach to be scale-agnostic, i.e. one can train over a continuous range of scales and subsequently query at arbitrary resolutions. Due to the difficulty of performing super-resolution on inherently noisy data, we analyze network behavior under multiple denoising strategies. Lastly we compare this method to a standard convolutional decoder using both quantitative metrics and a radiologist study implemented in Voxel, our newly developed tool for web-based evaluation of medical images.


title: Regularized Data Programming with Automated Bayesian Prior Selection

abstract: The cost of manual data labeling can be a significant obstacle in supervised learning. Data programming (DP) offers a weakly supervised solution for training dataset creation, wherein the outputs of user-defined programmatic labeling functions (LFs) are reconciled through unsupervised learning. However, DP can fail to outperform an unweighted majority vote in some scenarios, including low-data contexts. This work introduces a Bayesian extension of classical DP that mitigates failures of unsupervised learning by augmenting the DP objective with regularization terms. Regularized learning is achieved through maximum a posteriori estimation with informative priors. Majority vote is proposed as a proxy signal for automated prior parameter selection. Results suggest that regularized DP improves performance relative to maximum likelihood and majority voting, confers greater interpretability, and bolsters performance in low-data regimes.


title: Further Properties of Accretive Matrices

abstract: To better understand the algebra $\mathcal{M}_n$ of all $n\times n$ complex matrices, we explore the class of accretive matrices. This class has received renowned attention in recent years due to its role in complementing those results known for positive definite matrices. More precisely, we have several results that allow a better understanding of accretive matrices. Among many results, we present order-preserving results, Choi-Davis-type inequalities, mean-convex inequalities, sub-multiplicative results for the real part, and new bounds of the absolute value of accretive matrices. These results will be compared with the existing literature. In the end, we quickly pass through related entropy results for accretive matrices.


title: Causal Inference for De-biasing Motion Estimation from Robotic Observational Data

abstract: Robot data collected in complex real-world scenarios are often biased due to safety concerns, human preferences, and mission or platform constraints. Consequently, robot learning from such observational data poses great challenges for accurate parameter estimation. We propose a principled causal inference framework for robots to learn the parameters of a stochastic motion model using observational data. Specifically, we leverage the de-biasing functionality of the potential-outcome causal inference framework, the Inverse Propensity Weighting (IPW), and the Doubly Robust (DR) methods, to obtain a better parameter estimation of the robot's stochastic motion model. The IPW is a re-weighting approach to ensure unbiased estimation, and the DR approach further combines any two estimators to strengthen the unbiased result even if one of these estimators is biased. We then develop an approximate policy iteration algorithm using the bias-eliminated estimated state transition function. We validate our framework using both simulation and real-world experiments, and the results have revealed that the proposed causal inference-based navigation and control framework can correctly and efficiently learn the parameters from biased observational data.


title: Improved Product-state Approximation Algorithms for Quantum Local Hamiltonians

abstract: The ground state energy and the free energy of Quantum Local Hamiltonians are fundamental quantities in quantum many-body physics, however, it is QMA-Hard to estimate them in general. In this paper, we develop new techniques to find classical, additive error product-state approximations for these quantities on certain families of Quantum $k$-Local Hamiltonians. Namely, those which are either dense, have low threshold rank, or are defined on a sparse graph that excludes a fixed minor, building on the methods and the systems studied by Brand\~ao and Harrow, Gharibian and Kempe, and Bansal, Bravyi and Terhal. We present two main technical contributions. First, we discuss a connection between product-state approximations of local Hamiltonians and combinatorial graph property testing. We develop a series of weak Szemer\'edi regularity lemmas for $k$-local Hamiltonians, built on those of Frieze and Kannan and others. We use them to develop constant time sampling algorithms, and to characterize the `vertex sample complexity' of the Local Hamiltonian problem, in an analog to a classical result by Alon, de la Vega, Kannan and Karpinski. Second, we build on the information-theoretic product-state approximation techniques by Brand\~ao and Harrow, extending their results to the free energy and to an asymmetric graph setting. We leverage this structure to define families of algorithms for the free energy at low temperatures, and new algorithms for certain sparse graph families.


title: New Fueter Variables Associated to the Global Operator in the Quaternionic Case

abstract: The purpose of this paper is to develop a new theory of three non-commuting quaternionic variables and its related Schur analysis theory for a modified version of the quaternionic global operator.


title: AMF-Placer 2.0: Open Source Timing-driven Analytical Mixed-size Placer for Large-scale Heterogeneous FPGA

abstract: On modern field-programmable gate arrays (FPGAs), certain critical path portions of the designs might be prearranged into many multi-cell macros during synthesis. These movable macros with constraints of shape and resources lead to challenging mixed-size placement for FPGA designs which cannot be addressed by previous analytical placers. Moreover, general timing-driven placement algorithms are facing challenges when handling real-world application design and ultrascale FPGA architectures. In this work, we propose AMF-Placer 2.0, an open-source comprehensive timing-driven analytical mixed-size FPGA placer. It supports mixed-size placement of heterogeneous resources (e.g., LUT/FF/LUTRAM/MUX/CARRY/DSP/BRAM) on FPGA, with an interface to Xilinx Vivado. Standing upon the shoulders of AMF-Placer 1.0, AMFPlacer 2.0 is equipped with a series of new techniques for timing optimization, including a simple but effective timing model, placement-blockage-aware anchor insertion, WNS-aware timing-driven quadratic placement, and sector-guided detailed placement. Based on a set of the latest large open-source benchmarks from various domains for Xilinx Ultrascale FPGAs, experimental results indicate that critical path delays realized by AMF-Placer 2.0 are averagely 2.2% and 0.59% higher than those achieved by commercial tool Xilinx Vivavo 2020.2 and 2021.2 respectively. Meanwhile, the average runtime of placement procedure of AMF-Placer 2.0 is 14% and 8.5% higher than Xilinx Vivavo 2020.2 and 2021.2 respectively. Although limited by the absence of the exact timing model of the device, the information of design hierarchy and accurate routing feedback, AMF-Placer 2.0 is the first open-source FPGA placer which can handle the timingdriven mixed-size placement of practical complex designs with various FPGA resources and achieves the comparable quality to the latest commercial tools.


title: A H\"ormander-Fock space

abstract: In a recent paper we used a basic decomposition property of polyanalytic functions of order $2$ in one complex variable to characterize solutions of the classical $\overline{\partial}$-problem for given analytic and polyanalytic data. Our approach suggested the study of a special reproducing kernel Hilbert space that we call the H\"ormander-Fock space that will be further investigated in this paper. The main properties of this space are encoded in a specific moment sequence denoted by $\eta=(\eta_n)_{n\geq 0}$ leading to a special entire function $\mathsf{E}(z)$ that is used to express the kernel function of the H\"ormander-Fock space. We present also an example of a special function belonging to the class ML introduced recently by Alpay et al. and apply a Bochner-Minlos type theorem to this function, thus motivating further connections with the theory of stochastic processes.


title: On some conjectures of the unitary dual of $U(p,q)$

abstract: In this manuscript, we introduce the notion of fundamental cases to study the unitary dual of $U(p,q)$. As applications, we prove of a conjecture of Salamanca-Riba and Vogan stated in 1998, as well as the fundamental parallelepiped (FPP) conjecture of Vogan in 2023 for $U(p,q)$.


title: GeoThermalCloud: Machine Learning for Geothermal Resource Exploration

abstract: This paper presents a novel ML-based methodology for geothermal exploration towards PFA applications. Our methodology is provided through our open-source ML framework, GeoThermalCloud \url{https://github.com/SmartTensors/GeoThermalCloud.jl}. The GeoThermalCloud uses a series of unsupervised, supervised, and physics-informed ML methods available in SmartTensors AI platform \url{https://github.com/SmartTensors}. Here, the presented analyses are performed using our unsupervised ML algorithm called NMF$k$, which is available in the SmartTensors AI platform. Our ML algorithm facilitates the discovery of new phenomena, hidden patterns, and mechanisms that helps us to make informed decisions. Moreover, the GeoThermalCloud enhances the collected PFA data and discovers signatures representative of geothermal resources. Through GeoThermalCloud, we could identify hidden patterns in the geothermal field data needed to discover blind systems efficiently. Crucial geothermal signatures often overlooked in traditional PFA are extracted using the GeoThermalCloud and analyzed by the subject matter experts to provide ML-enhanced PFA, which is informative for efficient exploration. We applied our ML methodology to various open-source geothermal datasets within the U.S. (some of these are collected by past PFA work). The results provide valuable insights into resource types within those regions. This ML-enhanced workflow makes the GeoThermalCloud attractive for the geothermal community to improve existing datasets and extract valuable information often unnoticed during geothermal exploration.


title: On steady states for the Vlasov-Schr\"odinger-Poisson system

abstract: The Vlasov-Schr\"odinger-Poisson system is a kinetic-quantum hybrid model describing quasi-lower dimensional electron gases. For this system, we construct a large class of 2D kinetic/1D quantum steady states in a bounded domain as generalized free energy minimizers, and we show their finite subband structure, monotonicity, uniqueness and conditional dynamical stability. Our proof is based on the concentration-compactness principle, but some additional difficulties arise due to lack of compactness originated from the hybrid nature (see Remark 1.9). To overcome the difficulties, we introduce a 3-step refinement of a minimizing sequence by rearrangement and partial minimization problems, and the coercivity lemma for the free energy (Lemma 5.3) is crucially employed.


title: A property of ideals of jets of functions vanishing on a set

abstract: For a set $E\subset\mathbb{R}^n$ that contains the origin we consider $I^m(E)$ -- the set of all $m^{\text{th}}$ degree Taylor approximations (at the origin) of $C^m$ functions on $\mathbb{R}^n$ that vanish on $E$. This set is an ideal in $\mathcal{P}^m(\mathbb{R}^n)$ -- the ring of all $m^{\text{th}}$ degree Taylor approximations of $C^m$ functions on $\mathbb{R}^n$. Which ideals in $\mathcal{P}^m(\mathbb{R}^n)$ arise as $I^m(E)$ for some $E$? In this paper we introduce the notion of a \textit{closed} ideal in $\mathcal{P}^m(\mathbb{R}^n)$, and prove that any ideal of the form $I^m(E)$ is closed. We do not know whether in general any closed ideal is of the form $I^m(E)$ for some $E$, however we prove in [FS] that all closed ideals in $\mathcal{P}^m(\mathbb{R}^n)$ arise as $I^m(E)$ when $m+n\leq5$.


title: Comfort's question on powers in $\mathbb Q ^{(2^\mathfrak c)}$ and a Wallace semigroup whose cube is countably compact

abstract: We prove that the existence of $\mathfrak{c}$ incomparable selective ultrafilters implies the existence of a Wallace semigroup whose cube is countably compact. In addition, assuming the existence of $2^{\mathfrak c}$ incomparable selective ultrafilters and $2^{< 2^{\mathfrak{c}}} = 2^{\mathfrak{c}}$, we obtain torsion-free topological groups with respect to Comfort's question on the countable compactness of (infinite) powers of a topological group.


title: Strongly Modulated Exfoliation and Functionalization of MXene with Rational Designed Groups in Polymer: A Theoretical Study

abstract: As emerging atomically ultrathin metal compounds, MXenes show great promise for catalysts and nanoelectronics applications due to the abundant surface terminations and high metallic conductivity. However, the tendency of the interlayer adhesion and suffering from environmental disturbances significantly limit their endurance and efficiency. Herein via conducting first-principles calculations, we explore surface passivation and exfoliation of MXene via polymers which have been experimentally proven to promote the performance. Nine kinds of monomers together with the typical MXene Ti3C2T2 (T= None, O, F, OH, F0.5O0.5) as prototype composites are explored with respect to the adsorption and charge transfer associated with energetics and chemical redox, respectively. Our work shows that naked Ti3C2 MXene has a strong ability to cleave and decompose the monomers. Surface functionalized Ti3C2F2, Ti3C2FO, and Ti3C2O2 have a weak binding with monomers through only van der Waals force, whereas Ti3C2(OH)2 also exhibits strengthened binding for some monomers. Specific functional groups in the monomer, such as the halogen, sulfur, and hydroxyl groups or a relatively planar aromatic structure, largely contribute to the adsorption. We reveal that the functionalization through polymer would alter the carriers' density via interfacial charge transfer in MXenes. While the naked Ti3C2 and Ti3C2(OH)2 donate electrons to the polymers, the Ti3C2F2, Ti3C2FO, and Ti3C2O2 receive small amounts of electrons transferred from the polymer, highly depending on the types of the monomers. The varying ability of charge transfer and exfoliation energy of different monomers implies great flexibility for designing polymers to exfoliate the MXene and modulate the carrier densities which is highly desired for altering conductivity, dielectric properties, and promoted endurance.


title: The potential of the ILC beam dump for high-intensity and large-area irradiation field with atmospheric-like neutrons and muons

abstract: We evaluate the neutron and muon fluxes produced in the ILC beam dumps by Monte Carlo simulations and discuss their potential use in irradiation fields. We show that the beam dumps can provide high-intensity neutron and muon fluxes with spectra quite similar to secondary cosmic rays, which are suitable for soft error studies. The beam dumps deliver neutrons about $10^{11}$ times the secondary cosmic rays on spaces perpendicular to the beam axis and muons $10^8$ times downstream of the beam dumps in the initial phase of the ILC. Large-area irradiation of 1\,m$^2$ or more is possible. Differences in the energy distribution of muons in electron and positron beam dumps are also discussed for particle physics experiments.


title: Homological dimensions of the Jacobson radical

abstract: This work presents results on the finiteness, and on the symmetry properties, of various homological dimensions associated to the Jacobson radical and its higher syzygies, of a semiperfect ring.


title: A Generative User Simulator with GPT-based Architecture and Goal State Tracking for Reinforced Multi-Domain Dialog Systems

abstract: Building user simulators (USs) for reinforcement learning (RL) of task-oriented dialog systems (DSs) has gained more and more attention, which, however, still faces several fundamental challenges. First, it is unclear whether we can leverage pretrained language models to design, for example, GPT-2 based USs, to catch up and interact with the recently advanced GPT-2 based DSs. Second, an important ingredient in a US is that the user goal can be effectively incorporated and tracked; but how to flexibly integrate goal state tracking and develop an end-to-end trainable US for multi-domains has remained to be a challenge. In this work, we propose a generative user simulator (GUS) with GPT-2 based architecture and goal state tracking towards addressing the above two challenges. Extensive experiments are conducted on MultiWOZ2.1. Different DSs are trained via RL with GUS, the classic agenda-based user simulator (ABUS) and other ablation simulators respectively, and are compared for cross-model evaluation, corpus-based evaluation and human evaluation. The GUS achieves superior results in all three evaluation tasks.


title: State transfer on integral mixed circulant graphs

abstract: A mixed circulant graph is called integral if all eigenvalues of its Hermitian adjacency matrix are integers. The main purpose of this paper is to investigate the existence of perfect state transfer (PST for short) and multiple state transfer (MST for short) on integral mixed circulant graphs. Concretely, we provide sufficient and necessary conditions for the existence of PST and MST between specified pairs of vertices on integral mixed circulant graphs, respectively.


title: Topological spin defects of light

abstract: Topological defects are found in a variety of systems, and their existence are robust under perturbations due to their topological nature. Here we introduce a new type of topological defects found in electromagnetic waves: topological spin defects. Such a defect is associated with a point where the electromagnetic spin density is zero, and generically have a nontrivial topological spin texture surrounding the defect point. Due to such spin texture, a topological spin defect possesses a quantized topological charge. We provide examples where isolated defect point, periodic or quasi-periodic defect lattices can be created. Such topological spin defect points may find applications in 3D imaging and nanoparticle manipulation.


title: OpenQAOA -- An SDK for QAOA

abstract: We introduce OpenQAOA, a Python open-source multi-backend Software Development Kit to create, customise, and execute the Quantum Approximate Optimisation Algorithm (QAOA) on Noisy Intermediate-Scale Quantum (NISQ) devices and simulators. OpenQAOA facilitates the creation of QAOA workflows, removing the more tedious and repetitive aspects of implementing variational quantum algorithms. It standardises and automates tasks such as circuit creation across different backends, ansatz parametrisation, the optimisation loop, the formatting of results, and extensions of QAOA such as Recursive QAOA. OpenQAOA is designed to simplify and enhance research on QAOA, providing a robust and consistent framework for experimentation with, and deployment of, the algorithm and its variations. Importantly, a heavy emphasis is placed on the provision of tools to enable QAOA computations at the scale of hundreds or thousands of qubits.


title: Pseudo-Nambu-Goldstone Dark Matter from Non-Abelian Gauge Symmetry

abstract: We propose a pseudo-Nambu-Goldstone boson (pNGB) dark matter (DM) model based on an additional non-Abelian gauge symmetry $SU(2)_D$. The gauge symmetry $SU(2)_D$ is spontaneously broken to a global custodial symmetry $U(1)_V$ via the nonvanishing vacuum expectation values of $SU(2)_D$ doublet and triplet scalar fields. Due to the exact global symmetry $U(1)_V$, the lightest $U(1)_V$ charged particle becomes stable. We assume that the lightest charged particle in the model is the charged complex pNGB, which we regard as DM. It avoids the strong constraints from current DM direct detection experiments due to the property of NGB. We find that the measured energy density of DM can be reproduced when the DM mass is larger than the half of the Higgs mass, where the lower limit generally comes from the constraint of DM invisible decay and the upper limit from DM direct detection experiments depends on the model parameters.


title: ConReader: Exploring Implicit Relations in Contracts for Contract Clause Extraction

abstract: We study automatic Contract Clause Extraction (CCE) by modeling implicit relations in legal contracts. Existing CCE methods mostly treat contracts as plain text, creating a substantial barrier to understanding contracts of high complexity. In this work, we first comprehensively analyze the complexity issues of contracts and distill out three implicit relations commonly found in contracts, namely, 1) Long-range Context Relation that captures the correlations of distant clauses; 2) Term-Definition Relation that captures the relation between important terms with their corresponding definitions; and 3) Similar Clause Relation that captures the similarities between clauses of the same type. Then we propose a novel framework ConReader to exploit the above three relations for better contract understanding and improving CCE. Experimental results show that ConReader makes the prediction more interpretable and achieves new state-of-the-art on two CCE tasks in both conventional and zero-shot settings.


title: A Design-Based Riesz Representation Framework for Randomized Experiments

abstract: We describe a new design-based framework for drawing causal inference in randomized experiments. Causal effects in the framework are defined as linear functionals evaluated at potential outcome functions. Knowledge and assumptions about the potential outcome functions are encoded as function spaces. This makes the framework expressive, allowing experimenters to formulate and investigate a wide range of causal questions. We describe a class of estimators for estimands defined using the framework and investigate their properties. The construction of the estimators is based on the Riesz representation theorem. We provide necessary and sufficient conditions for unbiasedness and consistency. Finally, we provide conditions under which the estimators are asymptotically normal, and describe a conservative variance estimator to facilitate the construction of confidence intervals for the estimands.


title: CO($J$=1-0) mapping survey of 64 galaxies in the Fornax cluster with the ALMA Morita array

abstract: We conduct a $^{12}$C$^{16}$O($J$=1-0) (hereafter CO) mapping survey of 64 galaxies in the Fornax cluster using the ALMA Morita array in cycle 5. CO emission is detected from 23 out of the 64 galaxies. Our sample includes dwarf, spiral and elliptical galaxies with stellar masses of $M_{\rm star}\sim10^{6.3-11.6}$~M$_\odot$. The achieved beam size and sensitivity are $15''\times8''$ and $\sim12$~mJy~beam$^{-1}$ at the velocity resolution of $\sim10$~km~s$^{-1}$, respectively. We study the cold-gas (molecular- and atomic-gas) properties of 38 subsamples with $M_{\rm star}>10^9$~M$_\odot$ combined with literature HI data. We find that: (1) the low star-formation (SF) activity in the Fornax galaxies is caused by the decrease in the cold-gas mass fraction with respect to stellar mass (hereafter, gas fraction) rather than the decrease of the SF efficiency from the cold gas; (2) the atomic-gas fraction is more heavily reduced than the molecular-gas fraction of such galaxies with low SF activity. A comparison between the cold-gas properties of the Fornax galaxies and their environmental properties suggests that the atomic gas is stripped tidally and by the ram pressure, which leads to the molecular gas depletion with an aid of the strangulation and consequently SF quenching. Pre-processes in the group environment would also play a role in reducing cold-gas reservoirs in some Fornax galaxies.


title: Phonon anharmonicity and thermal conductivity of two-dimensional van der Waals materials: A review

abstract: Two-dimensional (2D) van der Waals (vdW) materials have extraordinary thermal properties due to the effect of quantum confinement, making them promising for thermoelectric energy conversion and thermal management in microelectronic devices. In this review, the mechanism of phonon anharmonicity originating from three- and four-phonon interactions is derived. The phonon anharmonicity of 2D vdW materials, involving the Gr\"uneisen parameter, phonon lifetime, and thermal conductivity, is summarized and derived in detail. The size-dependent thermal conductivity of representative 2D vdW materials is discussed experimentally and theoretically. This review will present fundamental and advanced knowledge on how to evaluate the phonon anharmonicity in 2D vdW materials, which will aid the design of new structures and materials for applications related to energy transfer and conversion.


title: ODG-Q: Robust Quantization via Online Domain Generalization

abstract: Quantizing neural networks to low-bitwidth is important for model deployment on resource-limited edge hardware. Although a quantized network has a smaller model size and memory footprint, it is fragile to adversarial attacks. However, few methods study the robustness and training efficiency of quantized networks. To this end, we propose a new method by recasting robust quantization as an online domain generalization problem, termed ODG-Q, which generates diverse adversarial data at a low cost during training. ODG-Q consistently outperforms existing works against various adversarial attacks. For example, on CIFAR-10 dataset, ODG-Q achieves 49.2% average improvements under five common white-box attacks and 21.7% average improvements under five common black-box attacks, with a training cost similar to that of natural training (viz. without adversaries). To our best knowledge, this work is the first work that trains both quantized and binary neural networks on ImageNet that consistently improve robustness under different attacks. We also provide a theoretical insight of ODG-Q that accounts for the bound of model risk on attacked data.


title: Notes on continuous weak solutions to the ideal Hall equation

abstract: Using convex integration, we construct continuous weak solutions to the ideal Hall equation with a given energy profile. This is a first step in the direction of proving the Onsager's conjecture for the more general Hall-MHD equations.


title: Spoken Dialogue System Based on Attribute Vector for Travel Agent Robot

abstract: In this study, we develop a dialogue system for a dialogue robot competition. In the system, the characteristics of sightseeing spots are expressed as "attribute vectors" in advance, and the user is questioned on the different attributes of the two candidate spots. Consequently, the system can make recommendations based on user intentions. A dialogue experiment is conducted during a preliminary round of competition. The overall satisfaction score obtained is 40.1 out of 63 points, which is a reasonable result. Analysis of the relationship between the system behavior and satisfaction scores reveals that satisfaction increases when the system correctly understands the user intention and responds appropriately. However, a negative correlation is observed between the number of user utterances and the satisfaction score. This implies that inappropriate responses reduce the usefulness of the system as a consultation partner.


title: Highly Modulated Dual Semimetal and Semiconducting Gamma-GeSe with Strain Engineering

abstract: Layered hexagonal Gamma--GeSe, a new polymorph of GeSe synthesized recently, shows strikingly high electronic conductivity in its bulk form (even higher than graphite) while semiconducting in the case of monolayer (1L). In this work, by using first-principles calculations, we demonstrate that, different from its orthorhombic phases of GeSe, the Gamma--GeSe shows a small spatial anisotropic dependence and a strikingly thickness-dependent behavior with transition from semimetal (bulk, 0.04 eV) to semiconductor (1L, 0.99 eV), and this dual conducting characteristic realized simply with thickness control in Gamma-GeSe has not been found in other 2D materials before. The lacking of d-orbital allows charge carrier with small effective mass (0.16 m0 for electron and 0.23 m0 for hole) which is comparable to phosphorene. Meanwhile, 1L Gamma--GeSe shows a superior flexibility with Young's modulus of 86.59 N/m, only one-quarter of that of graphene and three-quarters of that of MoS2, and Poisson's ratio of 0.26, suggesting a highly flexible lattice. Interestingly, 1L Gamma-GeSe shows an in-plane isotropic elastic modulus inherent with hexagonal symmetry while an anisotropic in-plane effective mass owing to shifted valleys around the band edges. We demonstrate the feasibility of strain engineering in inducing indirect-direct and semiconductor-metal transitions resulting from competing bands at the band edges. Our work shows that the free 1L Gamma-GeSe shows a strong light absorption (~106 cm-1) and an indirect bandgap with rich valleys at band edges, enabling high carrier concentration and a low rate of direct electron-hole recombination which would be promising for nanoelectronics and solar cell applications.


title: The electronic disorder landscape of mixed halide perovskites

abstract: Bandgap tunability of lead mixed-halide perovskites makes them promising candidates for various applications in optoelectronics since they exhibit sharp optical absorption onsets despite the presence of disorder from halide alloying. Here we use localization landscape theory to reveal that the static disorder due to compositional alloying for iodide:bromide perovskite contributes at most 3 meV to the Urbach energy. Our modelling reveals that the reason for this small contribution is due to the small effective masses in perovskites, resulting in a natural length scale of around 20nm for the "effective confining potential" for electrons and holes, with short range potential fluctuations smoothed out. The increase in Urbach energy across the compositional range agrees well with our optical absorption measurements. We model systems of sizes up to 80 nm in three dimensions, allowing us to explore halide segregation, accurately reproducing the experimentally observed absorption spectra and demonstrating the scope of our method to model electronic structures on large length scales. Our results suggest that we should look beyond static contribution and focus on the dynamic temperature dependent contribution to the Urbach energy.


title: Nonequilibrium kinetics effects in Richtmyer-Meshkov instability and reshock processes

abstract: Nonequilibrium kinetic effects are widespread in fluid systems and might have a significant impact on the inertial confinement fusion ignition process, and the entropy production rate is a key factor in accessing the compression process. In this work, we study the Richtmyer-Meshkov instability (RMI) and the reshock process by a two-fluid discrete Boltzmann method (DBM). Firstly, the DBM result for the perturbation amplitude evolution is in good agreement with that of experiment. Greatly different from the case of normal shocking on unperturbed plane interface between two uniform media, in the RMI case, the Thermodynamic Non-Equilibrium (TNE) quantities show complex but inspiring kinetic effects in the shocking process and behind the shock front. The kinetic effects are detected by two sets of TNE quantities. The first set are $\left |\Delta _{2}^{ {\rm{*}}}\right |$,$\left |\Delta _{3,1}^{ {\rm{*}}}\right |$, $\left | \Delta _{3}^{ {\rm{*}}}\right |$, and $\left |\Delta _{4,2}^{ {\rm{*}}}\right |$. All the four TNE measures abruptly increase in the shocking process. $\left |\Delta _{3,1}^{ {\rm{*}}}\right |$ and $\left |\Delta _{3}^{ {\rm{*}}}\right |$ show similar behaviors. They continue to increase in a much lower rate behind the shock front. $\left |\Delta _{2}^{ {\rm{*}}}\right |$ and $\left |\Delta _{4,2}^{ {\rm{*}}}\right |$ have different dimensions, but show similar behaviors. They quickly decrease to be very small behind the shock front. The second set of TNE quantities are ${\dot{S} _{NOMF}}$, ${\dot{S} _{NOEF}}$ and ${\dot{S} _{sum}}$. It is found that the mixing zone is the primary contribution region to the ${\dot{S} _{NOEF}}$, while the flow field region excluding mixing zone is the primary contribution region to the ${\dot{S} _{NOMF}}$. The light fluid has a higher entropy production rate than the heavy fluid.

categories: physics.flu-dyn cond-mat.stat-mech nlin.CG physics.app-ph physics.comp-ph


title: Generation of quantum coherence for continuous variables between causally disconnected regions in dilaton spacetime

abstract: We study the dynamics of Gaussian quantum coherence under the background of a Garfinkle-Horowitz-Strominger dilaton black hole. It is shown that the dilaton field has evident effects on the degree of coherence for all the bipartite subsystems. The bipartite Gaussian coherence is not affected by the frequency of the scalar field for an uncharged or an extreme dilaton black hole. It is found that the initial coherence is not completely destroyed even for an extreme dilaton black hole, which is quite different from the behavior of quantum steering because the latter suffers from a "sudden death" under the same conditions. This is nontrivial because one can employ quantum coherence as a resource for quantum information processing tasks even if quantum correlations have been destroyed by the strong gravitational field. In addition, it is demonstrated that the generation of quantum coherence between the initial separable modes is easier for low-frequency scalar fields. At the same time, quantum coherence is smoothly generated betweenone pair of partners and exhibits a "sudden birth" behavior between another pairs in the curved spacetime.


title: Teacher Forcing Recovers Reward Functions for Text Generation

abstract: Reinforcement learning (RL) has been widely used in text generation to alleviate the exposure bias issue or to utilize non-parallel datasets. The reward function plays an important role in making RL training successful. However, previous reward functions are typically task-specific and sparse, restricting the use of RL. In our work, we propose a task-agnostic approach that derives a step-wise reward function directly from a model trained with teacher forcing. We additionally propose a simple modification to stabilize the RL training on non-parallel datasets with our induced reward function. Empirical results show that our method outperforms self-training and reward regression methods on several text generation tasks, confirming the effectiveness of our reward function.


title: A Unified Positive-Unlabeled Learning Framework for Document-Level Relation Extraction with Different Levels of Labeling

abstract: Document-level relation extraction (RE) aims to identify relations between entities across multiple sentences. Most previous methods focused on document-level RE under full supervision. However, in real-world scenario, it is expensive and difficult to completely label all relations in a document because the number of entity pairs in document-level RE grows quadratically with the number of entities. To solve the common incomplete labeling problem, we propose a unified positive-unlabeled learning framework - shift and squared ranking loss positive-unlabeled (SSR-PU) learning. We use positive-unlabeled (PU) learning on document-level RE for the first time. Considering that labeled data of a dataset may lead to prior shift of unlabeled data, we introduce a PU learning under prior shift of training data. Also, using none-class score as an adaptive threshold, we propose squared ranking loss and prove its Bayesian consistency with multi-label ranking metrics. Extensive experiments demonstrate that our method achieves an improvement of about 14 F1 points relative to the previous baseline with incomplete labeling. In addition, it outperforms previous state-of-the-art results under both fully supervised and extremely unlabeled settings as well.


title: Handling Label Uncertainty for Camera Incremental Person Re-Identification

abstract: Incremental learning for person re-identification (ReID) aims to develop models that can be trained with a continuous data stream, which is a more practical setting for real-world applications. However, the existing incremental ReID methods make two strong assumptions that the cameras are fixed and the new-emerging data is class-disjoint from previous classes. This is unrealistic as previously observed pedestrians may re-appear and be captured again by new cameras. In this paper, we investigate person ReID in an unexplored scenario named Camera Incremental Person ReID (CIPR), which advances existing lifelong person ReID by taking into account the class overlap issue. Specifically, new data collected from new cameras may probably contain an unknown proportion of identities seen before. This subsequently leads to the lack of cross-camera annotations for new data due to privacy concerns. To address these challenges, we propose a novel framework ExtendOVA. First, to handle the class overlap issue, we introduce an instance-wise seen-class identification module to discover previously seen identities at the instance level. Then, we propose a criterion for selecting confident ID-wise candidates and also devise an early learning regularization term to correct noise issues in pseudo labels. Furthermore, to compensate for the lack of previous data, we resort prototypical memory bank to create surrogate features, along with a cross-camera distillation loss to further retain the inter-camera relationship. The comprehensive experimental results on multiple benchmarks show that ExtendOVA significantly outperforms the state-of-the-arts with remarkable advantages.


title: Continuous Pseudo-Labeling from the Start

abstract: Self-training (ST), or pseudo-labeling has sparked significant interest in the automatic speech recognition (ASR) community recently because of its success in harnessing unlabeled data. Unlike prior semi-supervised learning approaches that relied on iteratively regenerating pseudo-labels (PLs) from a trained model and using them to train a new model, recent state-of-the-art methods perform `continuous training' where PLs are generated using a very recent version of the model being trained. Nevertheless, these approaches still rely on bootstrapping the ST using an initial supervised learning phase where the model is trained on labeled data alone. We believe this has the potential for over-fitting to the labeled dataset in low resource settings and that ST from the start of training should reduce over-fitting. In this paper we show how we can do this by dynamically controlling the evolution of PLs during the training process in ASR. To the best of our knowledge, this is the first study that shows the feasibility of generating PLs from the very start of the training. We are able to achieve this using two techniques that avoid instabilities which lead to degenerate models that do not generalize. Firstly, we control the evolution of PLs through a curriculum that uses the online changes in PLs to control the membership of the cache of PLs and improve generalization. Secondly, we find that by sampling transcriptions from the predictive distribution, rather than only using the best transcription, we can stabilize training further. With these techniques, our ST models match prior works without an external language model.


title: Diagonal Tau-Functions of 2D Toda Lattice Hierarchy, Connected $(n,m)$-Point Functions, and Double Hurwitz Numbers

abstract: We derive an explicit formula for the connected $(n,m)$-point functions associated to an arbitrary diagonal tau-function $\tau_f(\boldsymbol{t}^+,\boldsymbol{t}^-)$ of the 2d Toda lattice hierarchy using fermionic computations and the boson-fermion correspondence. Then for fixed $\boldsymbol{t}^-$, we compute the KP-affine coordinates of $\tau_f(\boldsymbol{t}^+,\boldsymbol{t}^-)$. As applications, we present a unified approach to compute various types of connected double Hurwitz numbers, including the ordinary double Hurwitz numbers, the double Hurwitz numbers with completed $r$-cycles, and the mixed double Hurwitz numbers. We also apply this method to the computation of the stationary Gromov-Witten invariants of $\mathbb P^1$ relative to two points.


title: Supervised Prototypical Contrastive Learning for Emotion Recognition in Conversation

abstract: Capturing emotions within a conversation plays an essential role in modern dialogue systems. However, the weak correlation between emotions and semantics brings many challenges to emotion recognition in conversation (ERC). Even semantically similar utterances, the emotion may vary drastically depending on contexts or speakers. In this paper, we propose a Supervised Prototypical Contrastive Learning (SPCL) loss for the ERC task. Leveraging the Prototypical Network, the SPCL targets at solving the imbalanced classification problem through contrastive learning and does not require a large batch size. Meanwhile, we design a difficulty measure function based on the distance between classes and introduce curriculum learning to alleviate the impact of extreme samples. We achieve state-of-the-art results on three widely used benchmarks. Further, we conduct analytical experiments to demonstrate the effectiveness of our proposed SPCL and curriculum learning strategy. We release the code at https://github.com/caskcsg/SPCL.


title: Selective Query-guided Debiasing for Video Corpus Moment Retrieval

abstract: Video moment retrieval (VMR) aims to localize target moments in untrimmed videos pertinent to a given textual query. Existing retrieval systems tend to rely on retrieval bias as a shortcut and thus, fail to sufficiently learn multi-modal interactions between query and video. This retrieval bias stems from learning frequent co-occurrence patterns between query and moments, which spuriously correlate objects (e.g., a pencil) referred in the query with moments (e.g., scene of writing with a pencil) where the objects frequently appear in the video, such that they converge into biased moment predictions. Although recent debiasing methods have focused on removing this retrieval bias, we argue that these biased predictions sometimes should be preserved because there are many queries where biased predictions are rather helpful. To conjugate this retrieval bias, we propose a Selective Query-guided Debiasing network (SQuiDNet), which incorporates the following two main properties: (1) Biased Moment Retrieval that intentionally uncovers the biased moments inherent in objects of the query and (2) Selective Query-guided Debiasing that performs selective debiasing guided by the meaning of the query. Our experimental results on three moment retrieval benchmarks (i.e., TVR, ActivityNet, DiDeMo) show the effectiveness of SQuiDNet and qualitative analysis shows improved interpretability.


title: ReAFFPN: Rotation-equivariant Attention Feature Fusion Pyramid Networks for Aerial Object Detection

abstract: This paper proposes a Rotation-equivariant Attention Feature Fusion Pyramid Networks for Aerial Object Detection named ReAFFPN. ReAFFPN aims at improving the effect of rotation-equivariant features fusion between adjacent layers which suffers from the semantic and scale discontinuity. Due to the particularity of rotational equivariant convolution, general methods are unable to achieve their original effect while ensuring rotation equivariance of the network. To solve this problem, we design a new Rotation-equivariant Channel Attention which has the ability to both generate channel attention and keep rotation equivariance. Then we embed a new channel attention function into Iterative Attentional Feature Fusion (iAFF) module to realize Rotation-equivariant Attention Feature Fusion. Experimental results demonstrate that ReAFFPN achieves a better rotation-equivariant feature fusion ability and significantly improve the accuracy of the Rotation-equivariant Convolutional Networks.


title: On construction of quantum codes with dual-containing quasi-cyclic codes

abstract: One of the main objectives of quantum error-correction theory is to construct quantum codes with optimal parameters and properties. In this paper, we propose a class of 2-generator quasi-cyclic codes and study their applications in the construction of quantum codes over small fields. Firstly, some sufficient conditions for these 2-generator quasi-cyclic codes to be dual-containing concerning Hermitian inner product are determined. Then, we utilize these Hermitian dual-containing quasi-cyclic codes to produce quantum codes via the famous Hermitian construction. Moreover, we present a lower bound on the minimum distance of these quasi-cyclic codes, which is helpful to construct quantum codes with larger lengths and dimensions. As the computational results, many new quantum codes that exceed the quantum Gilbert-Varshamov bound are constructed over $F_q$, where $q$ is $2,3,4,5$. In particular, 16 binary quantum codes raise the lower bound on the minimum distance in Grassl's table \cite{Grassl:codetables}. In nonbinary cases, many quantum codes are new or have better parameters than those in the literature.


title: PROVIDENCE: a Flexible Round-by-Round Risk-Limiting Audit

abstract: A Risk-Limiting Audit (RLA) is a statistical election tabulation audit with a rigorous error guarantee. We present ballot polling RLA PROVIDENCE, an audit with the efficiency of MINERVA and flexibility of BRAVO. We prove that PROVIDENCE is risk-limiting in the presence of an adversary who can choose subsequent round sizes given knowledge of previous samples. We describe a measure of audit workload as a function of the number of rounds, precincts touched, and ballots drawn.We quantify the problem of obtaining a misleading audit sample when rounds are too small, demonstrating the importance of the resulting constraint on audit planning. We present simulation results demonstrating the superiority of PROVIDENCE using these measures and describing an approach to planning audit round schedules. We describe the use of PROVIDENCE by the Rhode Island Board of Elections in a tabulation audit of the 2021 election. Our implementation of PROVIDENCE and audit planning tools in the open source R2B2 library should be useful to the states of Georgia and Pennsylvania, which are planning pre-certification ballot polling RLAs for the 2022 general election.


title: Thermodynamic geometry of the RN-AdS black hole and non-local observables

abstract: In this paper, we show the relation between the thermodynamic geometry of a four-dimensional Reissner-Nordstrom-AdS (RN-AdS) black hole and non-local observables in boundary field theory. Instead of introducing the critical point associating with the black hole charge to nondimensionalize the thermodynamics parameters, we use the cosmological constant to rescale these variables, so that a universal specific equation of state of the black hole is obtained. Further, the correspondence between thermodynamic properties of the black hole and the oscillating behaviors of the non-local observables has been studied numerically. Our results indicate that the study of the dual field theory will reveal to us the thermodynamic geometry of the AdS black hole.


title: A multi-band atomic candle with microwave-dressed Rydberg atoms

abstract: Stabilizing important physical quantities to atom-based standards lies at the heart of modern atomic, molecular and optical physics, and is widely applied to the field of precision metrology. Of particular importance is the atom-based microwave field amplitude stabilizer, the so-called atomic candle. Previous atomic candles are realized with atoms in their ground state, and hence suffer from the lack of frequency band tunability and small stabilization bandwidth, severely limiting their development and potential applications. To tackle these limitations, we employ microwave-dressed Rydberg atoms to realize a novel atomic candle that features multi-band frequency tunability and large stabilization bandwidth. We demonstrate amplitude stabilization of microwave field from C-band to Ka-band, which could be extended to quasi-DC and terahertz fields by exploring abundant Rydberg levels. Our atomic candle achieves stabilization bandwidth of 100 Hz, outperforming previous ones by more than two orders of magnitude. Our simulation indicates the stabilization bandwidth can be further increased up to 100 kHz. Our work paves a route to develop novel electric field control and applications with a noise-resilient, miniaturized, sensitive and broadband atomic candle.


title: Proof of Sendov's conjecture

abstract: Sendov's conjecture, which was first introduced in the last 50s, asserts that if all the zeros of a polynomial $p$ lie in the closed unit disk then for each zero there must be a critical point of $p$ within unit distance. This paper confirms the conjecture.


title: RbX: Region-based explanations of prediction models

abstract: We introduce region-based explanations (RbX), a novel, model-agnostic method to generate local explanations of scalar outputs from a black-box prediction model using only query access. RbX is based on a greedy algorithm for building a convex polytope that approximates a region of feature space where model predictions are close to the prediction at some target point. This region is fully specified by the user on the scale of the predictions, rather than on the scale of the features. The geometry of this polytope - specifically the change in each coordinate necessary to escape the polytope - quantifies the local sensitivity of the predictions to each of the features. These "escape distances" can then be standardized to rank the features by local importance. RbX is guaranteed to satisfy a "sparsity axiom," which requires that features which do not enter into the prediction model are assigned zero importance. At the same time, real data examples and synthetic experiments show how RbX can more readily detect all locally relevant features than existing methods.


title: Shake-up and shake-off effects in neutrinoless double-beta decay

abstract: We revisit the role of shake-up and shake-off effects in neutrinoless double-beta decay, following earlier work by Drukarev et al. We find in agreement with Drukarev et al. that the Q value of the decay is reduced by any atomic excitation in the final-state but not by the difference in atomic binding energy of the initial and final state atoms, as was recently suggested by Mei and Wei. We discuss how the absorption of subsequent atomic de-excitation ejecta shifts the neutrinoless double-beta decay peak back to its nominal value. We propose an in situ experimental verification of these ideas, and discuss the impact of shake-up and shake-off on two-neutrino double-beta decay spectral shapes.


title: Private Data Valuation and Fair Payment in Data Marketplaces

abstract: Data valuation is an essential task in a data marketplace. It aims at fairly compensating data owners for their contribution. There is increasing recognition in the machine learning community that the Shapley value -- a foundational profit-sharing scheme in cooperative game theory -- has major potential to value data, because it uniquely satisfies basic properties for fair credit allocation and has been shown to be able to identify data sources that are useful or harmful to model performance. However, calculating the Shapley value requires accessing original data sources. It still remains an open question how to design a real-world data marketplace that takes advantage of the Shapley value-based data pricing while protecting privacy and allowing fair payments. In this paper, we propose the {\em first} prototype of a data marketplace that values data sources based on the Shapley value in a privacy-preserving manner and at the same time ensures fair payments. Our approach is enabled by a suite of innovations on both algorithm and system design. We firstly propose a Shapley value calculation algorithm that can be efficiently implemented via multiparty computation (MPC) circuits. The key idea is to learn a performance predictor that can directly predict model performance corresponding to an input dataset without performing actual training. We further optimize the MPC circuit design based on the structure of the performance predictor. We further incorporate fair payment into the MPC circuit to guarantee that the data that the buyer pays for is exactly the same as the one that has been valuated. Our experimental results show that the proposed new data valuation algorithm is as effective as the original expensive one. Furthermore, the customized MPC protocol is efficient and scalable.


title: An Ontology-based Method to Identify Triggering Conditions for Perception Insufficiency of Autonomous Vehicles

abstract: The autonomous vehicle (AV) is a safety-critical system relying on complex sensors and algorithms. The AV may confront risk conditions if these sensors and algorithms misunderstand the environment and situation, even though all components are fault-free. The ISO 21448 defined the safety of the intended functionality (SOTIF), aiming to enhance the AV's safety by specifying AV's development and validation process. As required in the ISO 21448, the triggering conditions, which may lead to the vehicle's functional insufficiencies, should be analyzed and verified. However, there is not yet a method to realize a comprehensive and systematic identification of triggering conditions so far. This paper proposed an analysis framework of triggering conditions for the perception system based on the propagation chain of events model, which consists of triggering source, influenced perception stage, and triggering effect. According to the analysis framework, ontologies of triggering source and perception stage were constructed, and the relationships between concepts in ontologies are defined. According to these ontologies, triggering conditions can be generated comprehensively and systematically. The proposed method was applied on an L3 autonomous vehicle, and 20 from 87 triggering conditions identified were tested in the field, among which eight triggering conditions triggered risky behaviors of the vehicle.


title: Engineering imaginary stark ladder in a dissipative lattice: passive $\mathcal{PT}$ symmetry, K symmetry and localized damping

abstract: We study an imaginary stark ladder model and propose a realization of the model in a dissipative chain with linearly increasing site-dependent dissipation strength. Due to the existence of a $K$-symmetry and passive $\mathcal{PT}$ symmetry, the model exhibits quite different feature from its Hermitian counterpart. With the increase of dissipation strength, the system first undergoes a passive $\mathcal{PT}$-symmetry breaking transition, with the shifted eigenvalues changing from real to complex, and then a $K$-symmetry restoring transition, characterized by the emergence of pure imaginary spectrum with equal spacing. Accordingly, the eigenstates change from $\mathcal{PT}$-unbroken extended states to the $\mathcal{PT}$-broken states, and finally to stark localized states. In the framework of the quantum open system governed by Lindblad equation with linearly increasing site-dependent dissipation, we unveil that the dynamical evolution of single particle correlation function is governed by the Hamiltonian of the imaginary stark ladder model. By studying the dynamical evolution of the density distribution under various initial states, we demonstrate that the damping dynamics displays distinct behaviors in different regions. A localized damping is observed in the strong dissipation limit.


title: RARR: Researching and Revising What Language Models Say, Using Language Models

abstract: Language models (LMs) now excel at many tasks such as few-shot learning, question answering, reasoning, and dialog. However, they sometimes generate unsupported or misleading content. A user cannot easily determine whether their outputs are trustworthy or not, because most LMs do not have any built-in mechanism for attribution to external evidence. To enable attribution while still preserving all the powerful advantages of recent generation models, we propose RARR (Retrofit Attribution using Research and Revision), a system that 1) automatically finds attribution for the output of any text generation model and 2) post-edits the output to fix unsupported content while preserving the original output as much as possible. When applied to the output of several state-of-the-art LMs on a diverse set of generation tasks, we find that RARR significantly improves attribution while otherwise preserving the original input to a much greater degree than previously explored edit models. Furthermore, the implementation of RARR requires only a handful of training examples, a large language model, and standard web search.


title: Can Quadruped Navigation Robots be Used as Guide Dogs?

abstract: Quadruped robots have the potential to guide blind and low vision (BLV) people due to their highly flexible locomotion and emotional value provided by their bionic forms. However, the development of quadruped guide robots rarely involves BLV users' participatory designs and evaluations. In this paper, we conducted two empirical experiments both in indoor controlled and outdoor field scenarios, exploring the benefits and drawbacks of quadruped guide robots. The results show that the nowadays commercial quadruped robots exposed significant disadvantages in usability and trust compared with wheeled robots. It is concluded that the moving gait and walking noise of quadruped robots would limit the guiding effectiveness to a certain extent, and the empathetic effect of its bionic form for BLV users could not be fully reflected. Based on the findings of wheeled robots and quadruped robots' advantages, we discuss the design implications for the future guide robot design for BLV users. This paper reports the first empirical experiment about quadruped guide robots with BLV users and preliminary explores their potential improvement space in substituting guide dogs, which can inspire the further specialized design of quadruped guide robots.


title: Fault Injection based Failure Analysis of three CentOS-like Operating Systems

abstract: The reliability of operating system (OS) has always been a major concern in the academia and industry. This paper studies how to perform OS failure analysis by fault injection based on the fault mode library. Firstly, we use the fault mode generation method based on Linux abstract hierarchy structure analysis to systematically define the Linux-like fault modes, construct a Linux fault mode library and develop a fault injection tool based on the fault mode library (FIFML). Then, fault injection experiments are carried out on three commercial Linux distributions, CentOS, Anolis OS and openEuler, to identify their reliability problems and give improvement suggestions. We also use the virtual file systems of these three OSs as experimental objects, to perform fault injection at levels of Light and Normal, measure the performance of 13 common file operations before and after fault injection.