title: A novel probe of Einstein-Hilbert action: Dynamic upgradation of metric parameters

abstract: The Einstein-Hilbert (EH) action is peculiar in many ways. Some of the Peculiar features have already been highlighted in literature. In the present article, we have discussed some peculiar features of EH action which has not been discussed earlier. It is well-known that there are several ways of decomposing the EH action into the bulk and the surface part with different underlying motivations. We provide a review on all of these decompositions. Then, we attempt to study the static coordinate as a limiting case of a time-dependent coordinate via dynamic upgradation of the constant metric parameters. Firstly, we study the consequences when the constant parameters, present in a static and spherically symmetric (SSS) metric, are promoted to the time dependent variables, which allows us to incorporate the time-dependence in the static coordinate. We find that, in every sets of decomposition, the expression of the bulk term remains invariant, whereas the surface term changes by a total derivative term. Finally, when we obliterate the time dependence of the metric parameters, we find that the expression of the Ricci-scalar (or the EH action) does not go back to its original value. Instead, we find that the curvature becomes singular on the horizon, which implies a topological change from the original spacetime.


title: Uncertainty Calibration in Bayesian Neural Networks via Distance-Aware Priors

abstract: As we move away from the data, the predictive uncertainty should increase, since a great variety of explanations are consistent with the little available information. We introduce Distance-Aware Prior (DAP) calibration, a method to correct overconfidence of Bayesian deep learning models outside of the training domain. We define DAPs as prior distributions over the model parameters that depend on the inputs through a measure of their distance from the training set. DAP calibration is agnostic to the posterior inference method, and it can be performed as a post-processing step. We demonstrate its effectiveness against several baselines in a variety of classification and regression problems, including benchmarks designed to test the quality of predictive distributions away from the data.


title: INFWIDE: Image and Feature Space Wiener Deconvolution Network for Non-blind Image Deblurring in Low-Light Conditions

abstract: Under low-light environment, handheld photography suffers from severe camera shake under long exposure settings. Although existing deblurring algorithms have shown promising performance on well-exposed blurry images, they still cannot cope with low-light snapshots. Sophisticated noise and saturation regions are two dominating challenges in practical low-light deblurring. In this work, we propose a novel non-blind deblurring method dubbed image and feature space Wiener deconvolution network (INFWIDE) to tackle these problems systematically. In terms of algorithm design, INFWIDE proposes a two-branch architecture, which explicitly removes noise and hallucinates saturated regions in the image space and suppresses ringing artifacts in the feature space, and integrates the two complementary outputs with a subtle multi-scale fusion network for high quality night photograph deblurring. For effective network training, we design a set of loss functions integrating a forward imaging model and backward reconstruction to form a close-loop regularization to secure good convergence of the deep neural network. Further, to optimize INFWIDE's applicability in real low-light conditions, a physical-process-based low-light noise model is employed to synthesize realistic noisy night photographs for model training. Taking advantage of the traditional Wiener deconvolution algorithm's physically driven characteristics and arisen deep neural network's representation ability, INFWIDE can recover fine details while suppressing the unpleasant artifacts during deblurring. Extensive experiments on synthetic data and real data demonstrate the superior performance of the proposed approach.


title: Photometric IGM Tomography: Efficiently Mapping Quasar Light Echoes with Deep Narrow Band Imaging

abstract: In the standard picture, episodes of luminous quasar activity are directly related to supermassive black hole (SMBH) growth. The ionising radiation emitted over a quasar's lifetime alters the ionisation state of the surrounding intergalactic medium (IGM), enhancing the Ly$\alpha$ forest transmission -- so-called proximity effect -- which can be observed in absorption spectra of background sources. Owing to the finite speed of light, the transverse direction of the proximity effect is sensitive to the quasar's radiative history, resulting in `light echoes' that encode the growth history of the SMBH on Myr-timescales. In this paper, we introduce a new technique to photometrically map this quasar light echoes using Ly$\alpha$ forest tomography by using a carefully selected pair of narrow-band filters. A foreground narrow-band filter is used to measure Ly$\alpha$ forest transmission along background galaxies selected as Ly$\alpha$ emitters by a background narrow-band filter. This novel double narrow-band tomographic technique utilises the higher throughput and wider field of view of imaging over spectroscopy to efficiently reconstruct a two-dimensional map of Ly$\alpha$ forest transmission around a quasar. We present a fully Bayesian framework to measure the luminous quasar lifetime of a SMBH from photometric IGM tomography, and examine the observational requirements. This new technique provides an efficient strategy to map a large area of the sky with a modest observing time and to identify interesting regions to be examined by further deep 3D follow-up spectroscopic Ly$\alpha$ forest tomography.


title: TESS light curves of cataclysmic variables I -- Unknown periods in long-known stars

abstract: Cataclysmic variables (CVs) exhibit a plethora of variable phenomena many of which require long, uninterrupted light curves to reveal themselves in detail. The month long datasets provided by TESS are well suited for this purpose. TESS has the additional advantage to have observed a huge number of stars, among them many CVs. Here, a search for periodic variations in a sample of CVs of the novalike and old novae subtypes is presented. In 10 of the 15 targets either previously unseen positive or negative superhumps or unusual features in known superhumps are identified. The TESS light curves demonstrate that the occurrence of superhumps in these types of CVs is not an exception but quite common. For 8 systems new or improved values for the orbital period are measured. In TV Col the long-sought optical manifestation of the white dwarf spin period is first seen in form of its orbital sideband. The mystery of multiple photometric periods observed in CP Pup in the past is explained by irregularly occurring anomalous states which are reflected in the light curve.


title: Fast Composite Optimization and Statistical Recovery in Federated Learning

abstract: As a prevalent distributed learning paradigm, Federated Learning (FL) trains a global model on a massive amount of devices with infrequent communication. This paper investigates a class of composite optimization and statistical recovery problems in the FL setting, whose loss function consists of a data-dependent smooth loss and a non-smooth regularizer. Examples include sparse linear regression using Lasso, low-rank matrix recovery using nuclear norm regularization, etc. In the existing literature, federated composite optimization algorithms are designed only from an optimization perspective without any statistical guarantees. In addition, they do not consider commonly used (restricted) strong convexity in statistical recovery problems. We advance the frontiers of this problem from both optimization and statistical perspectives. From optimization upfront, we propose a new algorithm named \textit{Fast Federated Dual Averaging} for strongly convex and smooth loss and establish state-of-the-art iteration and communication complexity in the composite setting. In particular, we prove that it enjoys a fast rate, linear speedup, and reduced communication rounds. From statistical upfront, for restricted strongly convex and smooth loss, we design another algorithm, namely \textit{Multi-stage Federated Dual Averaging}, and prove a high probability complexity bound with linear speedup up to optimal statistical precision. Experiments in both synthetic and real data demonstrate that our methods perform better than other baselines. To the best of our knowledge, this is the first work providing fast optimization algorithms and statistical recovery guarantees for composite problems in FL.


title: Calibration-Aware Transpilation for Variational Quantum Optimization

abstract: Today's Noisy Intermediate-Scale Quantum (NISQ) computers support only limited sets of available quantum gates and restricted connectivity. Therefore, quantum algorithms must be transpiled in order to become executable on a given NISQ computer; transpilation is a complex and computationally heavy process. Moreover, NISQ computers are affected by noise that changes over time, and periodic calibration provides relevant error rates that should be considered during transpilation. Variational algorithms, which form one main class of computations on NISQ platforms, produce a number of similar yet not identical quantum ``ansatz'' circuits. In this work, we present a transpilation methodology optimized for variational algorithms under potentially changing error rates. We divide transpilation into three steps: (1) noise-unaware and computationally heavy pre-transpilation; (2) fast noise-aware matching; and (3) fast decomposition followed by heuristic optimization. For a complete run of a variational algorithm under constant error rates, only step (3) needs to be executed for each new ansatz circuit. Step (2) is required only if the error rates reported by calibration have changed significantly since the beginning of the computation. The most expensive Step (1) is executed only once for the whole run. This distribution is helpful for incremental, calibration-aware transpilation when the variational algorithm adapts its own execution to changing error rates. Experimental results on IBM's quantum computer show the low latency and robust results obtained by calibration-aware transpilation.


title: An elliptic curve over Q(u) with torsion Z/4Z and rank 6

abstract: In this note we present the main details of the construction of an elliptic curve over $\mathbb{Q}(u)$ with torsion $\mathbb{Z}/4\mathbb{Z}$ and rank 6. Previously only rank 5 examples for such curves were known.


title: Line Segment Tracking in the HL-LHC

abstract: The major challenge posed by the high instantaneous luminosity in the High Luminosity LHC (HL-LHC) motivates efficient and fast reconstruction of charged particle tracks in a high pile-up environment. While there have been efforts to use modern techniques like vectorization to improve the existing classic Kalman Filter based reconstruction algorithms, Line Segment Tracking takes a fundamentally different approach by doing a bottom-up reconstruction of tracks. Small track stubs from adjoining detector regions are constructed, and then these track stubs that are consistent with typical track trajectories are successively linked. Since the production of these track stubs is localized, they can be made in parallel, which lends way into using architectures like GPUs and multi-CPUs to take advantage of the parallelism. The algorithm is implemented in the context of the CMS Phase-2 Tracker and runs on NVIDIA Tesla V100 GPUs. Good physics and timing performance has been obtained, and stepping stones for the future are elaborated.


title: Unsupervised Medical Image Translation with Adversarial Diffusion Models

abstract: Imputation of missing images via source-to-target modality translation can improve diversity in medical imaging protocols. A pervasive approach for synthesizing target images involves one-shot mapping through generative adversarial networks (GAN). Yet, GAN models that implicitly characterize the image distribution can suffer from limited sample fidelity. Here, we propose a novel method based on adversarial diffusion modeling, SynDiff, for improved performance in medical image translation. To capture a direct correlate of the image distribution, SynDiff leverages a conditional diffusion process that progressively maps noise and source images onto the target image. For fast and accurate image sampling during inference, large diffusion steps are taken with adversarial projections in the reverse diffusion direction. To enable training on unpaired datasets, a cycle-consistent architecture is devised with coupled diffusive and non-diffusive modules that bilaterally translate between two modalities. Extensive assessments are reported on the utility of SynDiff against competing GAN and diffusion models in multi-contrast MRI and MRI-CT translation. Our demonstrations indicate that SynDiff offers quantitatively and qualitatively superior performance against competing baselines.


title: Actions of finite group schemes on curves

abstract: Every action of a finite group scheme $G$ on a variety admits a projective equivariant model, but not necessarily a normal one. As a remedy, we introduce and explore the notion of $G$-normalization. In particular, every curve equipped with a $G$-action has a unique projective $G$-normal model, characterized by the invertibility of ideal sheaves of all orbits. Also, $G$-normal curves occur naturally in some questions on surfaces in positive characteristics.


title: A Simple Test-Time Method for Out-of-Distribution Detection

abstract: Neural networks are known to produce over-confident predictions on input images, even when these images are out-of-distribution (OOD) samples. This limits the applications of neural network models in real-world scenarios, where OOD samples exist. Many existing approaches identify the OOD instances via exploiting various cues, such as finding irregular patterns in the feature space, logits space, gradient space or the raw space of images. In contrast, this paper proposes a simple Test-time Linear Training (ETLT) method for OOD detection. Empirically, we find that the probabilities of input images being out-of-distribution are surprisingly linearly correlated to the features extracted by neural networks. To be specific, many state-of-the-art OOD algorithms, although designed to measure reliability in different ways, actually lead to OOD scores mostly linearly related to their image features. Thus, by simply learning a linear regression model trained from the paired image features and inferred OOD scores at test-time, we can make a more precise OOD prediction for the test instances. We further propose an online variant of the proposed method, which achieves promising performance and is more practical in real-world applications. Remarkably, we improve FPR95 from $51.37\%$ to $12.30\%$ on CIFAR-10 datasets with maximum softmax probability as the base OOD detector. Extensive experiments on several benchmark datasets show the efficacy of ETLT for OOD detection task.


title: Nonlinear function-on-function regression by RKHS

abstract: We propose a nonlinear function-on-function regression model where both the covariate and the response are random functions. The nonlinear regression is carried out in two steps: we first construct Hilbert spaces to accommodate the functional covariate and the functional response, and then build a second-layer Hilbert space for the covariate to capture nonlinearity. The second-layer space is assumed to be a reproducing kernel Hilbert space, which is generated by a positive definite kernel determined by the inner product of the first-layer Hilbert space for $X$--this structure is known as the nested Hilbert spaces. We develop estimation procedures to implement the proposed method, which allows the functional data to be observed at different time points for different subjects. Furthermore, we establish the convergence rate of our estimator as well as the weak convergence of the predicted response in the Hilbert space. Numerical studies including both simulations and a data application are conducted to investigate the performance of our estimator in finite sample.


title: RT-KGD: Relation Transition Aware Knowledge-Grounded Dialogue Generation

abstract: Grounding dialogue system with external knowledge is a promising way to improve the quality of responses. Most existing works adopt knowledge graphs (KGs) as the external resources, paying attention to the contribution of entities in the last utterance of the dialogue for context understanding and response generation. Nevertheless, the correlations between knowledge implied in the multi-turn context and the transition regularities between relations in KGs are under-explored. To this end, we propose a Relation Transition aware Knowledge-Grounded Dialogue Generation model (RT-KGD). Specifically, inspired by the latent logic of human conversation, our model integrates dialogue-level relation transition regularities with turn-level entity semantic information. In this manner, the interaction between knowledge is considered to produce abundant clues for predicting the appropriate knowledge and generating coherent responses. The experimental results on both automatic evaluation and manual evaluation indicate that our model outperforms state-of-the-art baselines.


title: Compensation of Phase Noise in Massive-MIMO Uplink Communications Based on Expectation-Maximization Algorithm

abstract: Phase noise (PN) is a major disturbance in MIMO systems, where the contribution of different oscillators at the transmitter and the receiver side may degrade the overall performance and offset the gains offered by MIMO techniques. This is even more crucial in the case of massive MIMO, since the number of PN sources may increase considerably. In this work, we propose an iterative receiver based on the application of the expectation-maximization algorithm. We consider a massive MIMO framework with a general association of oscillators to antennas, and include other channel disturbances like imperfect channel state information and Rician block fading. At each receiver iteration, given the information on the transmitted symbols, steepest descent is used to estimate the PN samples, with an optimized adaptive step size and a threshold-based stopping rule. The results obtained for several test cases show how the bit error rate and mean square error can benefit from the proposed phase-detection algorithm, even to the point of reaching the same performance as in the case where no PN is present, offering better results than a state-of-the-art alternative. Further analysis of the results allow to draw some useful trade-offs respecting final performance and consumption of resources.


title: FEJ-VIRO: A Consistent First-Estimate Jacobian Visual-Inertial-Ranging Odometry

abstract: In recent years, Visual-Inertial Odometry (VIO) has achieved many significant progresses. However, VIO methods suffer from localization drift over long trajectories. In this paper, we propose a First-Estimates Jacobian Visual-Inertial-Ranging Odometry (FEJ-VIRO) to reduce the localization drifts of VIO by incorporating ultra-wideband (UWB) ranging measurements into the VIO framework \textit{consistently}. Considering that the initial positions of UWB anchors are usually unavailable, we propose a long-short window structure to initialize the UWB anchors' positions as well as the covariance for state augmentation. After initialization, the FEJ-VIRO estimates the UWB anchors' positions simultaneously along with the robot poses. We further analyze the observability of the visual-inertial-ranging estimators and proved that there are \textit{four} unobservable directions in the ideal case, while one of them vanishes in the actual case due to the gain of spurious information. Based on these analyses, we leverage the FEJ technique to enforce the unobservable directions, hence reducing inconsistency of the estimator. Finally, we validate our analysis and evaluate the proposed FEJ-VIRO with both simulation and real-world experiments.


title: Optimizing out-of-plane stiffness for soft grippers

abstract: In this paper, we presented a data-driven framework to optimize the out-of-plane stiffness for soft grippers to achieve mechanical properties as hard-to-twist and easy-to-bend. The effectiveness of this method is demonstrated in the design of a soft pneumatic bending actuator (SPBA). First, a new objective function is defined to quantitatively evaluate the out-of-plane stiffness as well as the bending performance. Then, sensitivity analysis is conducted on the parametric model of an SPBA design to determine the optimized design parameters with the help of Finite Element Analysis (FEA). To enable the computation of numerical optimization, a data-driven approach is employed to learn a cost function that directly represents the out-of-plane stiffness as a differentiable function of the design variables. A gradient-based method is used to maximize the out-of-plane stiffness of the SPBA while ensuring specific bending performance. The effectiveness of our method has been demonstrated in physical experiments taken on 3D-printed grippers.


title: The Variable Projected Augmented Lagrangian Method

abstract: Inference by means of mathematical modeling from a collection of observations remains a crucial tool for scientific discovery and is ubiquitous in application areas such as signal compression, imaging restoration, and supervised machine learning. The inference problems may be solved using variational formulations that provide theoretically proven methods and algorithms. With ever-increasing model complexities and growing data size, new specially designed methods are urgently needed to recover meaningful quantifies of interest. We consider the broad spectrum of linear inverse problems where the aim is to reconstruct quantities with a sparse representation on some vector space; often solved using the (generalized) least absolute shrinkage and selection operator (lasso). The associated optimization problems have received significant attention, in particular in the early 2000's, because of their connection to compressed sensing and the reconstruction of solutions with favorable sparsity properties using augmented Lagrangians, alternating directions and splitting methods. We provide a new perspective on the underlying l1 regularized inverse problem by exploring the generalized lasso problem through variable projection methods. We arrive at our proposed variable projected augmented Lagrangian (vpal) method. We analyze this method and provide an approach for automatic regularization parameter selection based on a degrees of freedom argument. Further, we provide numerical examples demonstrating the computational efficiency for various imaging problems.


title: Extracting and Visualizing Wildlife Trafficking Events from Wildlife Trafficking Reports

abstract: Experts combating wildlife trafficking manually sift through articles about seizures and arrests, which is time consuming and make identifying trends difficult. We apply natural language processing techniques to automatically extract data from reports published by the Eco Activists for Governance and Law Enforcement (EAGLE). We expanded Python spaCy's pre-trained pipeline and added a custom named entity ruler, which identified 15 fully correct and 36 partially correct events in 15 reports against an existing baseline, which did not identify any fully correct events. The extracted wildlife trafficking events were inserted to a database. Then, we created visualizations to display trends over time and across regions to support domain experts. These are accessible on our website, Wildlife Trafficking in Africa (https://wildlifemqp.github.io/Visualizations/).


title: Thermodynamic bounds for diffusion in non-equilibrium systems with multiple timescales

abstract: We derive a Thermodynamic Uncertainty Relation bounding the mean squared displacement of a Gaussian process with memory, driven out of equilibrium by unbalanced thermal baths and/or by external forces. Our bound is tighter with respect to previous results and also holds at finite time. We apply our findings to experimental and numerical data for a many-body interacting granular fluid, characterized by regimes of anomalous diffusion. In some cases, our relation can distinguish between equilibrium and non-equilibrium behavior, a non-trivial inference task, particularly for Gaussian processes.


title: Gradients should stay on Path: Better Estimators of the Reverse- and Forward KL Divergence for Normalizing Flows

abstract: We propose an algorithm to estimate the path-gradient of both the reverse and forward Kullback-Leibler divergence for an arbitrary manifestly invertible normalizing flow. The resulting path-gradient estimators are straightforward to implement, have lower variance, and lead not only to faster convergence of training but also to better overall approximation results compared to standard total gradient estimators. We also demonstrate that path-gradient training is less susceptible to mode-collapse. In light of our results, we expect that path-gradient estimators will become the new standard method to train normalizing flows for variational inference.


title: Fast-MoCo: Boost Momentum-based Contrastive Learning with Combinatorial Patches

abstract: Contrastive-based self-supervised learning methods achieved great success in recent years. However, self-supervision requires extremely long training epochs (e.g., 800 epochs for MoCo v3) to achieve promising results, which is unacceptable for the general academic community and hinders the development of this topic. This work revisits the momentum-based contrastive learning frameworks and identifies the inefficiency in which two augmented views generate only one positive pair. We propose Fast-MoCo - a novel framework that utilizes combinatorial patches to construct multiple positive pairs from two augmented views, which provides abundant supervision signals that bring significant acceleration with neglectable extra computational cost. Fast-MoCo trained with 100 epochs achieves 73.5% linear evaluation accuracy, similar to MoCo v3 (ResNet-50 backbone) trained with 800 epochs. Extra training (200 epochs) further improves the result to 75.1%, which is on par with state-of-the-art methods. Experiments on several downstream tasks also confirm the effectiveness of Fast-MoCo.


title: Expanders on matrices over a finite chain ring, I

abstract: In this work and its sequel, we study the expanding phenomenon of matrices over a finite chain ring of large residue field. A sum-product estimate is proved. It is showed that $x+yz$ is a moderate expander on $n\times n$ matrices with exponent $\frac{n+1}{6}$. These results generalise the main theorems in a recent work of Xie and Ge. The proofs use spectral graph theory and elementary divisor theory.


title: Local-realistic Bohmian trajectories: a non-Bohmian approach to wave-particle duality

abstract: We present a local-realistic description of both wave-particle duality and Bohmian trajectories. Our approach is relativistic and based on Hamilton's principle of classical mechanics, but departs from its standard setting in two respects. First, we address an ensemble of extremal curves, the so-called Mayer field, instead of focusing on a single extremal curve. Second, we assume that there is a scale, below which we can only probabilistically assess which extremal curve in the ensemble is actually realized. The continuity equation ruling the conservation of probability represents a subsidiary condition for Hamilton's principle. As a consequence, the ensemble of extremals acquires a dynamics that is ruled by Maxwell equations. These equations are thus shown to also rule some non-electromagnetic phenomena. While particles follow well-defined trajectories, the field of extremals can display wave behavior.


title: Complex organic molecules detected in twelve high-mass star-forming regions with Atacama Large Millimeter/submillimeter Array (ALMA)

abstract: Recent astrochemical models and experiments have explained that complex organic molecules (COMs; molecules composed of six or more atoms) are produced on the dust grain mantles in cold and dense gas in prestellar cores. However, the detailed chemical processes and the roles of physical conditions on chemistry are still far from understood. To address these questions, we investigated twelve high-mass star-forming regions using the ALMA band 6 observations. They are associated with 44/95GHz class I and 6.7 GHz class II CH$_{3}$OH masers, indicative of undergoing active accretion. We found 28 hot cores with COMs emission among 68 continuum peaks at 1.3 mm and specified 10 hot cores associated with 6.7 GHz class II CH$_{3}$OH masers. Up to 19 COMs are identified including oxygen- and nitrogen-bearing molecules and their isotopologues in cores. The derived abundances show a good agreement with those from other low- and high-mass star-forming regions, implying that the COMs chemistry is predominantly set by the ice chemistry in the prestellar core stage. One clear trend is that the COMs detection rate steeply grows with the gas column density, which can be attributed to the efficient formation of COMs in dense cores. In addition, cores associated with a 6.7 GHz class II CH$_{3}$OH maser tend to be enriched with COMs. Finally, our results suggest that the enhanced abundances of several molecules in our hot cores could be originated by the active accretion as well as different physical conditions of cores.


title: Learning with Recoverable Forgetting

abstract: Life-long learning aims at learning a sequence of tasks without forgetting the previously acquired knowledge. However, the involved training data may not be life-long legitimate due to privacy or copyright reasons. In practical scenarios, for instance, the model owner may wish to enable or disable the knowledge of specific tasks or specific samples from time to time. Such flexible control over knowledge transfer, unfortunately, has been largely overlooked in previous incremental or decremental learning methods, even at a problem-setup level. In this paper, we explore a novel learning scheme, termed as Learning wIth Recoverable Forgetting (LIRF), that explicitly handles the task- or sample-specific knowledge removal and recovery. Specifically, LIRF brings in two innovative schemes, namely knowledge deposit and withdrawal, which allow for isolating user-designated knowledge from a pre-trained network and injecting it back when necessary. During the knowledge deposit process, the specified knowledge is extracted from the target network and stored in a deposit module, while the insensitive or general knowledge of the target network is preserved and further augmented. During knowledge withdrawal, the taken-off knowledge is added back to the target network. The deposit and withdraw processes only demand for a few epochs of finetuning on the removal data, ensuring both data and time efficiency. We conduct experiments on several datasets, and demonstrate that the proposed LIRF strategy yields encouraging results with gratifying generalization capability.


title: Teaching Qubits to Sing: Mission Impossible?

abstract: This paper introduces a system that learns to sing new tunes by listening to examples. It extracts sequencing rules from input music and uses these rules to generate new tunes, which are sung by a vocal synthesiser. We developed a method to represent rules for musical composition as quantum circuits. We claim that such musical rules are quantum native: they are naturally encodable in the amplitudes of quantum states. To evaluate a rule to generate a subsequent event, the system builds the respective quantum circuit dynamically and measures it. After a brief discussion about the vocal synthesis methods that we have been experimenting with, the paper introduces our novel generative music method through a practical example. The paper shows some experiments and concludes with a discussion about harnessing the creative potential of the system.


title: An Intelligent Deterministic Scheduling Method for Ultra-Low Latency Communication in Edge Enabled Industrial Internet of Things

abstract: Edge enabled Industrial Internet of Things (IIoT) platform is of great significance to accelerate the development of smart industry. However, with the dramatic increase in real-time IIoT applications, it is a great challenge to support fast response time, low latency, and efficient bandwidth utilization. To address this issue, Time Sensitive Network (TSN) is recently researched to realize low latency communication via deterministic scheduling. To the best of our knowledge, the combinability of multiple flows, which can significantly affect the scheduling performance, has never been systematically analyzed before. In this article, we first analyze the combinability problem. Then a non-collision theory based deterministic scheduling (NDS) method is proposed to achieve ultra-low latency communication for the time-sensitive flows. Moreover, to improve bandwidth utilization, a dynamic queue scheduling (DQS) method is presented for the best-effort flows. Experiment results demonstrate that NDS/DQS can well support deterministic ultra-low latency services and guarantee efficient bandwidth utilization.


title: Autonomous Navigation in Confined Waters -- A COLREGs Rule 9 Compliant Framework

abstract: Fully or partial autonomous marine vessels are actively being developed by many industry actors. In many cases, the autonomous vessels will be operating close to shore, and within range of a Remote Control Center (RCC). Close to shore operation requires that the autonomous vessel is able to navigate in close proximity to other autonomous or manned vessels, and possibly in confined waters, while obeying the COLREGs on equal terms as any other vessel at sea. In confined waters however, certain COLREGs rules apply, which might alter the expected actions (give-way or stand-on), depending on the manoeuvrability of the vessels. This paper presents a Situation Awareness (SAS) framework for autonomous navigation that complies with COLREGs rule 9 (Narrow Channels). The proposed solution comprises a method for evaluating the manoeuvrability of a vessel in confined waters, for assessing the applicability of COLREGs rule 9. This feature is then integrated into an already existing SAS framework for facilitating COLREGs-compliant navigation in restricted waters. The applicability of the proposed method is demonstrated in simulation using a case study of a small autonomous passenger ferry.


title: Topological states in double monolayer graphene

abstract: Motivated by the experiments on double monolayer graphene that observe a variety of fractional quantum Hall states [Liu et al., Nat. Phys. 15, 893 (2019); Li et al., Nat. Phys. 15, 898 (2019)], we study the special setting in which two monolayers have different areas. It has not been considered before and allows us to construct a class of exotic topological states. The elementary excitations of these states do not carry fractional charges but obey fractional statistics. This is in sharp contrast to all previously studied cases, where the two properties are intimately connected and serve as hallmarks of fractional quantum Hall states. Numerical calculations are performed to demonstrate that some states can be realized with realistic parameters.


title: Guaranteed Discovery of Control-Endogenous Latent States with Multi-Step Inverse Models

abstract: In many sequential decision-making tasks, the agent is not able to model the full complexity of the world, which consists of multitudes of relevant and irrelevant information. For example, a person walking along a city street who tries to model all aspects of the world would quickly be overwhelmed by a multitude of shops, cars, and people moving in and out of view, each following their own complex and inscrutable dynamics. Is it possible to turn the agent's firehose of sensory information into a minimal latent state that is both necessary and sufficient for an agent to successfully act in the world? We formulate this question concretely, and propose the Agent Control-Endogenous State Discovery algorithm (AC-State), which has theoretical guarantees and is practically demonstrated to discover the minimal control-endogenous latent state which contains all of the information necessary for controlling the agent, while fully discarding all irrelevant information. This algorithm consists of a multi-step inverse model (predicting actions from distant observations) with an information bottleneck. AC-State enables localization, exploration, and navigation without reward or demonstrations. We demonstrate the discovery of the control-endogenous latent state in three domains: localizing a robot arm with distractions (e.g., changing lighting conditions and background), exploring a maze alongside other agents, and navigating in the Matterport house simulator.


title: A Context-Sensitive Word Embedding Approach for The Detection of Troll Tweets

abstract: In this study, we aimed to address the growing concern of trolling behavior on social media by developing and evaluating a set of model architectures for the automatic detection of troll tweets. Utilizing deep learning techniques and pre-trained word embedding methods such as BERT, ELMo, and GloVe, we evaluated the performance of each architecture using metrics such as classification accuracy, F1 score, AUC, and precision. Our results indicate that BERT and ELMo embedding methods performed better than the GloVe method, likely due to their ability to provide contextualized word embeddings that better capture the nuances and subtleties of language use in online social media. Additionally, we found that CNN and GRU encoders performed similarly in terms of F1 score and AUC, suggesting their effectiveness in extracting relevant information from input text. The best-performing method was found to be an ELMo-based architecture that employed a GRU classifier, with an AUC score of 0.929. This research highlights the importance of utilizing contextualized word embeddings and appropriate encoder methods in the task of troll tweet detection, which can assist social-based systems in improving their performance in identifying and addressing trolling behavior on their platforms.


title: Stochastic Couplings and Bijections from the Symmetric Group to Itself

abstract: Inspired by the Stochastic processes described by the Feller Coupling and Chinese Restaurant Processes, we create four different bijections from words in the set $[1]\times [2] \times\cdot \times[n]$ to $S_n$. We then compose these maps with their inverse to obtain a toal of six bijections $S_n \to S_n$. Following that, we investigate the fixed points ($1$-cycle) and higher $k$-cycles of these maps. We characterized some of their properties completely as well as empirically showing the complexity of the higher $k$-cycle structures for these maps.


title: Distributed Finite Time k-means Clustering with Quantized Communucation and Transmission Stopping

abstract: In this paper, we present a distributed algorithm which implements the $k$-means algorithm in a distributed fashion for multi-agent systems with directed communication links. The goal of $k$-means is to partition the network's agents in mutually exclusive sets (groups) such that agents in the same set have (and possibly share) similar information and are able to calculate a representative value for their group.During the operation of our distributed algorithm, each node (i) transmits quantized values in an event-driven fashion, and (ii) exhibits distributed stopping capabilities. Transmitting quantized values leads to more efficient usage of the available bandwidth and reduces the communication bottleneck. Also, in order to preserve available resources, nodes are able to distributively determine whether they can terminate the operation of the proposed algorithm. We characterize the properties of the proposed distributed algorithm and show that its execution (on any static and strongly connected digraph) will partition all agents to mutually exclusive clusters in finite time. We conclude with examples that illustrate the operation, performance, and potential advantages of the proposed algorithm.


title: Simultaneous $\mathfrak{p}$-orderings and equidistribution

abstract: Let $D$ be a Dedekind domain. Roughly speaking, a simultaneous $\mathfrak{p}$-ordering is a sequence of elements from $D$ which is equidistributed modulo every power of every prime ideal in $D$ as well as possible. Bhargava asked which subsets of the Dedekind domains admit simultaneous $\mathfrak{p}$-orderings. We give an overview on the progress in this problem. We also explain how it relates to the theory of integer valued polynomials and list some open problems.


title: Properties of host galaxies of submillimeter sources as revealed by JWST Early Release Observations in SMACS J0723.3-7327

abstract: Using the 0.9--4.4~$\mu$m imaging data from the James Webb Space Telescope (JWST) Early Release Observation in the SMACS J0723.3-7327 galaxy cluster field, we discuss the properties of three submillimeter galaxies (SMGs) detected by the Atacama Large Millimeter Array. These sources are magnified by 1.4--2.1$\times$due to gravitational lensing. This is the first time that SMG host galaxies are resolved in the rest-frame near-infrared (NIR). One source was previous undetected by HST, while the remaining two are disk galaxies with S\'ersic indices of $\sim 0.9$ and star formation rates on or just below the star formation "main sequence". Their submillimeter emission originates from the inner parts of the hosts, suggesting that their dust contents are concentrated towards the center. The host half-light radii measured in the rest-frame NIR are $\sim$1.5$\times$ smaller than those measured in the rest-frame optical, consistent with a concentrated dust distribution. The more severe extinction that optical light suffers towards the center makes it seemingly less concentrated. Therefore, we expect that the optically-based determination of the stellar mass distribution within host galaxies could still be severely biased by dust. Interestingly, these two disk galaxies are dramatically different in their outer regions, with one being star forming and the other being quiescent. Upcoming JWST observations of statistically significant samples of SMGs will allow us to understand the correlation between the dusty star forming regions and their hosts.


title: Testing modified gravity via Yukawa potential in two body problem: Analytical solution and observational constraints

abstract: Many alternative theories of gravity screens a Yukawa-type potential. This article shows Keplerian-type parametrization as a solution of Yukawa type potential accurate equations of motion for two non-spinning compact objects moving in an eccentric orbit. A bound from the solar system is presented.


title: Optimal Database Allocation in Finite Time with Efficient Communication and Transmission Stopping over Dynamic Networks

abstract: In this paper, we focus on the problem of data sharing over a wireless computer network (i.e., a wireless grid). Given a set of available data, we present a distributed algorithm which operates over a dynamically changing network, and allows each node to calculate the optimal allocation of data in a finite number of time steps. We show that our proposed algorithm (i) converges to the optimal solution in finite time with very high probability, and (ii) once the optimal solution is reached, each node is able to cease transmissions without needing knowledge of a global parameter such as the network diameter. Furthermore, our algorithm (i) operates exclusively with quantized values (i.e., each node processes and transmits quantized information), (ii) relies on event-driven updates, and (iii) calculates the optimal solution in the form of a quantized fraction which avoids errors due to quantization. Finally, we demonstrate the operation, performance, and potential advantages of our algorithm over random dynamic networks.


title: A 2-step estimation procedure for semiparametric mixture cure models

abstract: Cure models have been developed as an alternative modelling approach to conventional survival analysis in order to account for the presence of cured subjects that will never experience the event of interest. Mixture cure models, which model separately the cure probability and the survival of uncured subjects depending on a set of covariates, are particularly useful for distinguishing curative from life-prolonging effects. In practice, it is common to assume a parametric model for the cure probability and a semiparametric model for the survival of the susceptibles. Because of the latent cure status, maximum likelihood estimation is performed by means of the iterative EM algorithm. Here, we focus on the cure probabilities and propose a two-step procedure to improve upon the performance of the maximum likelihood estimator when the sample size is not large. The new method is based on the idea of presmoothing by first constructing a nonparametric estimator and then projecting it into the desired parametric class. We investigate the theoretical properties of the resulting estimator and show through an extensive simulation study for the logistic-Cox model that it outperforms the existing method. Practical use of the method is illustrated through two melanoma datasets.


title: An invitation to extension domination

abstract: Motivated by the theory of domination for types, we introduce a notion of domination for Keisler measures called extension domination. We argue that this variant of domination behaves similarly to its type setting counterpart. We prove that extension domination extends domination for types and that it forms a preorder on the space of global Keisler measures. We then explore some basic properties related to this notion (e.g. approximations by formulas, closure under localizations, convex combinations). We also prove a few preservation theorems and provide some explicit examples.


title: Theory of the sub-Sharvin charge transport in graphene disks

abstract: Ballistic graphene samples in a multimode regime show the sub-Sharvin charge transport, characterized by the conductance reduced by a factor of $\pi/4$ comparing to standard Sharvin contacts in two-dimensional electron gas, and the shot-noise power enhanced up to $F\approx{}1/8$ (with $F$ the Fano factor) [Phys. Rev. B 104, 165413 (2021)]. Here we consider the disk-shaped (Corbino) setup in graphene, with inner radius $r_1$ and outer radius $r_2$, finding that the multimode conductance is slightly enhanced for any $r_1<r_2$, reaching $(4\!-\!\pi)\approx{}0.8684$ of the Sharvin value for $r_1\ll{}r_2$. At the same limit, the Fano factor is reduced, approaching $(9\pi-28)/(12-3\pi)\approx{}0.1065<1/8$. Closed-form approximating expressions for any $r_1/r_2$ ratio are derived supposing incoherent scattering of Dirac fermions on asymmetric double barrier and compared with exact numerical results following from the mode-matching method. Sub-Sharvin values are restored in the narrow-disk limit $r_1/r_2\rightarrow{}1$. For experimentally-accessible radii ratios $0.5\leqslant{}r_1/r_2\leqslant{}0.8$ both the conductance and the Fano factor are noticeably closer to the values predicted for the $r_1\ll{}r_2$ limit, yet still differ from standard Sharvin transport characteristics. The system behavior upon tuning the electrostatic potential barrier from a rectangular to parabolic shape is studied numerically, and the crossover from the sub-Sharvin to standard Sharvin transport regime is demonstrated. Implications for a finite section of the disk are also discussed.


title: Robust Action Governor for Uncertain Piecewise Affine Systems with Non-convex Constraints and Safe Reinforcement Learning

abstract: The action governor is an add-on scheme to a nominal control loop that monitors and adjusts the control actions to enforce safety specifications expressed as pointwise-in-time state and control constraints. In this paper, we introduce the Robust Action Governor (RAG) for systems the dynamics of which can be represented using discrete-time Piecewise Affine (PWA) models with both parametric and additive uncertainties and subject to non-convex constraints. We develop the theoretical properties and computational approaches for the RAG. After that, we introduce the use of the RAG for realizing safe Reinforcement Learning (RL), i.e., ensuring all-time constraint satisfaction during online RL exploration-and-exploitation process. This development enables safe real-time evolution of the control policy and adaptation to changes in the operating environment and system parameters (due to aging, damage, etc.). We illustrate the effectiveness of the RAG in constraint enforcement and safe RL using the RAG by considering their applications to a soft-landing problem of a mass-spring-damper system.


title: When you can't count, sample! Computable entropies beyond equilibrium from basin volumes

abstract: In statistical mechanics, measuring the number of available states and their probabilities, and thus the system's entropy, enables the prediction of the macroscopic properties of a physical system at equilibrium. This predictive capacity hinges on the knowledge of the a priori probabilities of observing the states of the system, given by the Boltzmann distribution. Unfortunately, the successes of equilibrium statistical mechanics are hard to replicate out of equilibrium, where the a priori probabilities of observing states are in general not known, precluding the na\"ive application of usual tools. In the last decade, exciting developments have occurred that enable the direct numerical estimation of the entropy and density of states of athermal and non-equilibrium systems, thanks to significant methodological advances in the computation of the volume of high-dimensional basins of attraction. Here, we provide a detailed account of these methods, underscoring the challenges that lie in such estimations, recent progress on the matter, and promising directions for future work.


title: Superintegrability as the hidden origin of Nekrasov calculus

abstract: Once famous and a little mysterious, AGT relations between Nekrasov functions and conformal blocks are now understood as the Hubbard-Stratanovich duality in the Dijkgraaf-Vafa (DV) phase of a peculiar Dotsenko-Fateev multi-logarithmic matrix model. However, it largely remains a collection of somewhat technical tricks, lacking a clear and generalizable conceptual interpretation. Our new claim is that the Nekrasov functions emerge in matrix models as a straightforward implication of superintegrability, factorization of peculiar matrix model averages. Recently, we demonstrated that, in the Gaussian Hermitian model, the factorization property can be extended from averages of single characters to their bilinear combinations. In this paper, we claim that this is true also for multi-logarithmic matrix models, where factorized are just the point-split products of two characters. It is this enhanced superintegrability that is responsible for existence of the Nekrasov functions and the AGT relations. This property can be generalized both to multi-matrix models, thus leading to AGT relations for multi-point conformal blocks, and to DV phases of other non-Gaussian models.


title: Stable bipolarons in open quantum systems

abstract: Recent advances in numerical methods significantly pushed forward the understanding of electrons coupled to quantized lattice vibrations. At this stage, it becomes increasingly important to also account for the effects of physically inevitable environments. In particular, we study the transport properties of the Hubbard-Holstein Hamiltonian that models a large class of materials characterized by strong electron-phonon coupling, in contact with a dissipative environment. Even in the one-dimensional and isolated case, simulating the quantum dynamics of such a system with high accuracy is very challenging due to the infinite dimensionality of the phononic Hilbert spaces. For this reason, the effects of dissipation on the conductance properties of such systems have not been investigated systematically so far. We combine the non-Markovian hierarchy of pure states method and the Markovian quantum jumps method with the newly introduced projected purified density-matrix renormalization group, creating powerful tensor-network methods for dissipative quantum many-body systems. Investigating their numerical properties, we find a significant speedup up to a factor $\sim 30$ compared to conventional tensor-network techniques. We apply these methods to study dissipative quenches, aiming for an in-depth understanding of the formation, stability, and quasi-particle properties of bipolarons. Surprisingly, our results show that in the metallic phase dissipation localizes the bipolarons, which is reminiscent of an indirect quantum Zeno effect. However, the bipolaronic binding energy remains mainly unaffected, even in the presence of strong dissipation, exhibiting remarkable bipolaron stability. These findings shed light on the problem of designing real materials exhibiting phonon-mediated high-$T_\mathrm{C}$ superconductivity.


title: Finite Time Privacy Preserving Quantized Average Consensus with Transmission Stopping

abstract: Due to their flexibility, battery powered or energy-harvesting wireless networks are employed in diverse applications. Securing data transmissions between wireless devises is of critical importance in order to avoid privacy-sensitive user data leakage. In this paper, we focus on the scenario where some nodes are curious (but not malicious) and try to identify the initial states of one (or multiple) other nodes, while some nodes aim to preserve the privacy of their initial states from the curious nodes. We present a privacy preserving finite transmission event-triggered quantized average consensus algorithm. Its operation is suitable for battery-powered or energy-harvesting wireless network since it guarantees (i) efficient (quantized) communication, and (ii) transmission ceasing (which allows preservation of available energy). Furthermore, we present topological conditions under which the proposed algorithm allows nodes to preserve their privacy. We conclude with a comparison of our algorithm against other algorithms in the existing literature.


title: Classical Wave methods and modern gauge transforms: Spectral Asymptotics in the one dimensional case

abstract: In this article, we consider the asymptotic behaviour of the spectral function of Schr\"odinger operators on the real line. Let $H: L^2(\mathbb{R})\to L^2(\mathbb{R})$ have the form $$ H:=-\frac{d^2}{dx^2}+V, $$ where $V$ is a formally self-adjoint first order differential operator with smooth coefficients, bounded with all derivatives. We show that the kernel of the spectral projector, $\mathbb{1}_{(-\infty,\rho^2]}(H)$, has a complete asymptotic expansion in powers of $\rho$. This settles the 1-dimensional case of a conjecture made by the last two authors.


title: Parker Bound and Monopole Pair Production from Primordial Magnetic Fields

abstract: We present new bounds on the cosmic abundance of magnetic monopoles based on the survival of primordial magnetic fields during the reheating and radiation-dominated epochs. The new bounds can be stronger than the conventional Parker bound from galactic magnetic fields, as well as bounds from direct searches. We also apply our bounds to monopoles produced by the primordial magnetic fields themselves through the Schwinger effect, and derive additional conditions for the survival of the primordial fields.


title: Cohomology of spaces of complex knots

abstract: We develop a technique for calculating the cohomology groups of spaces of complex parametric knots in ${\mathbb C}^k$, $k \geq 3$, and carry out these calculations to obtain these groups of low dimensions.


title: Using Aichinger's equation to characterize polynomial functions

abstract: Aichinger's equation is used to give simple proofs of several well-known characterizations of polynomial functions as solutions of certain functional equations. Concretely, we use that Aichinger's equation characterizes polynomial functions to solve, for arbitrary commutative groups, Ghurye-Olkin's functional equation, Wilson's functional equation, the Kakutani-Nagumo-Walsh functional equation, and a general version of Fr\'echet's unmixed functional equation.


title: Testing for explosive bubbles: a review

abstract: This review discusses methods of testing for explosive bubbles in time series. A large number of recently developed testing methods under various assumptions about innovation of errors are covered. The review also considers the methods for dating explosive (bubble) regimes. Special attention is devoted to time-varying volatility in the errors. Moreover, the modelling of possible relationships between time series with explosive regimes is discussed.


title: Explicit Diffeomorphism Breaking, No-go Conditions, and the Gravity Sector of the SME

abstract: A brief recap is given of issues that can occur when fixed nondynamical backgrounds that explicitly break diffeomorphism invariance are included in gravity theories. Implications for the Standard-Model Extension (SME) are summarized, including recent results showing how the SME can be modified to accommodate such fixed nondynamical backgrounds.


title: Maximum norm a posteriori error estimates for convection-diffusion problems

abstract: We prove residual-type a posteriori error estimates in the maximum norm for a linear scalar elliptic convection-diffusion problem that may be singularly perturbed. Similar error analysis in the energy norm by Verf\"{u}rth indicates that a dual norm of the {convective derivative of the} error must be added to the natural energy norm in order for the natural residual estimator to be reliable and efficient. We show that the situation is similar for the maximum norm. In particular, we define a mesh-dependent weighted seminorm of the convective error which functions as a maximum-norm counterpart to the dual norm used in the energy norm setting. The total error is then defined as the sum of this seminorm, the maximum norm of the error, and data oscillation. The natural maximum norm residual error estimator is shown to be equivalent to this total error notion, with constant independent of singular perturbation parameters. These estimates are proved under the assumption that certain natural estimates hold for the Green's function for the problem at hand. Numerical experiments confirm that our estimators effectively capture the maximum-norm error behavior for singularly perturbed problems, and can effectively drive adaptive refinement in order to capture layer phenomena.


title: Wavelet frames with matched masks

abstract: In the paper we design a Parseval wavelet frame with a compact support and many vanishing moments. The corresponding refinement mask approximates an arbitrary continuous periodic function $f$, $f(0)=1$. The refinable function has stable integer shifts.


title: Rationality-Robust Information Design: Bayesian Persuasion under Quantal Response

abstract: Classic mechanism/information design imposes the assumption that agents are fully rational, meaning each of them always selects the action that maximizes her expected utility. Yet many empirical evidence suggests that human decisions may deviate from this full rationality assumption. In this work, we attempt to relax the full rationality assumption with bounded rationality. Specifically, we formulate the bounded rationality of an agent by adopting the quantal response model (McKelvey and Palfrey, 1995). We develop a theory of rationality-robust information design in the canonical setting of Bayesian persuasion (Kamenica and Gentzkow, 2011) with binary receiver action. We first identify conditions under which the optimal signaling scheme structure for a fully rational receiver remains optimal or approximately optimal for a boundedly rational receiver. In practice, it might be costly for the designer to estimate the degree of the receiver's bounded rationality level. Motivated by this practical consideration, we then study the existence and construction of robust signaling schemes when there is uncertainty about the receiver's bounded rationality level.


title: Improving tobacco social contagion models using agent-based simulations on networks

abstract: Over the years, population-level tobacco control policies have considerably reduced smoking prevalence worldwide. However, the rate of decline of smoking prevalence is slowing down. Therefore, there is a need for models that capture the full complexity of the smoking epidemic. These models can then be used as test-beds to develop new policies to limit the spread of smoking. Current models of smoking dynamics mainly use ordinary differential equation (ODE) models, where studying the effect of an individual's contact network is challenging. They also do not consider all the interactions between individuals that can lead to changes in smoking behaviour, implying that they do not consider valuable information on the spread of smoking behaviour. In this context, we develop an agent-based model (ABM), calibrate and then validate it on historical trends observed in the US and UK. Our ABM considers spontaneous terms, interactions between agents, and the agent's contact network. To explore the effect of the underlying network on smoking dynamics, we test the ABM on six different networks, both synthetic and real-world. In addition, we also compare the ABM with an ODE model. Our results suggest that the dynamics from the ODE model are similar to the ABM only when the network structure is fully connected (FC). The FC network performs poorly in replicating the empirical trends in the data, while the real-world network best replicates it amongst the six networks. Further, when information on the real-world network is unavailable, our ABM on Lancichinetti-Fortunato-Radicchi benchmark networks (or networks with a similar average degree as the real-world network) can be used to model smoking behaviour. These results suggest that networks are essential for modelling smoking behaviour and that our ABM can be used to develop network-based intervention strategies and policies for tobacco control.


title: Calculation of the moscovium ground-state energy by quantum algorithms

abstract: We investigate the possibility to calculate the ground-state energy of the atomic systems on a quantum computer. For this purpose we evaluate the lowest binding energy of the moscovium atom with the use of the iterative phase estimation and variational quantum eigensolver. The calculations by the variational quantum eigensolver are performed with a disentangled unitary coupled cluster ansatz and with various types of hardware-efficient ansatze. The optimization is performed with the use of the Adam and Quantum Natural Gradients procedures. The scalability of the ansatze and optimizers is tested by increasing the size of the basis set and the number of active electrons. The number of gates required for the iterative phase estimation and variational quantum eigensolver is also estimated.


title: Representation Learning of Image Schema

abstract: Image schema is a recurrent pattern of reasoning where one entity is mapped into another. Image schema is similar to conceptual metaphor and is also related to metaphoric gesture. Our main goal is to generate metaphoric gestures for an Embodied Conversational Agent. We propose a technique to learn the vector representation of image schemas. As far as we are aware of, this is the first work which addresses that problem. Our technique uses Ravenet et al's algorithm which we use to compute the image schemas from the text input and also BERT and SenseBERT which we use as the base word embedding technique to calculate the final vector representation of the image schema. Our representation learning technique works by clustering: word embedding vectors which belong to the same image schema should be relatively closer to each other, and thus form a cluster. With the image schemas representable as vectors, it also becomes possible to have a notion that some image schemas are closer or more similar to each other than to the others because the distance between the vectors is a proxy of the dissimilarity between the corresponding image schemas. Therefore, after obtaining the vector representation of the image schemas, we calculate the distances between those vectors. Based on these, we create visualizations to illustrate the relative distances between the different image schemas.


title: Uniform Stability for First-Order Empirical Risk Minimization

abstract: We consider the problem of designing uniformly stable first-order optimization algorithms for empirical risk minimization. Uniform stability is often used to obtain generalization error bounds for optimization algorithms, and we are interested in a general approach to achieve it. For Euclidean geometry, we suggest a black-box conversion which given a smooth optimization algorithm, produces a uniformly stable version of the algorithm while maintaining its convergence rate up to logarithmic factors. Using this reduction we obtain a (nearly) optimal algorithm for smooth optimization with convergence rate $\widetilde{O}(1/T^2)$ and uniform stability $O(T^2/n)$, resolving an open problem of Chen et al. (2018); Attia and Koren (2021). For more general geometries, we develop a variant of Mirror Descent for smooth optimization with convergence rate $\widetilde{O}(1/T)$ and uniform stability $O(T/n)$, leaving open the question of devising a general conversion method as in the Euclidean case.


title: Minimum Description Length Control

abstract: We propose a novel framework for multitask reinforcement learning based on the minimum description length (MDL) principle. In this approach, which we term MDL-control (MDL-C), the agent learns the common structure among the tasks with which it is faced and then distills it into a simpler representation which facilitates faster convergence and generalization to new tasks. In doing so, MDL-C naturally balances adaptation to each task with epistemic uncertainty about the task distribution. We motivate MDL-C via formal connections between the MDL principle and Bayesian inference, derive theoretical performance guarantees, and demonstrate MDL-C's empirical effectiveness on both discrete and high-dimensional continuous control tasks.


title: Rapid quantitative magnetization transfer imaging: utilizing the hybrid state and the generalized Bloch model

abstract: Purpose: To explore efficient encoding schemes for quantitative magnetization transfer (qMT) imaging with few constraints on model Theory and Methods: We combine two recently proposed models in a Bloch-McConnell equation: the dynamics of the free spin pool are confined to the hybrid state, and the dynamics of the semi-solid spin pool are described by the generalized Bloch model. We numerically optimize the flip angles and durations of a train of radio frequency pulses to enhance the encoding of three qMT parameters while accounting for all 8 parameters of the 2-pool model. We sparsely sample each time frame along this spin dynamics with a 3D radial koosh-ball trajectory, reconstruct the data with subspace modeling, and fit the qMT model with a neural network for computational efficiency. Results: We extracted qMT parameter maps of the whole brain with an effective resolution of 1.24mm from a 12.6-minute scan. In lesions of multiple sclerosis subjects, we observe a decreased size of the semi-solid spin pool and longer relaxation times, consistent with previous Conclusion: The encoding power of the hybrid state, combined with regularized image reconstruction, and the accuracy of the generalized Bloch model provide an excellent basis for efficient quantitative magnetization transfer imaging with few constraints on model parameters.


title: Generalized explicit pseudo two-step Runge-Kutta-Nystr\"{o}m methods for solving second-order initial value problems

abstract: A class of explicit pseudo two-step Runge-Kutta-Nystr\"{o}m (GEPTRKN) methods for solving second-order initial value problems $y'' = f(t,y,y')$, $y(t_0) = y_0$, $y'(t_0)=y'_0$ has been studied. This new class of methods can be considered a generalized version of the class of classical explicit pseudo two-step Runge-Kutta-Nystr\"{o}m methods. %The new methods will be denoted by GEPTRKN methods. We proved that an $s$-stage GEPTRKN method has step order of accuracy $p=s$ and stage order of accuracy $r=s$ for any set of distinct collocation parameters $(c_i)_{i=1}^s$. Super-convergence for order of accuracy of these methods can be obtained if the collocation parameters $(c_i)_{i=1}^s$ satisfy some orthogonality conditions. We proved that an $s$-stage GEPTRKN method can attain order of accuracy $p=s+2$. Numerical experiments have shown that the new methods work better than classical methods for solving non-stiff problems even on sequential computing environments. By their structures, the new methods will be much more efficient when implemented on parallel computers.


title: Field-induced compensation of magnetic exchange as the possible origin of reentrant superconductivity in UTe$_2$

abstract: The potential spin-triplet heavy-fermion superconductor UTe$_2$ exhibits signatures of multiple distinct superconducting phases. For field aligned along the $b$ axis, a metamagnetic transition occurs at $\mu_0 H_\mathrm{m}\approx35\,$T. It is associated with magnetic fluctuations that may be beneficial for the field-reinforced superconductivity surviving up to $H_\mathrm{m}$. Once the field is tilted away from the $b$ towards the $c$ axis, a reentrant superconducting phase emerges just above $H_\mathrm{m}$. In order to better understand this remarkably field-resistant superconducting phase, we conducted magnetic-torque and magnetotransport measurements in pulsed magnetic fields. We determine the record-breaking upper critical field of $\mu_0 H_\mathrm{c2}\approx 73\,$T and its evolution with angle. Furthermore, the normal-state Hall effect experiences a drastic suppression indicative of a reduced band polarization above $H_\mathrm{m}$ in the angular range around $30^\circ$ caused by a partial compensation between the applied field and an exchange field. This promotes the Jaccarino-Peter effect as a likely mechanism for the reentrant superconductivity above $H_\mathrm{m}$.


title: On the exactness of the universal backprojection formula for the spherical means Radon transform

abstract: The spherical means Radon transform $\mathcal{M}f(x,r)$ is defined by the integral of a function $f$ in $\mathbb{R}^{n}$ over the sphere $S(x,r)$ of radius $r$ centered at a $x$, normalized by the area of the sphere. The problem of reconstructing $f$ from the data $\mathcal{M}f(x,r)$ where $x$ belongs to a hypersurface $\Gamma\subset\mathbb{R}^{n}$ and $r \in(0,\infty)$ has important applications in modern imaging modalities, such as photo- and thermo- acoustic tomography. When $\Gamma$ coincides with the boundary $\partial\Omega$ of a bounded (convex) domain $\Omega\subset\mathbb{R}^{n}$, a function supported within $\Omega$ can be uniquely recovered from its spherical means known on $\Gamma$. We are interested in explicit inversion formulas for such a reconstruction. If $\Gamma=\partial\Omega$, such formulas are only known for the case when $\Gamma$ is an ellipsoid (or one of its partial cases). This gives rise to the natural question: can explicit inversion formulas be found for other closed hypersurfaces $\Gamma$? In this article we prove, for the so-called "universal backprojection inversion formulas", that their extension to non-ellipsoidal domains $\Omega$ is impossible, and therefore ellipsoids constitute the largest class of closed convex hypersurfaces for which such formulas hold.


title: Abelian covers of hyperbolic surfaces: equidistribution of spectra and infinite volume mixing asymptotics for horocycle flows

abstract: We consider Abelian covers of compact hyperbolic surfaces. We establish an asymptotic expansion of the correlations for the horocycle flow on $\mathbb{Z}^d$-covers, thus proving a strong form of Krickeberg mixing. We also prove that the spectral measures around $0$ of the Casimir operators on any increasing sequence of finite Abelian covers converge weakly to an absolutely continuous measure.


title: Structure-Aware Methods for Expensive Derivative-Free Nonsmooth Composite Optimization

abstract: We present new methods for solving a broad class of bound-constrained nonsmooth composite minimization problems. These methods are specially designed for objectives that are some known mapping of outputs from a computationally expensive function. We provide accompanying implementations of these methods: in particular, a novel manifold sampling algorithm (\mspshortref) with subproblems that are in a sense primal versions of the dual problems solved by previous manifold sampling methods and a method (\goombahref) that employs more difficult optimization subproblems. For these two methods, we provide rigorous convergence analysis and guarantees. We demonstrate extensive testing of these methods. Open-source implementations of the methods developed in this manuscript can be found at \url{github.com/POptUS/IBCDFO/}.


title: MLP-GAN for Brain Vessel Image Segmentation

abstract: Brain vessel image segmentation can be used as a promising biomarker for better prevention and treatment of different diseases. One successful approach is to consider the segmentation as an image-to-image translation task and perform a conditional Generative Adversarial Network (cGAN) to learn a transformation between two distributions. In this paper, we present a novel multi-view approach, MLP-GAN, which splits a 3D volumetric brain vessel image into three different dimensional 2D images (i.e., sagittal, coronal, axial) and then feed them into three different 2D cGANs. The proposed MLP-GAN not only alleviates the memory issue which exists in the original 3D neural networks but also retains 3D spatial information. Specifically, we utilize U-Net as the backbone for our generator and redesign the pattern of skip connection integrated with the MLP-Mixer which has attracted lots of attention recently. Our model obtains the ability to capture cross-patch information to learn global information with the MLP-Mixer. Extensive experiments are performed on the public brain vessel dataset that show our MLP-GAN outperforms other state-of-the-art methods. We release our code at https://github.com/bxie9/MLP-GAN


title: Highly symmetric lines

abstract: A generalization of highly symmetric frames is presented by considering also projective stabilizers of frame vectors. This allows construction of highly symmetric line systems and study of highly symmetric frames in a more unified manner. Construction of highly symmetric line systems involves computation of twisted spherical functions associated with finite groups. Further generalizations include definition of highly symmetric systems of subspaces. We give several examples which illustrate our approach including 3 new kissing configurations which improve lower bounds on the kissing number in $d=10,11,14$ to 510, 592 and 1932 respectively.


title: Gigapixel Whole-Slide Images Classification using Locally Supervised Learning

abstract: Histopathology whole slide images (WSIs) play a very important role in clinical studies and serve as the gold standard for many cancer diagnoses. However, generating automatic tools for processing WSIs is challenging due to their enormous sizes. Currently, to deal with this issue, conventional methods rely on a multiple instance learning (MIL) strategy to process a WSI at patch level. Although effective, such methods are computationally expensive, because tiling a WSI into patches takes time and does not explore the spatial relations between these tiles. To tackle these limitations, we propose a locally supervised learning framework which processes the entire slide by exploring the entire local and global information that it contains. This framework divides a pre-trained network into several modules and optimizes each module locally using an auxiliary model. We also introduce a random feature reconstruction unit (RFR) to preserve distinguishing features during training and improve the performance of our method by 1% to 3%. Extensive experiments on three publicly available WSI datasets: TCGA-NSCLC, TCGA-RCC and LKS, highlight the superiority of our method on different classification tasks. Our method outperforms the state-of-the-art MIL methods by 2% to 5% in accuracy, while being 7 to 10 times faster. Additionally, when dividing it into eight modules, our method requires as little as 20% of the total gpu memory required by end-to-end training. Our code is available at https://github.com/cvlab-stonybrook/local_learning_wsi.


title: Online Lewis Weight Sampling

abstract: The seminal work of Cohen and Peng introduced Lewis weight sampling to the theoretical computer science community, yielding fast row sampling algorithms for approximating $d$-dimensional subspaces of $\ell_p$ up to $(1+\epsilon)$ error. Several works have extended this important primitive to other settings, including the online coreset and sliding window models. However, these results are only for $p\in\{1,2\}$, and results for $p=1$ require a suboptimal $\tilde O(d^2/\epsilon^2)$ samples. In this work, we design the first nearly optimal $\ell_p$ subspace embeddings for all $p\in(0,\infty)$ in the online coreset and sliding window models. In both models, our algorithms store $\tilde O(d^{1\lor(p/2)}/\epsilon^2)$ rows. This answers a substantial generalization of the main open question of [BDMMUWZ2020], and gives the first results for all $p\notin\{1,2\}$. Towards our result, we give the first analysis of "one-shot'' Lewis weight sampling of sampling rows proportionally to their Lewis weights, with sample complexity $\tilde O(d^{p/2}/\epsilon^2)$ for $p>2$. Previously, this scheme was only known to have sample complexity $\tilde O(d^{p/2}/\epsilon^5)$, whereas $\tilde O(d^{p/2}/\epsilon^2)$ is known if a more sophisticated recursive sampling is used. The recursive sampling cannot be implemented online, thus necessitating an analysis of one-shot Lewis weight sampling. Our analysis uses a novel connection to online numerical linear algebra. As an application, we obtain the first one-pass streaming coreset algorithms for $(1+\epsilon)$ approximation of important generalized linear models, such as logistic regression and $p$-probit regression. Our upper bounds are parameterized by a complexity parameter $\mu$ introduced by [MSSW2018], and we show the first lower bounds showing that a linear dependence on $\mu$ is necessary.


title: Recent progress in low-energy electron elastic-collisions with multi-electron atoms and fullerene molecules

abstract: We briefly review recent applications of the Regge pole analysis to low-energy E less than/equal to 10.0 eV electron elastic collisions with large multi-electron atoms and fullerene molecules. We then conclude with a demonstration of the sensitivity of the Regge pole-calculated Ramsauer-Townsend minima and shape resonances to the electronic structure and dynamics of the Bk and Cf actinide atoms, and their first time ever use as novel and rigorous validation of the recent experimental observation that identified Cf as a transitional element in the actinide series (A. M\"uller, et al., Nat. Commun. 12, 948 (2021))


title: New formalism to define vacuum states for scalar fields in curved space-times

abstract: The problem of finding a vacuum definition for a single quantum field in curved space-times is discussed under a new geometrical perspective. The phase space dynamics of the quantum field modes are mapped to curves in a 2-dimensional hyperbolic metric space, in which distances between neighbor points are shown to be proportional to the Bogoliubov coefficients associated with their corresponding mode solutions in phase space. The vacuum state for each mode is then defined as the unique trajectory from which all mapped phase space solutions move within thin annular regions around it. This property implies the stability of the vacuum state: solutions evolved from a point in this trajectory stay close to it as both evolve, and the particle creation is therefore minimized. The new approach is applied to the well-known cases of the time-independent dynamics, where the solutions draw circles around this curve, and when the adiabatic approximation is valid. The analysis is then extended to time-dependent cases in which the adiabatic approximation is not applicable, in the super-Hubble or low-frequency regimes. It is shown that stability trajectories can also be found in these situations, and stable quantum vacua can be obtained. This new formalism is applied to two situations: de Sitter space, where the Bunch-Davies vacuum is obtained in a completely different manner through an analysis in the super-Hubble regime, and in the context of cosmological bouncing models, in which the contracting phase is dominated by a cosmological constant in the asymptotic past. A new vacuum state for cosmological perturbations is proposed in this situation.


title: The Importance Markov Chain

abstract: The Importance Markov chain is a novel algorithm bridging the gap between rejection sampling and importance sampling, moving from one to the other through a tuning parameter. Based on a modified sample of an instrumental Markov chain targeting an instrumental distribution (typically via a MCMC kernel), the Importance Markov chain produces an extended Markov chain where the marginal distribution of the first component converges to the target distribution. For example, when targeting a multimodal distribution, the instrumental distribution can be chosen as a tempered version of the target which allows the algorithm to explore its modes more efficiently. We obtain a Law of Large Numbers and a Central Limit Theorem as well as geometric ergodicity for this extended kernel under mild assumptions on the instrumental kernel. Computationally, the algorithm is easy to implement and preexisting libraries can be used to sample from the instrumental distribution.


title: BIP: Boost Invariant Polynomials for Efficient Jet Tagging

abstract: Deep Learning approaches are becoming the go-to methods for data analysis in High Energy Physics (HEP). Nonetheless, most physics-inspired modern architectures are computationally inefficient and lack interpretability. This is especially the case with jet tagging algorithms, where computational efficiency is crucial considering the large amounts of data produced by modern particle detectors. In this work, we present a novel, versatile and transparent framework for jet representation; invariant to Lorentz group boosts, which achieves high accuracy on jet tagging benchmarks while being orders of magnitudes faster to train and evaluate than other modern approaches for both supervised and unsupervised schemes.


title: Quantum spin spiral ground state of the ferrimagnetic sawtooth chain

abstract: The ferrimagnetic phase of the sawtooth chain with mixed ferromagnetic nearest-neighbour interactions $J$ and antiferromagnetic next-nearest-neighbour interactions $J'$ (within the isotropic Heisenberg model) was previously characterized as a phase with commensurate order. In this paper, we demonstrate that the system in fact exhibits an incommensurate quantum spin spiral. Even though the ground state is translationally invariant in terms of the local spin expectations $\avg{\vec{S}_i}$, the spiral can be detected via the connected spin-spin correlations $\avg{\vec{S}_i\cdot\vec{S}_j}-\avg{\vec{S}_i}\cdot\avg{\vec{S}_j}$ between the apical spins. It has a long wavelength that grows with $J'$ and that soon exceeds finite-system sizes typically employed in numerical simulations. A faithful treatment thus requires the use of state-of-the-art simulations for large, periodic systems. In this work, we are able to accurately treat up to $L=400$ sites (200 unit cells) with periodic boundary conditions using the density-matrix renormaliztion group (DMRG). Exploiting the SU(2) symmetry allows us to directly compute the lowest-energy state for a given total spin. Our results are corroborated by variational uniform matrix product state (VUMPS) calculations, which work directly in the thermodynamic limit at the cost of a lower accuracy.


title: Echo-enhanced molecular orientation at high temperatures

abstract: Ultrashort laser pulses are widely used for transient field-free molecular orientation -- a phenomenon important in chemical reaction dynamics, ultrafast molecular imaging, high harmonics generation, and attosecond science. However, significant molecular orientation usually requires rotationally cold molecules, like in rarified molecular beams, because chaotic thermal motion is detrimental to the orientation process. Here we propose to use the mechanism of the echo phenomenon previously observed in hadron accelerators, free-electron lasers, and laser-excited molecules to overcome the destructive thermal effects and achieve efficient field-free molecular orientation at high temperatures. In our scheme, a linearly polarized short laser pulse transforms a broad thermal distribution in the molecular rotational phase space into many separated narrow filaments due to the nonlinear phase mixing during the post-pulse free evolution. Molecular subgroups belonging to individual filaments have much-reduced dispersion of angular velocities. They are rotationally cold, and a subsequent moderate terahertz (THz) pulse can easily orient them. The overall enhanced orientation of the molecular gas is achieved with some delay, in the course of the echo process combining the contributions of different filaments. Our results demonstrate that the echo-enhanced orientation is an order of magnitude higher than that of the THz pulse alone. The mechanism is robust -- it applies to different types of molecules, and the degree of orientation is relatively insensitive to the temperature. The laser and THz pulses used in the scheme are readily available, allowing quick experimental demonstration and testing in various applications. Breaking the phase space to individual filaments to overcome hindering thermal conditions may find a wide range of applications beyond molecular orientation.


title: Inverse Matrix Games with Unique Quantal Response Equilibrium

abstract: In an inverse game problem, one needs to infer the cost function of the players in a game such that a desired joint strategy is a Nash equilibrium. We study the inverse game problem for a class of multiplayer matrix games, where the cost perceived by each player is corrupted by random noise. We provide sufficient conditions for the players' quantal response equilibrium -- a generalization of the Nash equilibrium to games with perception noise -- to be unique. We develop efficient optimization algorithms for inferring the cost matrix based on semidefinite programs and bilevel optimization. We demonstrate the application of these methods in encouraging collision avoidance and fair resource allocation.


title: Certain and Uncertain Inference with Indicative Conditionals

abstract: This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by W. Cooper and yields two logics of conditional reasoning: (i) a logic C of inference from certain premises; and (ii) a logic U of inference from uncertain premises. But whereas C is monotonic for the conditional, U is not, and whereas C obeys Modus Ponens, U does not without restrictions. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use the distinction between the two systems to cast light, in particular, on McGee's puzzle about Modus Ponens. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences.


title: Kirchhoff's Current Law with Displacement Current

abstract: Kirchhoff's Current Law is an essential tool in the design of circuits that operate very quickly, faster than nanoseconds. But Kirchhoff's current is often identified as the flow of particles. The continuity equation or the Maxwell-Ampere law shows that the sum of displacement current $\textbf{plus}$ particle current is conserved by Maxwell's equations and Kirchhoff's law. Kirchoff included the displacement current in the current of his law, from early on. This Kirchhoff current (including the displacement current) does not vary with spatial location in the ionic channels of biology. Electronic circuits switching in nanoseconds are analyzed using the Bohm representation of quantum mechanics including particle and displacement current.


title: Toric Sarkisov links of toric Fano varieties

abstract: We explain a web of Sarkisov links that overlies the classification of Fano weighted projective spaces in dimensions 3 and 4, extending results of Prokhorov.


title: Task Allocation with Load Management in Multi-Agent Teams

abstract: In operations of multi-agent teams ranging from homogeneous robot swarms to heterogeneous human-autonomy teams, unexpected events might occur. While efficiency of operation for multi-agent task allocation problems is the primary objective, it is essential that the decision-making framework is intelligent enough to manage unexpected task load with limited resources. Otherwise, operation effectiveness would drastically plummet with overloaded agents facing unforeseen risks. In this work, we present a decision-making framework for multi-agent teams to learn task allocation with the consideration of load management through decentralized reinforcement learning, where idling is encouraged and unnecessary resource usage is avoided. We illustrate the effect of load management on team performance and explore agent behaviors in example scenarios. Furthermore, a measure of agent importance in collaboration is developed to infer team resilience when facing handling potential overload situations.


title: Building Correlation Immune Functions from Sets of Mutually Orthogonal Cellular Automata

abstract: Correlation immune Boolean functions play an important role in the implementation of efficient masking countermeasures for side-channel attacks in cryptography. In this paper, we investigate a method to construct correlation immune functions through families of mutually orthogonal cellular automata (MOCA). First, we show that the orthogonal array (OA) associated to a family of MOCA can be expanded to a binary OA of strength at least 2. To prove this result, we exploit the characterization of MOCA in terms of orthogonal labelings on de Bruijn graphs. Then, we use the resulting binary OA to define the support of a second-order correlation immune function. Next, we perform some computational experiments to construct all such functions up to $n=12$ variables, and observe that their correlation immunity order is actually greater, always at least 3. We conclude by discussing how these results open up interesting perspectives for future research, with respect to the search of new correlation-immune functions and binary orthogonal arrays.


title: Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-shot Learning

abstract: Due to the promising future of Automated Program Repair (APR), researchers have proposed various APR techniques, including heuristic-based, template-based, and constraint-based techniques. Among such classic APR techniques, template-based techniques have been widely recognized as state of the art. However, such template-based techniques require predefined templates to perform repair, and their effectiveness is thus limited. To this end, researchers leveraged the recent advances in Deep Learning to further improve APR. Such learning-based techniques view APR as a Neural Machine Translation problem, using the buggy/fixed code snippets as the source/target languages for translation. In this way, such techniques heavily rely on large numbers of high-quality bug-fixing commits, which can be extremely costly and challenging to construct. Furthermore, the edit variety of these learning-based techniques are limited to the available bug-fixes within their training datasets. Therefore, in this paper, we aim to revisit the learning-based APR problem, and propose AlphaRepair, to leverage zero-shot learning directly using large pre-trained code models for APR. Our main insight is instead of modeling what a repair edit should look like, we can directly predict what the correct code is based on the context information. We have implemented AlphaRepair as a practical multilingual APR tool based on the recent CodeBERT model. Our results on the widely used Defects4J benchmark show that AlphaRepair can substantially outperform state-of-the-art APR tools. We also studied the impact of different design choices and show that AlphaRepair performs even better on a newer version of Defects4J (2.0) with 3.3X more fixes than best performing baseline, indicating that AlphaRepair can potentially avoid the dataset-overfitting issue of existing learning-based techniques.


title: Job Prospects and Labour Mobility in China

abstract: China's structural changes have brought new challenges to its regional employment structures, entailing labour redistribution. By now Chinese research on migration decisions with a forward-looking stand and on bilateral longitudinal determinants at the prefecture city level is almost non-existent. This paper investigates the effects of sector-based job prospects on individual migration decisions across prefecture boundaries. To this end, we created a proxy variable for job prospects, compiled a unique quasi-panel of 66,427 individuals from 283 cities during 1997--2017, introduced reference-dependence to the random utility maximisation model of migration in a sequential setting, derived empirical specifications with theoretical micro-foundations, and applied various monadic and dyadic fixed effects to address multilateral resistance to migration. Multilevel logit models and two-step system GMM estimation were adopted for the robustness check. Our primary findings are that a 10% increase in the ratio of sector-based job prospects in cities of destination to cities of origin raises the probability of migration by 1.281--2.185 percentage points, and the effects tend to be stronger when the scale of the ratio is larger. Having a family migration network causes an increase of approximately 6 percentage points in migratory probabilities. Further, labour migrants are more likely to be male, unmarried, younger, or more educated. Our results suggest that the ongoing industrial reform in China influences labour mobility between cities, providing important insights for regional policymakers to prevent brain drain and to attract relevant talent.


title: Accelerated RRT* By Local Directional Visibility

abstract: RRT* is an efficient sampling-based motion planning algorithm. However, without taking advantages of accessible environment information, sampling-based algorithms usually result in sampling failures, generate useless nodes, and/or fail in exploring narrow passages. For this paper, in order to better utilize environment information and further improve searching efficiency, we proposed a novel approach to improve RRT* by 1) quantifying local knowledge of the obstacle configurations during neighbour rewiring in terms of directional visibility, 2) collecting environment information during searching, and 3) changing the sampling strategy biasing toward near-obstacle nodes after the first solution found. The proposed algorithm RRT* by Local Directional Visibility (RRT*-LDV) better utilizes local known information and innovates a weighted sampling strategy. The accelerated RRT*-LDV outperforms RRT* in convergence rate and success rate of finding narrow passages. A high Degree-Of-Freedom scenario is also experimented.


title: The MIGDAL experiment: Measuring a rare atomic process to aid the search for dark matter

abstract: We present the Migdal In Galactic Dark mAtter expLoration (MIGDAL) experiment aiming at the unambiguous observation and study of the so-called Migdal effect induced by fast-neutron scattering. It is hoped that this elusive atomic process can be exploited to enhance the reach of direct dark matter search experiments to lower masses, but it is still lacking experimental confirmation. Our goal is to detect the predicted atomic electron emission which is thought to accompany nuclear scattering with low, but calculable, probability, by deploying an Optical Time Projection Chamber filled with a low-pressure gas based on CF$_4$. Initially, pure CF$_4$ will be used, and then in mixtures containing other elements employed by leading dark matter search technologies -- including noble species, plus Si and Ge. High resolution track images generated by a Gas Electron Multiplier stack, together with timing information from scintillation and ionisation readout, will be used for 3D reconstruction of the characteristic event topology expected for this process -- an arrangement of two tracks sharing a common vertex, with one belonging to a Migdal electron and the other to a nuclear recoil. Different energy-loss rate distributions along both tracks will be used as a powerful discrimination tool against background events. In this article we present the design of the experiment, informed by extensive particle and track simulations and detailed estimations of signal and background rates. In pure CF$_4$ we expect to observe 8.9 (29.3) Migdal events per calendar day of exposure to an intense D-D (D-T) neutron generator beam at the NILE facility located at the Rutherford Appleton Laboratory (UK). With our nominal assumptions, 5$\sigma$ median discovery significance can be achieved in under one day with either generator.


title: Stochastic integration in Riemannian manifolds from a functional-analytic point of view

abstract: This article presents a construction of the concept of stochastic integration in Riemannian manifolds from a purely functional-analytic point of view. We show that there are infinitely many such integrals, and that any two of them are related by a simple formula. We also find that the Stratonovich and It\^o integrals known to probability theorists are two instances of the general concept constructed herein.