title: Do Transformer Models Show Similar Attention Patterns to Task-Specific Human Gaze?

abstract: Learned self-attention functions in state-of-the-art NLP models often correlate with human attention. We investigate whether self-attention in large-scale pre-trained language models is as predictive of human eye fixation patterns during task-reading as classical cognitive models of human attention. We compare attention functions across two task-specific reading datasets for sentiment analysis and relation extraction. We find the predictiveness of large-scale pre-trained self-attention for human attention depends on `what is in the tail', e.g., the syntactic nature of rare contexts. Further, we observe that task-specific fine-tuning does not increase the correlation with human task-specific reading. Through an input reduction experiment we give complementary insights on the sparsity and fidelity trade-off, showing that lower-entropy attention vectors are more faithful.


title: Label Anchored Contrastive Learning for Language Understanding

abstract: Contrastive learning (CL) has achieved astonishing progress in computer vision, speech, and natural language processing fields recently with self-supervised learning. However, CL approach to the supervised setting is not fully explored, especially for the natural language understanding classification task. Intuitively, the class label itself has the intrinsic ability to perform hard positive/negative mining, which is crucial for CL. Motivated by this, we propose a novel label anchored contrastive learning approach (denoted as LaCon) for language understanding. Specifically, three contrastive objectives are devised, including a multi-head instance-centered contrastive loss (ICL), a label-centered contrastive loss (LCL), and a label embedding regularizer (LER). Our approach does not require any specialized network architecture or any extra data augmentation, thus it can be easily plugged into existing powerful pre-trained language models. Compared to the state-of-the-art baselines, LaCon obtains up to 4.1% improvement on the popular datasets of GLUE and CLUE benchmarks. Besides, LaCon also demonstrates significant advantages under the few-shot and data imbalance settings, which obtains up to 9.4% improvement on the FewGLUE and FewCLUE benchmarking tasks.


title: You Don't Know My Favorite Color: Preventing Dialogue Representations from Revealing Speakers' Private Personas

abstract: Social chatbots, also known as chit-chat chatbots, evolve rapidly with large pretrained language models. Despite the huge progress, privacy concerns have arisen recently: training data of large language models can be extracted via model inversion attacks. On the other hand, the datasets used for training chatbots contain many private conversations between two individuals. In this work, we further investigate the privacy leakage of the hidden states of chatbots trained by language modeling which has not been well studied yet. We show that speakers' personas can be inferred through a simple neural network with high accuracy. To this end, we propose effective defense objectives to protect persona leakage from hidden states. We conduct extensive experiments to demonstrate that our proposed defense objectives can greatly reduce the attack accuracy from 37.6% to 0.5%. Meanwhile, the proposed objectives preserve language models' powerful generation ability.


title: Peeling-off behaviour of the wave equation on the Vaidya spacetime

abstract: We study the peeling for the wave equation on the Vaidya spacetime following the approach developed by Mason and Nicolas in Mason-Nicolas 2009. The idea is to encode the regularity at null infinity of the rescaled field, characterised by Sobolev-type norms, in terms of corresponding function spaces of initial data. All function spaces are obtained from energy fluxes associated with an observer constructed from the Morawetz vector field on Minkowski spacetime. We combine conformal techniques and energy estimates to obtain the optimal classes of initial data ensuring a given regularity of the rescaled field. The classes of data are equivalent with those obtained on Minkowski and Schwarzschild spacetimes in that they impose the same decay at infinity and regularity.


title: RAR-PINN algorithm for the data-driven vector-soliton solutions and parameter discovery of coupled nonlinear equations

abstract: This work aims to provide an effective deep learning framework to predict the vector-soliton solutions of the coupled nonlinear equations and their interactions. The method we propose here is a physics-informed neural network (PINN) combining with the residual-based adaptive refinement (RAR-PINN) algorithm. Different from the traditional PINN algorithm which takes points randomly, the RAR-PINN algorithm uses an adaptive point-fetching approach to improve the training efficiency for the solutions with steep gradients. A series of experiment comparisons between the RAR-PINN and traditional PINN algorithms are implemented to a coupled generalized nonlinear Schr\"{o}dinger (CGNLS) equation as an example. The results indicate that the RAR-PINN algorithm has faster convergence rate and better approximation ability, especially in modeling the shape-changing vector-soliton interactions in the coupled systems. Finally, the RAR-PINN method is applied to perform the data-driven discovery of the CGNLS equation, which shows the dispersion and nonlinear coefficients can be well approximated.


title: An Opposite Gaussian Product Inequality

abstract: The long-standing Gaussian product inequality (GPI) conjecture states that $E [\prod_{j=1}^{n}|X_j|^{\alpha_j}]\geq\prod_{j=1}^{n}E[|X_j|^{\alpha_j}]$ for any centered Gaussian random vector $(X_1,\dots,X_n)$ and any non-negative real numbers $\alpha_j$, $j=1,\ldots,{n}$. In this note, we prove a novel "opposite GPI" for centered bivariate Gaussian random variables when $-1<\alpha_1<0$ and $\alpha_2>0$: $E[|X_1|^{\alpha_1}|X_2|^{\alpha_2}]\le E[|X_1|^{\alpha_1}]E[|X_2|^{\alpha_2}]$. This completes the picture of bivariate Gaussian product relations.


title: Exploring the Trade-off between Plausibility, Change Intensity and Adversarial Power in Counterfactual Explanations using Multi-objective Optimization

abstract: There is a broad consensus on the importance of deep learning models in tasks involving complex data. Often, an adequate understanding of these models is required when focusing on the transparency of decisions in human-critical applications. Besides other explainability techniques, trustworthiness can be achieved by using counterfactuals, like the way a human becomes familiar with an unknown process: by understanding the hypothetical circumstances under which the output changes. In this work we argue that automated counterfactual generation should regard several aspects of the produced adversarial instances, not only their adversarial capability. To this end, we present a novel framework for the generation of counterfactual examples which formulates its goal as a multi-objective optimization problem balancing three different objectives: 1) plausibility, i.e., the likeliness of the counterfactual of being possible as per the distribution of the input data; 2) intensity of the changes to the original input; and 3) adversarial power, namely, the variability of the model's output induced by the counterfactual. The framework departs from a target model to be audited and uses a Generative Adversarial Network to model the distribution of input data, together with a multi-objective solver for the discovery of counterfactuals balancing among these objectives. The utility of the framework is showcased over six classification tasks comprising image and three-dimensional data. The experiments verify that the framework unveils counterfactuals that comply with intuition, increasing the trustworthiness of the user, and leading to further insights, such as the detection of bias and data misrepresentation.


title: RigoBERTa: A State-of-the-Art Language Model For Spanish

abstract: This paper presents RigoBERTa, a State-of-the-Art Language Model for Spanish. RigoBERTa is trained over a well-curated corpus formed up from different subcorpora with key features. It follows the DeBERTa architecture, which has several advantages over other architectures of similar size as BERT or RoBERTa. RigoBERTa performance is assessed over 13 NLU tasks in comparison with other available Spanish language models, namely, MarIA, BERTIN and BETO. RigoBERTa outperformed the three models in 10 out of the 13 tasks, achieving new "State-of-the-Art" results.


title: Federated learning for violence incident prediction in a simulated cross-institutional psychiatric setting

abstract: Inpatient violence is a common and severe problem within psychiatry. Knowing who might become violent can influence staffing levels and mitigate severity. Predictive machine learning models can assess each patient's likelihood of becoming violent based on clinical notes. Yet, while machine learning models benefit from having more data, data availability is limited as hospitals typically do not share their data for privacy preservation. Federated Learning (FL) can overcome the problem of data limitation by training models in a decentralised manner, without disclosing data between collaborators. However, although several FL approaches exist, none of these train Natural Language Processing models on clinical notes. In this work, we investigate the application of Federated Learning to clinical Natural Language Processing, applied to the task of Violence Risk Assessment by simulating a cross-institutional psychiatric setting. We train and compare four models: two local models, a federated model and a data-centralised model. Our results indicate that the federated model outperforms the local models and has similar performance as the data-centralised model. These findings suggest that Federated Learning can be used successfully in a cross-institutional setting and is a step towards new applications of Federated Learning based on clinical notes


title: An Efficient Methodology to Identify Missing Tags in Large-Scale RFID Systems

abstract: Radio frequency identification (RFID) has been widely has broad applications. One such application is to use RFID to track inventory in warehouses and retail stores. In this application, timely identifying the missing items is an ongoing engineering problem. A feasible solution to this problem is to map each tag to a time slot and verify the presence of a tag by comparing the status of the predicted time slot and the actual time slot. However, existing works are time inefficient because they only verify tags one by one in singleton slots but ignore the collision slots mapped by multiple tags. To accelerate the identification process, we use bit tracking to verify tags in collision slots and design two protocols accordingly. We first propose the Sequential String based Missing Tag Identification (SSMTI) protocol, which converts all time slots to collision slots and enables tags in each slot to reply to a designed string simultaneously. By using bit tracking to decode the combined string, the reader can verify multiple tags together. To improve the performance of SSMTI when most tags are missing, we further propose the Interactive String based Missing Tag Identification (ISMTI) protocol. ISMTI improves the strategies of designing strings for each collided tag so that the reader can verify more tags using shorter strings than SSMTI.Besides, ISMTI can dynamically adjust the verification mechanism according to the proportion of missing tags to maintain time efficiency. We also provide theoretical analysis for proposed protocols to minimize execution time and evaluate their performance through extensive simulations. Compared with state-of-the-art solutions, the proposed SSMTI and ISMTI can reduce the time cost by as much as 39.74% and 68.87%.


title: Invariant Extended Kalman Filtering for Human Motion Estimation with Imperfect Sensor Placement

abstract: This paper introduces a new invariant extended Kalman filter design that produces real-time state estimates and rapid error convergence for the estimation of the human body movement even in the presence of sensor misalignment and initial state estimation errors. The filter fuses the data returned by an inertial measurement unit (IMU) attached to the body (e.g., pelvis or chest) and a virtual measurement of zero stance-foot velocity (i.e., leg odometry). The key novelty of the proposed filter lies in that its process model meets the group affine property while the filter explicitly addresses the IMU placement error by formulating its stochastic process model as Brownian motions and incorporating the error in the leg odometry. Although the measurement model is imperfect (i.e., it does not possess an invariant observation form) and thus its linearization relies on the state estimate, experimental results demonstrate fast convergence of the proposed filter (within 0.2 seconds) during squatting motions even under significant IMU placement inaccuracy and initial estimation errors.


title: M3ED: Multi-modal Multi-scene Multi-label Emotional Dialogue Database

abstract: The emotional state of a speaker can be influenced by many different factors in dialogues, such as dialogue scene, dialogue topic, and interlocutor stimulus. The currently available data resources to support such multimodal affective analysis in dialogues are however limited in scale and diversity. In this work, we propose a Multi-modal Multi-scene Multi-label Emotional Dialogue dataset, M3ED, which contains 990 dyadic emotional dialogues from 56 different TV series, a total of 9,082 turns and 24,449 utterances. M3 ED is annotated with 7 emotion categories (happy, surprise, sad, disgust, anger, fear, and neutral) at utterance level, and encompasses acoustic, visual, and textual modalities. To the best of our knowledge, M3ED is the first multimodal emotional dialogue dataset in Chinese. It is valuable for cross-culture emotion analysis and recognition. We apply several state-of-the-art methods on the M3ED dataset to verify the validity and quality of the dataset. We also propose a general Multimodal Dialogue-aware Interaction framework, MDI, to model the dialogue context for emotion recognition, which achieves comparable performance to the state-of-the-art methods on the M3ED. The full dataset and codes are available.


title: Visualizing and Explaining Language Models

abstract: During the last decade, Natural Language Processing has become, after Computer Vision, the second field of Artificial Intelligence that was massively changed by the advent of Deep Learning. Regardless of the architecture, the language models of the day need to be able to process or generate text, as well as predict missing words, sentences or relations depending on the task. Due to their black-box nature, such models are difficult to interpret and explain to third parties. Visualization is often the bridge that language model designers use to explain their work, as the coloring of the salient words and phrases, clustering or neuron activations can be used to quickly understand the underlying models. This paper showcases the techniques used in some of the most popular Deep Learning for NLP visualizations, with a special focus on interpretability and explainability.


title: AGA: An Accelerated Greedy Additional Algorithm for Test Case Prioritization

abstract: In recent years, many test case prioritization (TCP) techniques have been proposed to speed up the process of fault detection. However, little work has taken the efficiency problem of these techniques into account. In this paper, we target the Greedy Additional (GA) algorithm, which has been widely recognized to be effective but less efficient, and try to improve its efficiency while preserving effectiveness. In our Accelerated GA (AGA) algorithm, we use some extra data structures to reduce redundant data accesses in the GA algorithm and thus the time complexity is reduced from $\mathcal{O}(m^2n)$ to $\mathcal{O}(kmn)$ when $n > m$, where $m$ is the number of test cases, $n$ is the number of program elements, and $k$ is the iteration number. Moreover, we observe the impact of iteration numbers on prioritization efficiency on our dataset and propose to use a specific iteration number in the AGA algorithm to further improve the efficiency. We conducted experiments on 55 open-source subjects. In particular, we implemented each TCP algorithm with two kinds of widely-used input formats, adjacency matrix and adjacency list. Since a TCP algorithm with adjacency matrix is less efficient than the algorithm with adjacency list, the result analysis is mainly conducted based on TCP algorithms with adjacency list. The results show that AGA achieves 5.95X speedup ratio over GA on average, while it achieves the same average effectiveness as GA in terms of Average Percentage of Fault Detected (APFD). Moreover, we conducted an industrial case study on 22 subjects, collected from Baidu, and find that the average speedup ratio of AGA over GA is 44.27X, which indicates the practical usage of AGA in real-world scenarios.


title: On the Cosmological Stability of the Higgs Instability

abstract: The Standard Model Higgs potential becomes unstable at large Higgs field values where its quartic coupling becomes negative. While the tunneling lifetime of our current electroweak vacuum is comfortably longer than the age of the universe, quantum fluctuations during inflation might push the Higgs over the barrier, forming patches which might be lethal for our universe. We study the cosmological evolution of such regions and find that, at least in the thin wall approximation, they may be harmless as they collapse due to the backreaction of the Higgs itself. The presence of the Standard Model Higgs instability can provide a novel mechanism to end inflation and to reheat the universe through the evaporation of the black holes left over by the collapse of the Higgs bubbles. The bound on the Hubble rate during inflation may be therefore relaxed.


title: Arbitrary high-order structure-preserving schemes for the generalized Rosenau-type equation

abstract: In this paper, we are concerned with arbitrarily high-order momentum-preserving and energy-preserving schemes for solving the generalized Rosenau-type equation, respectively. The derivation of the momentum-preserving schemes is made within the symplectic Runge-Kutta method, coupled with the standard Fourier pseudo-spectral method in space. Then, combined with the quadratic auxiliary variable approach and the symplectic Runge-Kutta method, together with the standard Fourier pseudo-spectral method, we present a class of high-order mass- and energy-preserving schemes for the Rosenau equation. Finally, extensive numerical tests and comparisons are also addressed to illustrate the performance of the proposed schemes.


title: EXODUS: Stable and Efficient Training of Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) are gaining significant traction in machine learning tasks where energy-efficiency is of utmost importance. Training such networks using the state-of-the-art back-propagation through time (BPTT) is, however, very time-consuming. Previous work by Shrestha and Orchard [2018] employs an efficient GPU-accelerated back-propagation algorithm called SLAYER, which speeds up training considerably. SLAYER, however, does not take into account the neuron reset mechanism while computing the gradients, which we argue to be the source of numerical instability. To counteract this, SLAYER introduces a gradient scale hyperparameter across layers, which needs manual tuning. In this paper, (i) we modify SLAYER and design an algorithm called EXODUS, that accounts for the neuron reset mechanism and applies the Implicit Function Theorem (IFT) to calculate the correct gradients (equivalent to those computed by BPTT), (ii) we eliminate the need for ad-hoc scaling of gradients, thus, reducing the training complexity tremendously, (iii) we demonstrate, via computer simulations, that EXODUS is numerically stable and achieves a comparable or better performance than SLAYER especially in various tasks with SNNs that rely on temporal features. Our code is available at https://github.com/synsense/sinabs-exodus.


title: Near-field focusing using phased arrays with dynamic polarization control

abstract: Phased arrays in near-field communication allow the transmitter to focus wireless signals in a small region around the receiver. Proper focusing is achieved by carefully tuning the phase shifts and the polarization of the signals transmitted from the phased array. In this paper, we study the impact of polarization on near-field focusing and investigate the use of dynamic polarization control (DPC) phased arrays in this context. Our studies indicate that the optimal polarization configuration for near-field focusing varies spatially across the antenna array. Such a spatial variation motivates the need for DPC phased arrays which allow independent polarization control across different antennas. We show using simulations that DPC phased arrays in the near-field achieve a higher received signal-to-noise ratio than conventional switched- or dual-polarization phased arrays.


title: The Well-posedness and Controllability of the Generalized Symmetric Regularized Long Wave System

abstract: The symmetric regularized long wave system (SRLW) is a model for the weakly nonlinear ion acoustic and space-charge waves, which was introduced by C. Seyler and D. Fenstermacher. In this paper, we investigated the wellposedness and controllability properties of the generalized symmetric regularized long wave system (g-SRLW) in different structures (periodic and bounded domains). Firstly, the wellposedness and the exact controllability results for both linear and nonlinear g-SRLW system posed on the one-dimensional torus are obtained under the effect of a distributed moving control. Second, we consider the g-SRLW system in a bounded interval with some Dirichlet-Neumann conditions and we show that the system is not spectrally controllable (No finite linear combination of eigenfunctions associated with the state equations, other than zero, can be steered to zero). Although the system is not spectrally controllable, it can be shown that it is approximately controllable.


title: Microscopic analysis of spin-momentum locking on a geometric phase metasurface

abstract: We revisit spin-orbit coupling in a plasmonic Berry metasurface comprised of rotated nanoapertures, which is known to imprint a robust far-field polarization response. We present a scattering formalism that shows how that spin-momentum locking emerges from the geometry of the unit cell without requiring global rotation symmetries. We find and confirm with Mueller polarimetry measurements that spin-momentum locking is an approximate symmetry. The symmetry breakdown is ascribed to the elliptical projection of circularly polarized light into the planar surface. This breakdown is maximal when surface waves are excited, and a new set of spin-momentum locking rules is presented for this case.


title: Ensuring Transient Stability with Guaranteed Region of Attraction in DC Microgrids

abstract: DC microgrids have promising applications in renewable integration due to their better energy efficiency when connecting DC components. However, they might be unstable since many loads in a DC microgrid are regulated as constant power loads (CPLs) that have a destabilizing negative impedance effect. As a result, the state trajectory displacement caused by abrupt load changes or contingencies can easily lead to instability. Many existing works have been devoted to studying the region of attraction (ROA) of a DC microgrid, in which the system is guaranteed to be asymptotically stable. Nevertheless, existing work either focuses on using numerical methods for ROA approximations that generally have no performance guarantees or cannot ensure a desired ROA for a general DC microgrid. To close this gap, this paper develops an innovative control synthesis algorithm to make a general DC microgrid have a theoretically guaranteed ROA, for example, to cover the entirety of its operating range regarding state trajectories. We first study the nonlinear dynamics of a DC microgrid to derive a novel transient stability condition to rigorously certify whether a given operating range is a subset of the ROA; then, we formulate a control synthesis optimization problem to guarantee the condition's satisfaction. This condition is a linear constraint, and the optimization problem resembles an optimal power flow problem and has a good computational behavior. Simulation case studies verify the validity of the proposed work.


title: SADAM: Stochastic Adam, A Stochastic Operator for First-Order Gradient-based Optimizer

abstract: In this work, to efficiently help escape the stationary and saddle points, we propose, analyze, and generalize a stochastic strategy performed as an operator for a first-order gradient descent algorithm in order to increase the target accuracy and reduce time consumption. Unlike existing algorithms, the proposed stochastic the strategy does not require any batches and sampling techniques, enabling efficient implementation and maintaining the initial first-order optimizer's convergence rate, but provides an incomparable improvement of target accuracy when optimizing the target functions. In short, the proposed strategy is generalized, applied to Adam, and validated via the decomposition of biomedical signals using Deep Matrix Fitting and another four peer optimizers. The validation results show that the proposed random strategy can be easily generalized for first-order optimizers and efficiently improve the target accuracy.


title: The Self-Similarity of Free Semigroups and Groups

abstract: We give a survey on results regarding self-similar and automaton presentations of free groups and semigroups and related products. Furthermore, we discuss open problems and results with respect to algebraic decision problems in this area.


title: Sampling Is All You Need on Modeling Long-Term User Behaviors for CTR Prediction

abstract: Rich user behavior data has been proven to be of great value for Click-Through Rate (CTR) prediction applications, especially in industrial recommender, search, or advertising systems. However, it's non-trivial for real-world systems to make full use of long-term user behaviors due to the strict requirements of online serving time. Most previous works adopt the retrieval-based strategy, where a small number of user behaviors are retrieved first for subsequent attention. However, the retrieval-based methods are sub-optimal and would cause more or less information losses, and it's difficult to balance the effectiveness and efficiency of the retrieval algorithm. In this paper, we propose SDIM (Sampling-based Deep Interest Modeling), a simple yet effective sampling-based end-to-end approach for modeling long-term user behaviors. We sample from multiple hash functions to generate hash signatures of the candidate item and each item in the user behavior sequence, and obtain the user interest by directly gathering behavior items associated with the candidate item with the same hash signature. We show theoretically and experimentally that the proposed method performs on par with standard attention-based models on modeling long-term user behaviors, while being sizable times faster. We also introduce the deployment of SDIM in our system. Specifically, we decouple the behavior sequence hashing, which is the most time-consuming part, from the CTR model by designing a separate module named BSE (behavior Sequence Encoding). BSE is latency-free for the CTR server, enabling us to model extremely long user behaviors. Both offline and online experiments are conducted to demonstrate the effectiveness of SDIM. SDIM now has been deployed online in the search system of Meituan APP.


title: Explanatory machine learning for sequential human teaching

abstract: The topic of comprehensibility of machine-learned theories has recently drawn increasing attention. Inductive Logic Programming (ILP) uses logic programming to derive logic theories from small data based on abduction and induction techniques. Learned theories are represented in the form of rules as declarative descriptions of obtained knowledge. In earlier work, the authors provided the first evidence of a measurable increase in human comprehension based on machine-learned logic rules for simple classification tasks. In a later study, it was found that the presentation of machine-learned explanations to humans can produce both beneficial and harmful effects in the context of game learning. We continue our investigation of comprehensibility by examining the effects of the ordering of concept presentations on human comprehension. In this work, we examine the explanatory effects of curriculum order and the presence of machine-learned explanations for sequential problem-solving. We show that 1) there exist tasks A and B such that learning A before B has a better human comprehension with respect to learning B before A and 2) there exist tasks A and B such that the presence of explanations when learning A contributes to improved human comprehension when subsequently learning B. We propose a framework for the effects of sequential teaching on comprehension based on an existing definition of comprehensibility and provide evidence for support from data collected in human trials. Empirical results show that sequential teaching of concepts with increasing complexity a) has a beneficial effect on human comprehension and b) leads to human re-discovery of divide-and-conquer problem-solving strategies, and c) studying machine-learned explanations allows adaptations of human problem-solving strategy with better performance.


title: In-medium effects in $\phi$ meson production in heavy-ion collisions from subthreshold to relativistic energies

abstract: We investigate the hidden strange $\phi$ meson production in heavy-ion collisions from subthreshold ($E_{kin}\approx 1$ A GeV) to relativistic ($E_{kin}\approx 21$ A TeV) energies as well as its coupling to the open strange mesons (kaons, antikaons) and their productions. Our study is based on the off-shell microscopic Parton-Hadron-String Dynamics (PHSD) transport approach which is applicable for the dynamical description of strongly interacting hadronic and partonic degrees-of-freedom created in heavy-ion collisions. Implementing novel meson-baryon and meson-hyperon production channels for $\phi$ mesons, calculated within a T-matrix coupled channel approach based on the extended SU(6) chiral effective Lagrangian model, along with the collisional broadening of the $\phi$-meson in-medium spectral function, we find a substantial enhancement of $\phi$ meson production in heavy-ion collisions, especially at sub- and near-thresholds. This allows to describe the experimentally observed strong enhancement of the $\phi/K^-$ ratio at low energies without including hypothetical decays of heavy baryonic resonances to $\phi$ as in alternative approaches. Moreover, we show that in spite of a stronger contribution from enhanced $\phi$ to $K^-$ production, the majority of the experimental data for different A+A systems at low energies favor the scenario with in-medium modifications of the kaon and antikaon properties in the hot and dense environment. Moreover, we study the influence of the final state interactions of $K, \bar K$ mesons on the reconstruction of $\phi$'s by the by invariant mass method.


title: Condensation, boundary conditions, and effects of slow sites in zero-range systems

abstract: We consider the space-time scaling limit of the particle mass in zero-range particle systems on a $1$D discrete torus $\mathbb{Z}/N\mathbb{Z}$ with a finite number of defects. We focus on two classes of increasing jump rates $g$, when $g(n)\sim n^\alpha$, for $0<\alpha\leq 1$, and when $g$ is a bounded function. In such a model, a particle at a regular site $k$ jumps equally likely to a neighbor with rate $g(n)$, depending only on the number of particles $n$ at $k$. At a defect site $k_{j,N}$, however, the jump rate is slowed down to $\lambda_j^{-1}N^{-\beta_j}g(n)$ when $g(n)\sim n^\alpha$, and to $\lambda_j^{-1}g(n)$ when $g$ is bounded. Here, $N$ is a scaling parameter where the grid spacing is seen as $1/N$ and time is speeded up by $N^2$. Starting from initial measures with $O(N)$ relative entropy with respect to an invariant measure, we show the hydrodynamic limit and characterize boundary behaviors at the macroscopic defect sites $x_j = \lim_{N\uparrow \infty} k_{j, N}/N$, for all defect strengths. For rates $g(n)\sim n^\alpha$, at critical or super-critical slow sites ($\beta_j=\alpha$ or $\beta_j>\alpha$), associated Dirichlet boundary conditions arise as a result of interactions with evolving atom masses or condensation at the defects. Differently, when $g$ is bounded, at any slow site ($\lambda_j>1$), we find the hydrodynamic density must be bounded above by a threshold value reflecting the strength of the defect. Moreover, due to interactions with masses of atoms stored at the slow sites, the associated boundary conditions bounce between being periodic and Dirichlet.


title: Locality of percolation for graphs with polynomial growth

abstract: Schramm's Locality Conjecture asserts that the value of the critical percolation parameter $p_c$ of a graph satisfying $p_c<1$ depends only on its local structure. In this note, we prove this conjecture in the particular case of transitive graphs with polynomial growth. Our proof relies on two recent works about such graphs, namely supercritical sharpness of percolation by the same authors and a finitary structure theorem by Tessera and Tointon.


title: A Demographic Attribute Guided Approach to Age Estimation

abstract: Face-based age estimation has attracted enormous attention due to wide applications to public security surveillance, human-computer interaction, etc. With vigorous development of deep learning, age estimation based on deep neural network has become the mainstream practice. However, seeking a more suitable problem paradigm for age change characteristics, designing the corresponding loss function and designing a more effective feature extraction module still needs to be studied. What is more, change of face age is also related to demographic attributes such as ethnicity and gender, and the dynamics of different age groups is also quite different. This problem has so far not been paid enough attention to. How to use demographic attribute information to improve the performance of age estimation remains to be further explored. In light of these issues, this research makes full use of auxiliary information of face attributes and proposes a new age estimation approach with an attribute guidance module. We first design a multi-scale attention residual convolution unit (MARCU) to extract robust facial features other than simply using other standard feature modules such as VGG and ResNet. Then, after being especially treated through full connection (FC) layers, the facial demographic attributes are weight-summed by 1*1 convolutional layer and eventually merged with the age features by a global FC layer. Lastly, we propose a new error compression ranking (ECR) loss to better converge the age regression value. Experimental results on three public datasets of UTKFace, LAP2016 and Morph show that our proposed approach achieves superior performance compared to other state-of-the-art methods.


title: Tower: Data Structures in Quantum Superposition

abstract: Emerging quantum algorithms for problems such as element distinctness, subset sum, and closest pair demonstrate computational advantages by relying on abstract data structures. Practically realizing such an algorithm as a program for a quantum computer requires an efficient implementation of the data structure whose operations correspond to unitary operators that manipulate quantum superpositions of data. To correctly operate in superposition, an implementation must satisfy three properties -- reversibility, history independence, and bounded-time execution. Standard implementations, such as the representation of an abstract set as a hash table, fail these properties, calling for tools to develop specialized implementations. In this work, we present Core Tower, the first language for quantum programming with random-access memory. Core Tower enables the developer to implement data structures as pointer-based, linked data. It features a reversible semantics enabling every valid program to be translated to a unitary quantum circuit. We present Boson, the first memory allocator that supports reversible, history-independent, and constant-time dynamic memory allocation in quantum superposition. We also present Tower, a language for quantum programming with recursively defined data structures. Tower features a type system that bounds all recursion using classical parameters as is necessary for a program to execute on a quantum computer. Using Tower, we implement Ground, the first quantum library of data structures, including lists, stacks, queues, strings, and sets. We provide the first executable implementation of sets that satisfies all three mandated properties of reversibility, history independence, and bounded-time execution.


title: The Forecasting performance of the Factor model with Martingale Difference errors

abstract: This paper analyses the forecasting performance of a new class of factor models with martingale difference errors (FMMDE) recently introduced by Lee and Shao (2018). The FMMDE makes it possible to retrieve a transformation of the original series so that the resulting variables can be partitioned according to whether they are conditionally mean-independent with respect to past information. We contribute to the literature in two respects. First, we propose a novel methodology for selecting the number of factors in FMMDE. Through simulation experiments, we show the good performance of our approach for finite samples for various panel data specifications. Second, we compare the forecasting performance of FMMDE with alternative factor model specifications by conducting an extensive forecasting exercise using FRED-MD, a comprehensive monthly macroeconomic database for the US economy. Our empirical findings indicate that FMMDE provides an advantage in predicting the evolution of the real sector of the economy when the novel methodology for factor selection is adopted. These results are confirmed for key aggregates such as Production and Income, the Labor Market, and Consumption.


title: Frontrunning Block Attack in PoA Clique: A Case Study

abstract: As a fundamental technology of decentralized finance (DeFi), blockchain's ability to maintain a distributed fair ledger is threatened by manipulation of block/transaction order. In this paper, we propose a frontrunning block attack against the Clique-based Proof of Authority (PoA) algorithms. Our attack can frontrun blocks from honest in-turn sealers by breaking the proper order of leader selection. By falsifying the priority parameters (both \textit{difficulty} and \textit{delay time}), a malicious out-of-turn sealer can always successfully occupy the leader position and produce advantageous blocks that may contain profitable transactions. As a typical instance, we apply our attack to a mature Clique-engined project, HPB (\$3,058,901, as of April 2022). Experimental results demonstrate the effectiveness and feasibility. Then, we further recommend fixes that make identity checks effective. Our investigation and suggestion have been submitted to its official team and got their approval. We believe this work can act as, at least, a warning case for Clique variants to avoid repeating these design mistakes.


title: Pressure-induced phase transitions and electronic properties Cd2V2O7

abstract: We report a density-functional theory study of the structural and electronic properties of Cd2V2O7 under high-pressure conditions. The calculations have been performed by using first-principle calculations with the CRYSTAL program. The occurrence of two structural phase transitions, at 0.3 and 10.9 GPa, is proposed. The crystal structure of the different high-pressure phases is reported. Interestingly a cubic pyrochlore-type structure is predicted to stabilize under compression. The two phase transitions involve substantial changes in the coordination polyhedra of Cd and V. We have also determined the compressibility and room-temperature equation of state of the three polymorphs of Cd2V2O7. According to our systematic electronic band-structure calculations, at ambient conditions Cd2V2O7 is an indirect wide band-gap material with a band-gap energy of 4.39 eV. In addition, the pressure dependence of the band gap has been determined. In particular, we have found that after the second phase transition the band gap decreases abruptly to a value of 2.56 eV.


title: Random Coordinate Descent for Resource Allocation in Open Multi-Agent Systems

abstract: We propose a method for analyzing the distributed random coordinate descent algorithm for solving separable resource allocation problems in the context of an open multiagent system, where agents can be replaced during the process. In particular, we characterize the evolution of the distance to the minimizer in expectation by following a time-varying optimization approach which builds on two components. First, we establish the linear convergence of the algorithm in closed systems, in terms of the estimate towards the minimizer, for general graphs and appropriate step-size. Second, we estimate the change of the optimal solution after a replacement, in order to evaluate its effect on the distance between the current estimate and the minimizer. From these two elements, we derive stability conditions in open systems and establish the linear convergence of the algorithm towards a steady-state expected error. Our results enable to characterize the trade-off between speed of convergence and robustness to agent replacements, under the assumptions that local functions are smooth, strongly convex, and have their minimizers located in a given ball. The approach proposed in this paper can moreover be extended to other algorithms guaranteeing linear convergence in closed system.


title: Sharp non-uniqueness for the 3D hyperdissipative Navier-Stokes equations: above the Lions exponent

abstract: We study the 3D hyperdissipative Navier-Stokes equations on the torus, where the viscosity exponent $\alpha$ can be larger than the Lions exponent $5/4$. It is well-known that, due to Lions [55], for any $L^2$ divergence-free initial data, there exist unique smooth Leray-Hopf solutions when $\alpha \geq 5/4$. We prove that even in this high dissipative regime, the uniqueness would fail in the supercritical spaces $L^\gamma_tW^{s,p}_x$, in view of the generalized Lady\v{z}enskaja-Prodi-Serrin condition. The non-uniqueness is proved in the strong sense and, in particular, yields the sharpness at two endpoints $(3/p+1-2\alpha, \infty, p)$ and $(2\alpha/\gamma+1-2\alpha, \gamma, \infty)$. Moreover, the constructed solutions are allowed to coincide with the unique Leray-Hopf solutions near the initial time and, more delicately, admit the partial regularity outside a fractal set of singular times with zero Hausdorff $\mathcal{H}^{\eta_*}$ measure, where $\eta_*>0$ is any given small positive constant. These results also provide the sharp non-uniqueness in the supercritical Lebesgue and Besov spaces. Furthermore, the strong vanishing viscosity result is obtained for the hyperdissipative Navier-Stokes equations.


title: Sharp estimates for screened Vlasov-Poisson system around Penrose-stable equilibria in $\mathbb{R}^d $, $ d\geq3$

abstract: In this paper, we study the asymptotic stability of Penrose-stable equilibria among solutions of the screened Vlasov-Poisson system in $\mathbb{R}^d$ with $d\geq 3$ that was first established by Bedrossian, Masmoudi, and Mouhot in \cite{JBedrossian2018} with smooth initial data. More precisely, we prove the sharp decay estimates for the density of the perturbed system, exactly like the free transport with only H\"older (i.e., $C^{a}$ for $0<a<1$) perturbed initial data. This improves the recent works in \cite{HanKwanD2021} by Han-Kwan, Nguyen, and Rousset for lower derivatives of the density and in \cite{NguyenTT2020} by T. Nguyen for higher derivatives with a logarithmic correction in time. Furthermore, we establish new estimates and cancellations of the kernel to the linearized problem to obtain this result. Moreover, we also prove this result for the Vlasov-Poisson system in which the electric field obeys a general nonlinear Poisson equation containing massless electrons/ions case.


title: Response of a baryon-charged medium to energetic partons

abstract: We explore the response to energetic partons of a baryon-charged medium produced in low energy heavy-ion collisions in which the partonic energy loss rate is expected to depend on both temperature and baryon chemical potential. The energy and momentum deposited by the partons are described by dynamical sources added to hydrodynamic equations of motion. We study the distortions of various hydrodynamic quantities, especially the energy and baryon densities, induced by energetic partons plowing through the medium. By studying the contribution from this medium response to the emission spectra of several identified hadron species we identify qualitative differences between the jet-induced modifications for mesons and net protons.


title: HI Vertical Structure of Nearby Edge-on Galaxies from CHANG-ES

abstract: We study the vertical distribution of the highly inclined galaxies from the Continuum Halos in Nearby Galaxies - an EVLA Survey (CHANG-ES). We explore the feasibility of photometrically deriving the HI disk scale-heights from the moment-0 images of the relatively edge-on galaxies with inclination >80 deg, by quantifying the systematic broadening effects and thus deriving correction equations for direct measurements. The corrected HI disk scale-heights of the relatively edge-on galaxies from the CHANG-ES sample show trends consistent with the quasi-equilibrium model of the vertical structure of gas disks. The procedure provide a convenient way to derive the scale-heights and can easily be applied to statistical samples in the future.


title: DEMAND: Deep Matrix Approximately Nonlinear Decomposition to Identify Meta, Canonical, and Sub-Spatial Pattern of functional Magnetic Resonance Imaging in the Human Brain

abstract: Deep Neural Networks (DNNs) have already become a crucial computational approach to revealing the spatial patterns in the human brain; however, there are three major shortcomings in utilizing DNNs to detect the spatial patterns in functional Magnetic Resonance Signals: 1). It is a fully connected architecture that increases the complexity of network structures that is difficult to optimize and vulnerable to overfitting; 2). The requirement of large training samples results in erasing the individual/minor patterns in feature extraction; 3). The hyperparameters are required to be tuned manually, which is time-consuming. Therefore, we propose a novel deep nonlinear matrix factorization named Deep Matrix Approximately Nonlinear Decomposition (DEMAND) in this work to take advantage of the shallow linear model, e.g., Sparse Dictionary Learning (SDL) and DNNs. At first, the proposed DEMAND employs a non-fully connected and multilayer-stacked architecture that is easier to be optimized compared with canonical DNNs; furthermore, due to the efficient architecture, training DEMAND can avoid overfitting and enables the recognition of individual/minor features based on a small dataset such as an individual data; finally, a novel rank estimator technique is introduced to tune all hyperparameters of DEMAND automatically. Moreover, the proposed DEMAND is validated by four other peer methodologies via real functional Magnetic Resonance Imaging data in the human brain. In short, the validation results demonstrate that DEMAND can reveal the reproducible meta, canonical, and sub-spatial features of the human brain more efficiently than other peer methodologies.


title: Accelerating Chemical Exchange Saturation Transfer Imaging Using a Model-based Deep Neural Network With Synthetic Training Data

abstract: Purpose: To develop a model-based deep neural network for high-quality image reconstruction of undersampled multi-coil chemical exchange saturation transfer (CEST) data. Theory and Methods: Inspired by the variational network, the CEST image reconstruction equation is unrolled into a deep neural network (CEST-VN) with a k-space data-sharing block that takes advantage of the inherent redundancy in adjacent CEST frames and 3D spatial-frequential convolution kernels that exploit correlations in the x-{\omega} domain. Additionally, a new pipeline based on multiple-pool Bloch-McConnell simulations is devised to synthesize multi-coil CEST data from publicly available anatomical MRI data. The proposed neural network is trained on simulated data with a CEST-specific loss function that jointly measures the structural and CEST contrast. The performance of CEST-VN was evaluated on three healthy volunteers and five brain tumor patients using retrospectively undersampled data with various acceleration factors, and compared with other state-of-the-art reconstruction methods. Results: The proposed CEST-VN method generated high-quality CEST source images and APT-weighted (APTw) maps in healthy and brain tumor subjects, consistently outperforming GRAPPA, blind compressed sensing, and the original variational network. With the acceleration factors increasing from 3 to 6, CEST-VN with the same hyperparameters yielded similar and accurate reconstruction without apparent loss of details or increase of artifacts. The ablation studies confirmed the effectiveness of the joint CEST-specific loss function and data-sharing block used. Conclusions: The proposed CEST-VN method can offer high-quality CEST source images and APTw maps from highly undersampled multi-coil data by integrating the deep-learning prior and multi-coil sensitivity encoding model.


title: Analysis of Co-Laughter Gesture Relationship on RGB videos in Dyadic Conversation Contex

abstract: The development of virtual agents has enabled human-avatar interactions to become increasingly rich and varied. Moreover, an expressive virtual agent i.e. that mimics the natural expression of emotions, enhances social interaction between a user (human) and an agent (intelligent machine). The set of non-verbal behaviors of a virtual character is, therefore, an important component in the context of human-machine interaction. Laughter is not just an audio signal, but an intrinsic relationship of multimodal non-verbal communication, in addition to audio, it includes facial expressions and body movements. Motion analysis often relies on a relevant motion capture dataset, but the main issue is that the acquisition of such a dataset is expensive and time-consuming. This work studies the relationship between laughter and body movements in dyadic conversations. The body movements were extracted from videos using deep learning based pose estimator model. We found that, in the explored NDC-ME dataset, a single statistical feature (i.e, the maximum value, or the maximum of Fourier transform) of a joint movement weakly correlates with laughter intensity by 30%. However, we did not find a direct correlation between audio features and body movements. We discuss about the challenges to use such dataset for the audio-driven co-laughter motion synthesis task.


title: Reproducibility of the First Image of a Black Hole in the Galaxy M87 from the Event Horizon Telescope (EHT) Collaboration

abstract: This paper presents an interdisciplinary effort aiming to develop and share sustainable knowledge necessary to analyze, understand, and use published scientific results to advance reproducibility in multi-messenger astrophysics. Specifically, we target the breakthrough work associated with the generation of the first image of a black hole, called M87. The image was computed by the Event Horizon Telescope Collaboration. Based on the artifacts made available by EHT, we deliver documentation, code, and a computational environment to reproduce the first image of a black hole. Our deliverables support new discovery in multi-messenger astrophysics by providing all the necessary tools for generalizing methods and findings from the EHT use case. Challenges encountered during the reproducibility of EHT results are reported. The result of our effort is an open-source, containerized software package that enables the public to reproduce the first image of a black hole in the galaxy M87.


title: B-cos Networks: Alignment is All We Need for Interpretability

abstract: We present a new direction for increasing the interpretability of deep neural networks (DNNs) by promoting weight-input alignment during training. For this, we propose to replace the linear transforms in DNNs by our B-cos transform. As we show, a sequence (network) of such transforms induces a single linear transform that faithfully summarises the full model computations. Moreover, the B-cos transform introduces alignment pressure on the weights during optimisation. As a result, those induced linear transforms become highly interpretable and align with task-relevant features. Importantly, the B-cos transform is designed to be compatible with existing architectures and we show that it can easily be integrated into common models such as VGGs, ResNets, InceptionNets, and DenseNets, whilst maintaining similar performance on ImageNet. The resulting explanations are of high visual quality and perform well under quantitative metrics for interpretability. Code available at https://www.github.com/moboehle/B-cos.


title: Global temperature projections from a statistical energy balance model using multiple sources of historical data

abstract: This paper estimates the two-component energy balance model as a linear state space system (EBM-SS model) using historical data. It is a joint model for the temperature in the mixed layer, the temperature in the deep ocean layer, and radiative forcing. The EBM-SS model allows for the modeling of non-stationarity in forcing, the incorporation of multiple data sources for the latent processes, and the handling of missing observations. We estimate the EBM-SS model using observational datasets at the global level for the period 1955 - 2020 by maximum likelihood. We show in the empirical estimation and in simulations that using multiple data sources for the latent processes reduces parameter estimation uncertainty. When fitting the EBM-SS model to eight observational global mean surface temperature (GMST) anomaly series, the physical parameter estimates and the GMST projection under Representative Concentration Pathway (RCP) scenarios are comparable to those from Coupled Model Intercomparison Project 5 (CMIP5) models and the climate emulator Model for the Assessment of Greenhouse Gas Induced Climate Change (MAGICC) 7.5. This provides evidence that utilizing a simple climate model and historical records alone can produce meaningful GMST projections.


title: Schauder estimates for Kolmogorov-Fokker-Planck operators with coefficients measurable in time and H\"{o}lder continuous in space

abstract: We consider degenerate Kolmogorov-Fokker-Planck operators $$ \mathcal{L}u=\sum_{i,j=1}^{q}a_{ij}(x,t)\partial_{x_{i}x_{j}}^{2}u+\sum_{k,j=1}^{N}b_{jk}x_{k}\partial_{x_{j}}u-\partial_{t}u,\qquad (x,t)\in\mathbb{R}^{N+1},N\geq q\geq1 $$ such that the corresponding model operator having constant $a_{ij}$ is hypoelliptic, translation invariant w.r.t. a Lie group operation in $\mathbb{R}^{N+1}$ and $2$-homogeneous w.r.t. a family of nonisotropic dilations. The coefficients $a_{ij}$ are bounded and H\"{o}lder continuous in space (w.r.t. some distance induced by $\mathcal{L}$ in $\mathbb{R}^{N}$) and only bounded measurable in time; the matrix $\{ a_{ij}\}_{i,j=1}^{q}$ is symmetric and uniformly positive on $\mathbb{R}^{q}$. We prove "partial Schauder a priori estimates" the kind $$ \sum_{i,j=1}^{q}\Vert\partial_{x_{i}x_{j}}^{2}u\Vert_{C_{x}^{\alpha}(S_{T})}+\Vert Yu\Vert_{C_{x}^{\alpha}(S_{T})}\leq c\left\{ \Vert\mathcal{L}u\Vert _{C_{x}^{\alpha}(S_{T})}+\Vert u\Vert_{C^{0}(S_{T})}\right\} $$ for suitable functions $u$, where $$ \Vert f\Vert_{C_{x}^{\alpha}(S_{T})}=\sup_{t\leq T}\sup_{x_{1},x_{2}\in\mathbb{R}^{N},x_{1}\neq x_{2}}\frac{\left\vert f\left( x_{1},t\right) -f\left( x_{2},t\right) \right\vert }{\left\Vert x_{1}-x_{2}\right\Vert ^{\alpha}}. $$ We also prove that the derivatives $\partial_{x_{i}x_{j}}^{2}u$ are locally H\"{o}lder continuous in space and time while $\partial_{x_{i}}u$ and $u$ are globally H\"{o}lder continuous in space and time.


title: Compression ensembles quantify aesthetic complexity and the evolution of visual art

abstract: The quantification of visual aesthetics and complexity have a long history, the latter previously operationalized via the application of compression algorithms. Here we generalize and extend the compression approach beyond simple complexity measures to quantify algorithmic distance in historical and contemporary visual media. The proposed "ensemble" approach works by compressing a large number of transformed versions of a given input image, resulting in a vector of associated compression ratios. This approach is more efficient than other compression-based algorithmic distances, and is particularly suited for the quantitative analysis of visual artifacts, because human creative processes can be understood as algorithms in the broadest sense. Unlike comparable image embedding methods using machine learning, our approach is fully explainable through the transformations. We demonstrate that the method is cognitively plausible and fit for purpose by evaluating it against human complexity judgments, and on automated detection tasks of authorship and style. We show how the approach can be used to reveal and quantify trends in art historical data, both on the scale of centuries and in rapidly evolving contemporary NFT art markets. We further quantify temporal resemblance to disambiguate artists outside the documented mainstream from those who are deeply embedded in Zeitgeist. Finally, we note that compression ensembles constitute a quantitative representation of the concept of visual family resemblance, as distinct sets of dimensions correspond to shared visual characteristics otherwise hard to pin down. Our approach provides a new perspective for the study of visual art, algorithmic image analysis, and quantitative aesthetics more generally.


title: Salient Skin Lesion Segmentation via Dilated Scale-Wise Feature Fusion Network

abstract: Skin lesion detection in dermoscopic images is essential in the accurate and early diagnosis of skin cancer by a computerized apparatus. Current skin lesion segmentation approaches show poor performance in challenging circumstances such as indistinct lesion boundaries, low contrast between the lesion and the surrounding area, or heterogeneous background that causes over/under segmentation of the skin lesion. To accurately recognize the lesion from the neighboring regions, we propose a dilated scale-wise feature fusion network based on convolution factorization. Our network is designed to simultaneously extract features at different scales which are systematically fused for better detection. The proposed model has satisfactory accuracy and efficiency. Various experiments for lesion segmentation are performed along with comparisons with the state-of-the-art models. Our proposed model consistently showcases state-of-the-art results.


title: Fluctuations and first-passage properties of systems of Brownian particles with reset

abstract: We study stationary fluctuations in two models involving $N$ Brownian particles undergoing stochastic resetting to the origin in 1d. We start with the basic reset model where the particles reset independently (model A). Then we introduce nonlocal interparticle correlations by postulating that only the particle farthest from the origin is reset (model B). At long times both models approach nonequilibrium steady states. In the limit of $N\to \infty$, the steady-state particle density in model A has an infinite support, whereas in model B it has a compact support. A finite system radius, which scales at large $N$ as $\ln N$, appears in model A when $N$ is finite. In both models we study stationary fluctuations of the center of mass of the system and of the system's radius due to the random character of the Brownian motion and of the resetting events. In model A we determine exact distributions of these two quantities. The variance of the center of mass for both models scales as $1/N$. The variance of the radius is independent of $N$ in model A and exhibits an unusual scaling $(\ln N)/N$ in model B. The latter scaling is intimately related to the $1/f$ noise in the radius autocorrelations. Finally, we evaluate the mean first-passage time (MFPT) to a distant target in model A, model B, and the BBM. For model A we obtain an exact asymptotic expression for the MFPT which scales as $1/N$. For model B, and for the "Brownian bees" model, we propose a sharp upper bound for the MFPT. The bound assumes an ``evaporation" scenario, where the first passage requires multiple attempts of a single particle, which breaks away from the rest of the particles, to reach the target. The resulting MFPT for model B and the Brownian bees model scales exponentially with $\sqrt{N}$. We verify this bound by performing highly efficient weighted-ensemble simulations of the first passage in model B.


title: First extraction of inclusive $V_{cb}$ from $q^2$ moments

abstract: We present the first determination of $V_{cb}$ from inclusive $B\to X_c \ell \bar\nu_\ell$ using moments of the dilepton invariant mass, $q^2$. These moments are reparametrization invariant quantities and depend on a reduced set of non-perturbative parameters. This reduced opens a new path to extract these parameters up to $1/m_b^4$ purely from data and thereby reducing the uncertainty on $V_{cb}$. In this paper, we present our first determination of $V_{cb}$ using this method. Combining the recent measurements of $q^2$ moments by Belle and Belle II, our default fit gives $|V_{cb}| = (41.69\pm 0.63)\cdot 10^{-3}$. This results presents an important independent cross check of, and is consistent with, the previous state-of-the-art inclusive determinations using lepton energy and hadronic invariant mass moments.


title: Stochastic MPC with robustness to bounded parametric uncertainty

abstract: The performance of model-based control techniques strongly depends on the quality of the employed dynamics model. If strong guarantees are desired, it is therefore common to robustly treat all possible sources of uncertainty, such as model inaccuracies or external disturbances. This, however, can result in overly conservative control strategies. In this paper, we present a stochastic model predictive control approach for discrete-time LTI systems subject to bounded parametric uncertainty and potentially unbounded stochastic additive noise. The proposed scheme makes use of homothetic tubes along the prediction horizon for a robust treatment of parametric uncertainty. Stochastic noise is handled by non-conservatively tightening constraints using the concept of probabilistic reachable sets (PRS). In order to accommodate all possible parametric uncertainties, we provide a strategy for generating "robustified" PRS based only on first and second moments of the noise sequence. In the case of quadratic cost functions, and under a further i.i.d. assumption on the noise distribution, we also provide an average asymptotic performance bound for the l2-norm of the closed-loop state. Finally, we demonstrate our scheme on both an illustrative example, and in a building temperature control problem.


title: A parafermionic hypergeometric function and supersymmetric 6j-symbols

abstract: We study properties of a parafermionic generalization of the hyperbolic hypergeometric function appearing as the most important part in the fusion matrix for Liouville field theory and the Racah-Wigner symbols for the Faddeev modular double. We show that this generalized hypergeometric function is a limiting form of the rarefied elliptic hypergeometric function $V^{(r)}$ and derive its transformation properties and a mixed difference-recurrence equation satisfied by it. At the intermediate level we describe symmetries of a more general rarefied hyperbolic hypergeometric function. An important $r=2$ case corresponds to the supersymmetric hypergeometric function given by the integral appearing in the fusion matrix of $N=1$ super Liouville field theory and the Racah-Wigner symbols of the quantum algebra ${\rm U}_q({\rm osp}(1|2))$. We indicate relations to the standard Regge symmetry and prove some previous conjectures for the supersymmetric Racah-Wigner symbols by establishing their different parametrizations.


title: Loco-Manipulation Planning for Legged Robots: Offline and Online Strategies

abstract: The deployment of robots within realistic environments requires the capability to plan and refine the loco-manipulation trajectories on the fly to avoid unexpected interactions with a dynamic environment. This extended abstract provides a pipeline to offline plan a configuration space global trajectory based on a randomized strategy, and to online locally refine it depending on any change of the dynamic environment and the robot state. The offline planner directly plans in the contact space, and additionally seeks for whole-body feasible configurations compliant with the sampled contact states. The planned trajectory, made by a discrete set of contacts and configurations, can be seen as a graph and it can be online refined during the execution of the global trajectory. The online refinement is carried out by a graph optimization planner exploiting visual information. It locally acts on the global initial plan to account for possible changes in the environment. While the offline planner is a concluded work, tested on the humanoid COMAN+, the online local planner is still a work-in-progress which has been tested on a reduced model of the CENTAURO robot to avoid dynamic and static obstacles interfering with a wheeled motion task. Both the COMAN+ and the CENTAURO robots have been designed at the Italian Institute of Technology (IIT).


title: A theoretical framework for self-supervised MR image reconstruction using sub-sampling via variable density Noisier2Noise

abstract: In recent years, there has been attention on leveraging the statistical modeling capabilities of neural networks for reconstructing sub-sampled Magnetic Resonance Imaging (MRI) data. Most proposed methods assume the existence of a representative fully-sampled dataset and use fully-supervised training. However, for many applications, fully sampled training data is not available, and may be highly impractical to acquire. The development and understanding of self-supervised methods, which use only sub-sampled data for training, are therefore highly desirable. This work extends the Noisier2Noise framework, which was originally constructed for self-supervised denoising tasks, to variable density sub-sampled MRI data. We use the Noisier2Noise framework to analytically explain the performance of Self-Supervised Learning via Data Undersampling (SSDU), a recently proposed method that performs well in practice but until now lacked theoretical justification. Further, we propose two modifications of SSDU that arise as a consequence of the theoretical developments. Firstly, we propose partitioning the sampling set so that the subsets have the same type of distribution as the original sampling mask. Secondly, we propose a loss weighting that compensates for the sampling and partitioning densities. On the fastMRI dataset we show that these changes significantly improve SSDU's image restoration quality and robustness to the partitioning parameters.


title: Pre-Train Your Loss: Easy Bayesian Transfer Learning with Informative Priors

abstract: Deep learning is increasingly moving towards a transfer learning paradigm whereby large foundation models are fine-tuned on downstream tasks, starting from an initialization learned on the source task. But an initialization contains relatively little information about the source task. Instead, we show that we can learn highly informative posteriors from the source task, through supervised or self-supervised approaches, which then serve as the basis for priors that modify the whole loss surface on the downstream task. This simple modular approach enables significant performance gains and more data-efficient learning on a variety of downstream classification and segmentation tasks, serving as a drop-in replacement for standard pre-training strategies. These highly informative priors also can be saved for future use, similar to pre-trained weights, and stand in contrast to the zero-mean isotropic uninformative priors that are typically used in Bayesian deep learning.


title: Estimation of smooth functionals of covariance operators: jackknife bias reduction and bounds in terms of effective rank

abstract: Let $E$ be a separable Banach space and let $X, X_1,\dots, X_n, \dots$ be i.i.d. Gaussian random variables taking values in $E$ with mean zero and unknown covariance operator $\Sigma: E^{\ast}\mapsto E.$ The complexity of estimation of $\Sigma$ based on observations $X_1,\dots, X_n$ is naturally characterized by the so called effective rank of $\Sigma:$ ${\bf r}(\Sigma):= \frac{{\mathbb E}_{\Sigma}\|X\|^2}{\|\Sigma\|},$ where $\|\Sigma\|$ is the operator norm of $\Sigma.$ Given a smooth real valued functional $f$ defined on the space $L(E^{\ast},E)$ of symmetric linear operators from $E^{\ast}$ into $E$ (equipped with the operator norm), our goal is to study the problem of estimation of $f(\Sigma)$ based on $X_1,\dots, X_n.$ The estimators of $f(\Sigma)$ based on jackknife type bias reduction are considered and the dependence of their Orlicz norm error rates on effective rank ${\bf r}(\Sigma),$ the sample size $n$ and the degree of H\"older smoothness $s$ of functional $f$ are studied. In particular, it is shown that, if ${\bf r}(\Sigma)\lesssim n^{\alpha}$ for some $\alpha\in (0,1)$ and $s\geq \frac{1}{1-\alpha},$ then the classical $\sqrt{n}$-rate is attainable and, if $s> \frac{1}{1-\alpha},$ then asymptotic normality and asymptotic efficiency of the resulting estimators hold. Previously, the results of this type (for different estimators) were obtained only in the case of finite dimensional Euclidean space $E={\mathbb R}^d$ and for covariance operators $\Sigma$ whose spectrum is bounded away from zero (in which case, ${\bf r}(\Sigma)\asymp d$).


title: Jet kinematics in the transversely stratified jet of 3C 84 A two-decade overview

abstract: 3C84 (NGC1275) is one of the brightest radio sources in the mm radio-bands, which led to a plethora of VLBI observations at numerous frequencies over the years. They reveal a two-sided jet structure, with an expanding but not well-collimated parsec-scale jet, pointing southward. High resolution mm-VLBI observations allow the study and imaging of the jet base on the sub-parsec scale. This could facilitate the investigation of the nature of the jet origin, also in view of the previously detected two-railed jet structure and east-west oriented core region seen with RadioAstron at 22 GHz. We produce VLBI images of this core and inner jet region, observed during the past twenty years at 15, 43, and 86 GHz. We determine the kinematics of the inner jet and ejected features at 43 and 86 GHz and compare their ejection times with radio and $\gamma$-ray variability. For the moving jet features, we find an average velocity of $\beta^\textrm{avg}_\textrm{app} = 0.055-0.22$c ($\mu^\textrm{avg} = 0.04-0.18\,$mas/yr). From the time-averaged VLBI images at the three frequencies, we measure the transverse jet width along the bulk flow. On the $\leq 1.5$ parsec scale, we find a clear trend of the jet width being frequency dependent, with the jet being narrower at higher frequencies. This stratification is discussed in the context of a spine-sheath scenario, and is compared to other possible interpretations. From quasi-simultaneous observations at 43 and 86\,GHz we obtain spectral index maps, revealing a time-variable orientation of the spectral index gradient, due to structural variability of the inner jet.


title: Heterformer: Transformer-based Deep Node Representation Learning on Heterogeneous Text-Rich Networks

abstract: Representation learning on networks aims to derive a meaningful vector representation for each node, thereby facilitating downstream tasks such as link prediction, node classification, and node clustering. In heterogeneous text-rich networks, this task is more challenging due to (1) presence or absence of text: Some nodes are associated with rich textual information, while others are not; (2) diversity of types: Nodes and edges of multiple types form a heterogeneous network structure. As pretrained language models (PLMs) have demonstrated their effectiveness in obtaining widely generalizable text representations, a substantial amount of effort has been made to incorporate PLMs into representation learning on text-rich networks. However, few of them can jointly consider heterogeneous structure (network) information as well as rich textual semantic information of each node effectively. In this paper, we propose Heterformer, a Heterogeneous Network-Empowered Transformer that performs contextualized text encoding and heterogeneous structure encoding in a unified model. Specifically, we inject heterogeneous structure information into each Transformer layer when encoding node texts. Meanwhile, Heterformer is capable of characterizing node/edge type heterogeneity and encoding nodes with or without texts. We conduct comprehensive experiments on three tasks (i.e., link prediction, node classification, and node clustering) on three large-scale datasets from different domains, where Heterformer outperforms competitive baselines significantly and consistently.


title: Relativistic mean-field theories for neutron-star physics based on chiral effective field theory

abstract: We describe and implement a procedure for determining the couplings of a Relativistic Mean-Field Theory (RMFT) that is optimized for application to neutron star phenomenology. In the standard RMFT approach, the couplings are constrained by comparing the theory's predictions for symmetric matter at saturation density with measured nuclear properties. The theory is then applied to neutron stars which consist of neutron-rich matter at densities ranging up to several times saturation density, which allows for additional astrophysical constraints. In our approach, rather than using the RMFT to extrapolate from symmetric to neutron-rich matter and from finite-sized nuclei to uniform matter, we fit the RMFT to properties of uniform pure neutron matter obtained from chiral effective field theory. Chiral effective field theory incorporates the experimental data for nuclei in the framework of a controlled expansion for nuclear forces valid at nuclear densities and enables us to account for theoretical uncertainties when fitting the RMFT. We construct four simple RMFTs that span the uncertainties provided by chiral effective field theory for neutron matter, and are consistent with current astrophysical constraints on the equation of state. Our RMFTs can be used to model the properties of neutron-rich matter across the vast range of densities and temperatures encountered in neutron stars and their mergers.


title: Proof of the Michael-Simon-Sobolev inequality using optimal transport

abstract: We give an alternative proof of the Michael-Simon-Sobolev inequality using techniques from optimal transport. The inequality is sharp for submanifolds of codimension $2$.


title: Last Car Decomposition of Planar Maps

abstract: We give new equations which characterize the generating functions of planar quadrangulations and planar triangulations, with zero, one or two boundaries. The proof is inspired by the Lackner--Panholzer last car decomposition of parking trees (arXiv:1504.04972) and consists in applying a similar decomposition to the peeling trees of planar maps.


title: Spin-defect characteristics of single sulfur vacancies in monolayer $\text{MoS}_2$

abstract: Single spin defects in 2D transition-metal dichalcogenides are natural spin-photon interfaces for quantum applications. Here we report high-field magneto-photoluminescence spectroscopy from three emission lines (Q1, Q2 and Q*) of He-ion induced sulfur vacancies in monolayer $\text{MoS}_2$. Analysis of the asymmetric PL lineshapes in combination with the diamagnetic shift of Q1 and Q2 yields a consistent picture of localized emitters with a wavefunction extent of $\sim$ 3.5 nm. The distinct valley-Zeeman splitting in out-of-plane $B$-fields and the brightening of dark states through in-plane $B$-fields necessitates spin-valley selectivity of the defect states and lifted spin-degeneracy at zero field. Comparing our results to ab-initio calculations identifies the nature of Q1 and Q2 and suggests that Q* is the emission from a chemically functionalized defect. Analysis of the optical degree of circular polarization reveals that the Fermi level is a parameter that enables the tunability of the emitter. These results show that defects in 2D semiconductors may be utilized for quantum technologies.


title: On the SDEs and Scaling Rules for Adaptive Gradient Algorithms

abstract: Approximating Stochastic Gradient Descent (SGD) as a Stochastic Differential Equation (SDE) has allowed researchers to enjoy the benefits of studying a continuous optimization trajectory while carefully preserving the stochasticity of SGD. Analogous study of adaptive gradient methods, such as RMSprop and Adam, has been challenging because there were no rigorously proven SDE approximations for these methods. This paper derives the SDE approximations for RMSprop and Adam, giving theoretical guarantees of their correctness as well as experimental validation of their applicability to common large-scaling vision and language settings. A key practical result is the derivation of a $\textit{square root scaling rule}$ to adjust the optimization hyperparameters of RMSprop and Adam when changing batch size, and its empirical validation in deep learning settings.


title: Viscoelastic levitation

abstract: The effects of viscoelasticity have been shown to manifest themselves via symmetry breaking. In this investigation, we show a novel phenomenon that arises from this idea. We observe that when a dense sphere is rotated near a wall (the rotation being aligned with the wall-normal direction and gravity), it levitates to a fixed distance away from the wall. Since the shear is larger in the gap (between the sphere and the wall) than in the open side of the sphere, the shear-induced elastic stresses are thus asymmetric, resulting in a net elastic vertical force that balances the weight of the sphere. We conduct experiments, theoretic models, and numerical simulations for rotating spheres of various sizes and densities in a Boger-type fluid. In the small Deborah number range, the results are collapsed into a universal trend by considering a dimensionless group of the ratio of elastic to gravitational forces.


title: Heavy quarkonium dynamics at next-to-leading order in the binding energy over temperature

abstract: Using the potential non-relativistic quantum chromodynamics (pNRQCD) effective field theory, we derive a Lindblad equation for the evolution of the heavy-quarkonium reduced density matrix that is accurate to next-to-leading order (NLO) in the ratio of the binding energy of the state to the temperature of the medium. The resulting NLO Lindblad equation can be used to more reliably describe heavy-quarkonium evolution in the quark-gluon plasma at low temperatures compared to the leading-order truncation. For phenomenological application, we numerically solve the resulting NLO Lindblad equation using the quantum trajectories algorithm. To achieve this, we map the solution of the three-dimensional Lindblad equation to the solution of an ensemble of one-dimensional Schr\"odinger evolutions with Monte-Carlo sampled quantum jumps. Averaging over the Monte-Carlo sampled quantum jumps, we obtain the solution to the NLO Lindblad equation without truncation in the angular momentum quantum number of the states considered. We also consider the evolution of the system using only the complex effective Hamiltonian without stochastic jumps and find that this provides a reliable approximation for the ground state survival probability at LO and NLO. Finally, we make comparisons with our prior leading-order pNRQCD results and experimental data available from the ATLAS, ALICE, and CMS collaborations.


title: Semi-Blind Joint Channel and Symbol Estimation for IRS-Assisted MIMO Systems

abstract: Intelligent reflecting surface (IRS) is a promising technology for the 6th generation of wireless systems, realizing the smart radio environment concept. In this paper, we present a novel tensor-based receiver for IRS-assisted multiple-input multiple-output communications capable of jointly estimating the channels and the transmitted data streams in a semi-blind fashion. Assuming a fully passive IRS architecture and introducing a simple space-time coding scheme at the transmitter, the received signal model can be advantageously built using the PARATUCK tensor model, which can be seen as a hybrid of parallel factor analysis and Tucker models. Exploiting the algebraic structure of the PARATUCK tensor model, a semi-blind receiver is derived. The proposed receiver is based on a trilinear alternating least squares method that iteratively estimates the two involved - IRS- base station and user terminal-IRS-communication channels and the transmitted symbol matrix. We discuss identifiability conditions that ensure the joint semi-blind recovery of the involved channel and symbol matrices, and propose a joint design of the coding and IRS reflection matrices to optimize the receiver performance. For the proposed semi-blind receiver, the derivation of the expected Cram\'er-Rao lower bound is also provided. A numerical performance evaluation of the proposed receiver design corroborates its superior performance in terms of the normalized mean squared error of the estimated channels and the achieved symbol error rate.


title: Hyper-diffusion on multiplex networks

abstract: Multiplex networks describe systems whose interactions can be of different nature, and are fundamental to understand complexity of networks beyond the framework of simple graphs. Recently it has been pointed out that restricting the attention to pairwise interactions is also a limitation, as the vast majority of complex systems include higher-order interactions that strongly affect their dynamics. Here, we propose hyper-diffusion on multiplex networks, a dynamical process in which diffusion on each single layer is coupled with the diffusion in other layers thanks to the presence of higher-order interactions occurring when there exists link overlap. We show that hyper-diffusion on a duplex network can be described by the Hyper-Laplacian in which the strength of four-body interactions among every set of four replica nodes connected by a multilink $(1,1)$ can be tuned by a parameter $\delta_{11}\ge 0$. The Hyper-Laplacian reduces to the standard lower Laplacian, capturing pairwise interactions at the two layers, when $\delta_{11}=0$. By combining tools of spectral graph theory, applied topology and network science we provide a general understanding of hyper-diffusion on duplex networks when $\delta_{11}>0$, including theoretical bounds on the Fiedler and the largest eigenvalue of Hyper-Laplacians and the asymptotic expansion of their spectrum for $\delta_{11}\ll1$ and $\delta_{11}\gg1$. Although hyper-diffusion on multiplex networks does not imply a direct ``transfer of mass" among the layers (i.e. the average state of replica nodes in each layer is a conserved quantity of the dynamics), we find that the dynamics of the two layers is coupled as the relaxation to the steady state becomes synchronous when higher-order interactions are taken into account and the Fiedler eigenvalue of the Hyper-Laplacian is not localized in a single layer of the duplex network.


title: QEVSEC: Quick Electric Vehicle SEcure Charging via Dynamic Wireless Power Transfer

abstract: Dynamic Wireless Power Transfer (DWPT) can be used for on-demand recharging of Electric Vehicles (EV) while driving. However, DWPT raises numerous security and privacy concerns. Recently, researchers demonstrated that DWPT systems are vulnerable to adversarial attacks. In an EV charging scenario, an attacker can prevent the authorized customer from charging, obtain a free charge by billing a victim user and track a target vehicle. State-of-the-art authentication schemes relying on centralized solutions are either vulnerable to various attacks or have high computational complexity, making them unsuitable for a dynamic scenario. In this paper, we propose Quick Electric Vehicle SEcure Charging (QEVSEC), a novel, secure, and efficient authentication protocol for the dynamic charging of EVs. Our idea for QEVSEC originates from multiple vulnerabilities we found in the state-of-the-art protocol that allows tracking of user activity and is susceptible to replay attacks. Based on these observations, the proposed protocol solves these issues and achieves lower computational complexity by using only primitive cryptographic operations in a very short message exchange. QEVSEC provides scalability and a reduced cost in each iteration, thus lowering the impact on the power needed from the grid.


title: DELATOR: Money Laundering Detection via Multi-Task Learning on Large Transaction Graphs

abstract: Money laundering has become one of the most relevant criminal activities in modern societies, as it causes massive financial losses for governments, banks and other institutions. Detecting such activities is among the top priorities when it comes to financial analysis, but current approaches are often costly and labor intensive partly due to the sheer amount of data to be analyzed. Hence, there is a growing need for automatic anti-money laundering systems to assist experts. In this work, we propose DELATOR, a novel framework for detecting money laundering activities based on graph neural networks that learn from large-scale temporal graphs. DELATOR provides an effective and efficient method for learning from heavily imbalanced graph data, by adapting concepts from the GraphSMOTE framework and incorporating elements of multi-task learning to obtain rich node embeddings for node classification. DELATOR outperforms all considered baselines, including an off-the-shelf solution from Amazon AWS by 23% with respect to AUC-ROC. We also conducted real experiments that led to the discovery of 7 new suspicious cases among the 50 analyzed ones, which have been reported to the authorities.


title: About the observational check of the mechanism of gamma radiation in Soft Gamma Repeaters (SGR)

abstract: Soft gamma repeaters (SGR) are identified as single neutron stars (NS) inside the Galaxy, or nearby galaxies, with sporadic transient gamma radiation. A total number of discovered SGR, including relative Anomalous X-ray pulsars (AXP), is few tens of objects. Many of them show periodic radiation, connected with NS rotation, with periods 2-12 s. The slow rotation is accompanied by small rate of loss of rotational energy, which is considerably smaller than the observed sporadic gamma ray luminosity, and is many orders less that the luminosity during giant bursts, observed in 4 SGR. Therefore the energy source is usually connected with annihilation of very strong NS magnetic field. Another model is based on release of a nuclear energy stored in the NS nonequilibrium layer. We suggest here an observational test with could distinguish between these two models.


title: Linking sanctions to norms in practice

abstract: Within social simulation, we often want agents to interact both with larger systems of norms, as well as respond to their own and other agents norm violations. However, there are currently no norm specifications that allow us to interact with all of these components. To address this issue, this paper introduces the concept of violation modalities in CTL. These modalities do not only allow us to keep track of violations, but also allow us to define the usual deontic operators. On top of this, they give us a convenient way of linking together various different norms, and allow us to reason about norms with repeated violations and obligations. We will discuss various properties of the modalities and the deontic operators, and will also discuss some ways in which this formalization can guide an implementation of normative systems.


title: Fermion dynamics in presence of non abelian monopoles

abstract: In the present letter, the dynamics of a spin one-half particle with non abelian charge, interacting with a non abelian monopole like configuration, is studied. In the non spinning case, these equations correspond to the Wong ones [1], and the associated dynamics has been extensively studied in [2]-[3]. The classical limit of a spinning particle in an abelian was studied in [4], where an interpretation of the celebrated Callan-Rubakov effect [5]-[6] was obtained in purely classical terms. The present work studies an interpolating situation, in which spin and non abelian charges are turned on. The corresponding equations are obtaining by taking into account some earlier works about spinning particles [7]-[9]. The conservation laws are studied in this context, and it is found that energy and some generalization of angular momentum are conserved just in particular limits. This is a reflection that the non abelian interaction contains gauge field quartic interaction, which spoils the symmetries leading to these conservation laws. The precession of the particle is analyzed and compared with its abelian counterpart in this limit.


title: Sensitivity of (multi)fractal eigenstates to a perturbation of the Hamiltonian

abstract: We study the response of an isolated quantum system governed by the Hamiltonian drawn from the Gaussian Rosenzweig-Porter random matrix ensemble to a perturbation controlled by a small parameter. We focus on the density of states, local density of states and the eigenfunction amplitude overlap correlation functions which are calculated exactly using the mapping to the supersymmetric nonlinear sigma model. We show that the susceptibility of eigenfunction fidelity to the parameter of perturbation can be expressed in terms of these correlation functions and is strongly peaked at the localization transition: It is independent of the effective disorder strength in the ergodic phase, grows exponentially with increasing disorder in the fractal phase and decreases exponentially in the localized phase. As a function of the matrix size, the fidelity susceptibility remains constant in the ergodic phase and increases in the fractal and in the localized phases at modestly strong disorder. We show that there is a critical disorder strength inside the insulating phase such that for disorder stronger than the critical the fidelity susceptibility decreases with increasing the system size. The overall behavior is very similar to the one observed numerically in a recent work by Sels and Polkovnikov [Phys. Rev. E 104, 054105 (2021)] for the normalized fidelity susceptibility in a disordered XXZ spin chain.

categories: cond-mat.dis-nn cond-mat.mes-hall math-ph math.MP


title: Low-cost Relevance Generation and Evaluation Metrics for Entity Resolution in AI

abstract: Entity Resolution (ER) in voice assistants is a prime component during run time that resolves entities in users request to real world entities. ER involves two major functionalities 1. Relevance generation and 2. Ranking. In this paper we propose a low cost relevance generation framework by generating features using customer implicit and explicit feedback signals. The generated relevance datasets can serve as test sets to measure ER performance. We also introduce a set of metrics that accurately measures the performance of ER systems in various dimensions. They provide great interpretability to deep dive and identifying root cause of ER issues, whether the problem is in relevance generation or ranking.


title: Towards Hodge Theoretic Characterizations of 2d Rational SCFTs

abstract: The study of rational conformal field theories in the moduli space is of particular interest since these theories correspond to points in moduli space where the algebraic and arithmetic structure are usually richer, while also being points where non--trivial physics occurs (such as in the study of attractor black holes and BPS states at rational points). This has led to various attempts to characterize and classify such rational points. In this paper, a conjectured characterization by Gukov--Vafa of rational conformal field theories whose target space is a Ricci flat K\"ahler manifold is analyzed carefully for the case of toroidal compactifications. We refine the conjectured statement as well as making an effort to verify it, using $T^4$ compactification as a test case. Seven common properties in terms of Hodge theory (including complex multiplication) have been identified for $T^4$-target rational conformal field theories. By imposing three properties out of the seven, however, there remain $\mathcal N = (1,1)$ SCFTs that are not rational. Open questions, implications and future lines of work are discussed.


title: Convergence of SCF sequences for the Hartree-Fock equation

abstract: The Hartree-Fock equation is a fundamental equation in many-electron problems. It is of practical importance in quantum chemistry to find solutions to the Hartree-Fock equation. The self-consistent field (SCF) method is a standard numerical calculation method to solve the Hartree-Fock equation. In this paper we prove that the sequence of the functions obtained in the SCF procedure is composed of a sequence of pairs of functions that converges after multiplication by appropriate unitary matrices, which strongly ensures the validity of the SCF method. A sufficient condition for the limit to be a solution to the Hartree-Fock equation after multiplication by a unitary matrix is given, and the convergence of the corresponding density operators is also proved. The method is based mainly on the proof of approach of the sequence to a critical set of a functional, compactness of the critical set, and the proof of the \L ojasiewicz inequality for another functional near critical points.


title: Expander Decomposition with Fewer Inter-Cluster Edges Using a Spectral Cut Player

abstract: A $(\phi,\epsilon)$-expander-decomposition of a graph $G$ (with $n$ vertices and $m$ edges) is a partition of $V$ into clusters $V_1,\ldots,V_k$ with conductance $\Phi(G[V_i]) \ge \phi$, such that there are at most $\epsilon m$ inter-cluster edges. Such a decomposition plays a crucial role in many graph algorithms. We give a randomized $\tilde{O}(m/\phi)$ time algorithm for computing a $(\phi, \phi\log^2 {n})$-expander decomposition. This improves upon the $(\phi, \phi\log^3 {n})$-expander decomposition also obtained in $\tilde{O}(m/\phi)$ time by [Saranurak and Wang, SODA 2019] (SW) and brings the number of inter-cluster edges within logarithmic factor of optimal. One crucial component of SW's algorithm is non-stop version of the cut-matching game of [Khandekar, Rao, Vazirani, JACM 2009] (KRV): The cut player does not stop when it gets from the matching player an unbalanced sparse cut, but continues to play on a trimmed part of the large side. The crux of our improvement is the design of a non-stop version of the cleverer cut player of [Orecchia, Schulman, Vazirani, Vishnoi, STOC 2008] (OSVV). The cut player of OSSV uses a more sophisticated random walk, a subtle potential function, and spectral arguments. Designing and analysing a non-stop version of this game was an explicit open question asked by SW.


title: Individual Fairness in Prophet Inequalities

abstract: Prophet inequalities are performance guarantees for online algorithms (a.k.a. stopping rules) solving the following "hiring problem": a decision maker sequentially inspects candidates whose values are independent random numbers and is asked to hire at most one candidate by selecting it before inspecting the values of future candidates in the sequence. A classic result in optimal stopping theory asserts that there exist stopping rules guaranteeing that the decision maker will hire a candidate whose expected value is at least half as good as the expected value of the candidate hired by a "prophet", i.e. one who has simultaneous access to the realizations of all candidates' values. Such stopping rules have provably good performance but might treat individual candidates unfairly in a number of different ways. In this work we identify two types of individual fairness that might be desirable in optimal stopping problems. We call them identity-independent fairness (IIF) and time-independent fairness (TIF) and give precise definitions in the context of the hiring problem. We give polynomial-time algorithms for finding the optimal IIF/TIF stopping rules for a given instance with discrete support and we manage to recover a prophet inequality with factor $1/2$ when the decision maker's stopping rule is required to satisfy both fairness properties while the prophet is unconstrained. We also explore worst-case ratios between optimal selection rules in the presence vs. absence of individual fairness constraints, in both the online and offline settings. Finally, we consider a framework in which the decision maker doesn't know the distributions of candidates' values but has access to independent samples from each distribution. We provide constant-competitive IIF/TIF algorithms using one sample per distribution in the offline setting and two samples per distribution in the online setting.