title: Time Alignment using Lip Images for Frame-based Electrolaryngeal Voice Conversion

abstract: Voice conversion (VC) is an effective approach to electrolaryngeal (EL) speech enhancement, a task that aims to improve the quality of the artificial voice from an electrolarynx device. In frame-based VC methods, time alignment needs to be performed prior to model training, and the dynamic time warping (DTW) algorithm is widely adopted to compute the best time alignment between each utterance pair. The validity is based on the assumption that the same phonemes of the speakers have similar features and can be mapped by measuring a pre-defined distance between speech frames of the source and the target. However, the special characteristics of the EL speech can break the assumption, resulting in a sub-optimal DTW alignment. In this work, we propose to use lip images for time alignment, as we assume that the lip movements of laryngectomee remain normal compared to healthy people. We investigate two naive lip representations and distance metrics, and experimental results demonstrate that the proposed method can significantly outperform the audio-only alignment in terms of objective and subjective evaluations.


title: Cross-lingual Offensive Language Identification for Low Resource Languages: The Case of Marathi

abstract: The widespread presence of offensive language on social media motivated the development of systems capable of recognizing such content automatically. Apart from a few notable exceptions, most research on automatic offensive language identification has dealt with English. To address this shortcoming, we introduce MOLD, the Marathi Offensive Language Dataset. MOLD is the first dataset of its kind compiled for Marathi, thus opening a new domain for research in low-resource Indo-Aryan languages. We present results from several machine learning experiments on this dataset, including zero-short and other transfer learning experiments on state-of-the-art cross-lingual transformers from existing data in Bengali, English, and Hindi.


title: Is light thermal scalar dark matter possible?

abstract: We study a light thermal scalar dark matter (DM) model with a light scalar mediator mixed with the standard model Higgs boson, including both the theoretical bounds and the current experimental constraints. The thermal scalar DM with the mass below a few GeV is usually strongly constrained by the observation of CMB and/or indirect detection experiments because the leading annihilation mode is S-wave. However, we find that two parameter regions still remain, which are the resonant annihilation region and the forbidden annihilation region. For the both cases, higher partial waves dominantly contribute to the annihilation at the freeze-out era, and the constraint from the cosmological observation is weaker. We consider typical cases of these regions quantitatively, mainly focusing on the mixing angle and the mass of the new particles. Finally, we also discuss the testability of this model at future experiments.


title: Evolving Decomposed Plasticity Rules for Information-Bottlenecked Meta-Learning

abstract: Artificial neural networks (ANNs) are typically confined to accomplishing pre-defined tasks by learning a set of static parameters. In contrast, biological neural networks (BNNs) can adapt to various new tasks by continually updating the neural connections based on the inputs, which is aligned with the paradigm of learning effective learning rules in addition to static parameters, e.g., meta-learning. Among various biologically inspired learning rules, Hebbian plasticity updates the neural network weights using local signals without the guide of an explicit target function, thus enabling an agent to learn automatically without human efforts. However, typical plastic ANNs using a large amount of meta-parameters violate the nature of the genomics bottleneck and potentially deteriorate the generalization capacity. This work proposes a new learning paradigm decomposing those connection-dependent plasticity rules into neuron-dependent rules thus accommodating $\Theta(n^2)$ learnable parameters with only $\Theta(n)$ meta-parameters. We also thoroughly study the effect of different neural modulation on plasticity. Our algorithms are tested in challenging random 2D maze environments, where the agents have to use their past experiences to shape the neural connections and improve their performances for the future. The results of our experiment validate the following: 1. Plasticity can be adopted to continually update a randomly initialized RNN to surpass pre-trained, more sophisticated recurrent models, especially when coming to long-term memorization. 2. Following the genomics bottleneck, the proposed decomposed plasticity can be comparable to or even more effective than canonical plasticity rules in some instances.


title: BLESER: Bug Localization Based on Enhanced Semantic Retrieval

abstract: Static bug localization techniques that locate bugs at method granularity have gained much attention from both researchers and practitioners. For a static method-level bug localization technique, a key but challenging step is to fully retrieve the semantics of methods and bug reports. Currently, existing studies mainly use the same bag-of-word space to represent the semantics of methods and bug reports without considering structure information of methods and textual contexts of bug reports, which largely and negatively affects bug localization performance. To address this problem, we develop BLESER, a new bug localization technique based on enhanced semantic retrieval. Specifically, we use an AST-based code embedding model (capturing code structure better) to retrieve the semantics of methods, and word embedding models (capturing textual contexts better) to represent the semantics of bug reports. Then, a deep learning model is built on the enhanced semantic representations. During model building, we compare five typical word embedding models in representing bug reports and try to explore the usefulness of re-sampling strategies and cost-sensitive strategies in handling class imbalance problems. We evaluate our BLESER on five Java projects from the Defects4J dataset. We find that: (1) On the whole, the word embedding model ELMo outperformed the other four models (including word2vec, BERT, etc.) in facilitating bug localization techniques. (2) Among four strategies aiming at solving class imbalance problems, the strategy ROS (random over-sampling) performed much better than the other three strategies (including random under-sampling, Focal Loss, etc.). (3) By integrating ELMo and ROS into BLESER, at method-level bug localization, we could achieve MAP of 0.108-0.504, MRR of 0.134-0.510, and Accuracy@1 of 0.125-0.5 on five Defects4J projects.


title: Effects of chiral symmetry restoration on meson and dilepton production in relativistic heavy-ion collisions

abstract: We include effects of chiral symmetry and its restoration in the kinetic equations for baryon propagation and explore the consequences for $\eta$, $\pi^0$, $\rho$ and dilepton production in heavy-ion collisions at 1-2A GeV. Numerical calculations are performed using the GiBUU microscopic transport model supplemented by the parity-doublet model for the mean fields of the nucleon and the $N^*(1535)$ resonance. In this chiral model, a strong dropping of the Dirac mass of the $N^*(1535)$ in the high-density stage of a collision leads to a considerable enhancement in the production of this resonance as compared to the standard (non-linear) Walecka model. As the system expands, the Dirac masses of these abundant soft $N^*(1535)$ resonances gradually increase and ultimately cross the $N \eta$ decay threshold. As a result, an enhanced low-energy $\eta$ production is observed in the calculations with chiral mean fields. Comparing with TAPS data on $\eta$ and $\pi^0$ production we find that the chiral model improves the agreement for the $m_t$-spectra of $\eta$'s at small $m_t$ in heavy colliding systems. A similar enhancement is also observed in the soft $\rho$ production due to chiral symmetry and its partial restoration. The resulting dilepton yields at low and intermediate invariant masses are slightly enhanced due to these chiral effects which further improve the agreement between GiBUU transport simulations and HADES data for C+C at 1A GeV.


title: Coherent spin rotation-induced zero thermal expansion in MnCoSi-based spiral magnets

abstract: Materials exhibiting zero thermal expansion (ZTE), namely, volume invariance during temperature change, can resist thermal shock and are highly desired in modern industries as high-precision components. However, pure ZTE materials are rare, especially those that are metallic. Here, we report the discovery of a pure metallic ZTE material: an orthorhombic Mn1-xNixCoSi spiral magnet. The introduction of Ni can efficiently enhance the ferromagnetic exchange interaction and construct the transition from a spiral magnetic state to a ferromagnetic-like state in MnCoSi-based alloys. Systematic in situ neutron powder diffraction revealed a new cycloidal spiral magnetic structure in bc plane at ground state which would transform to the helical spiral in the ab plane with increasing temperature. Combined with Lorentz transmission electron microscopy techniques, the cycloidal and helical spin order coherently rotated at varying periods along the c axis during the magnetic transition. This spin rotation drove the continuous movement of the coupled crystalline lattice and induced a large negative thermal expansion along the a axis, eventually leading to a wide-temperature ZTE effect. Our work not only introduces a new ZTE alloy but also presents a new mechanism by which to discover or design ZTE magnets.


title: Emergent inductance by dynamical Aharonov-Casher phases

abstract: We propose a mechanism of inductance operation originating from a dynamical Aharonov-Casher (AC) phase of an electron in ferromagnets. By taking into account spin-orbit coupling effects, we extend the theory of emergent inductance, which has recently been discovered in spiral magnets, to arbitrary magnetic textures. The inductance of dynamical AC phase origin universally arises in the coexistence of magnetism and a spin-orbit coupling, even with spatially-uniform magnetization, allowing its stable operation in wide ranges of temperature and frequency. Revisiting the widely studied systems, such as ferromagnets with spatial inversion asymmetry, with the new perspective offered by our work will lead to opening a new paradigm in the study of AC phase physics and the spintronics-based power management in ultra-wideband frequency range.


title: Gamma-ray emission from young radio galaxies and quasars: the flaring episode of the peculiar galaxy PKS B1413+135

abstract: According to radiative models, radio galaxies are predicted to produce gamma rays from the earliest stages of their evolution onwards.The study of the high-energy emission from young radio sources is crucial for providing information on the most energetic processes associated with these sources, the actual region responsible for this emission, as well as the structure of the newly born radio jets. Despite systematic searches for young radio sources at gamma-ray energies, only a handful of detections have been reported so far. Taking advantage of more than 11 years of \textit{Fermi}-LAT data, we investigate the gamma-ray emission of 162 young radio sources (103 galaxies and 59 quasars), the largest sample of young radio sources used so far for a gamma-ray study. We analyse the \textit{Fermi}-LAT data of each individual source separately to search for a significant detection. In addition, we perform the first stacking analysis of this class of sources in order to investigate the gamma-ray emission of the young radio sources that are undetected at high energies. We report the detection of significant gamma-ray emission from 11 young radio sources, including the discovery of significant gamma-ray emission from the compact radio galaxy PKS 1007+142. Although the stacking analysis of below-threshold young radio sources does not result in a significant detection, it provides stringent upper limits to constrain the gamma-ray emission from these objects. In this talk we present the results of our study and we discuss their implications for the predictions of gamma-ray emission from this class of sources.


title: X-GOAL: Multiplex Heterogeneous Graph Prototypical Contrastive Learning

abstract: Graphs are powerful representations for relations among objects, which have attracted plenty of attention. A fundamental challenge for graph learning is how to train an effective Graph Neural Network (GNN) encoder without labels, which are expensive and time consuming to obtain. Contrastive Learning (CL) is one of the most popular paradigms to address this challenge, which trains GNNs by discriminating positive and negative node pairs. Despite the success of recent CL methods, there are still two under-explored problems. First, how to reduce the semantic error introduced by random topology based data augmentations. Traditional CL defines positive and negative node pairs via the node-level topological proximity, which is solely based on the graph topology regardless of the semantic information of node attributes, and thus some semantically similar nodes could be wrongly treated as negative pairs. Second, how to effectively model the multiplexity of the real-world graphs, where nodes are connected by various relations and each relation could form a homogeneous graph layer. To solve these problems, we propose a novel multiplex heterogeneous graph prototypical contrastive leaning (X-GOAL) framework to extract node embeddings. X-GOAL is comprised of two components: the GOAL framework, which learns node embeddings for each homogeneous graph layer, and an alignment regularization, which jointly models different layers by aligning layer-specific node embeddings. Specifically, the GOAL framework captures the node-level information by a succinct graph transformation technique, and captures the cluster-level information by pulling nodes within the same semantic cluster closer in the embedding space. The alignment regularization aligns embeddings across layers at both node and cluster levels. We evaluate X-GOAL on various real-world datasets and downstream tasks to demonstrate its effectiveness.


title: A Computationally Efficient EK-PMBM Filter for Bistatic mmWave Radio SLAM

abstract: Millimeter wave (mmWave) signals are useful for simultaneous localization and mapping (SLAM), due to their inherent geometric connection to the propagation environment and the propagation channel. To solve the SLAM problem, existing approaches rely on sigma-point or particle-based approximations, leading to high computational complexity, precluding real-time execution. We propose a novel low-complexity SLAM filter, based on the Poisson multi-Bernoulli mixture (PMBM) filter. It utilizes the extended Kalman (EK) first-order Taylor series based Gaussian approximation of the filtering distribution, and applies the track-oriented marginal multi-Bernoulli/Poisson (TOMB/P) algorithm to approximate the resulting PMBM as a Poisson multi-Bernoulli (PMB). The filter can account for different landmark types in radio SLAM and multiple data association hypotheses. Hence, it has an adjustable complexity/performance trade-off. Simulation results show that the developed SLAM filter can greatly reduce the computational cost, while it keeps the good performance of mapping and user state estimation.


title: Solar Kaluza-Klein axion search with NEWS-G

abstract: Kaluza-Klein (KK) axions appear in theories with extra dimensions as higher mass, significantly shorter lifetime, excitations of the Peccei-Quinn axion. When produced in the Sun, they would remain gravitationally trapped in the solar system, and their decay to a pair of photons could provide an explanation of the solar corona heating problem. A low-density detector would discriminate such a signal from the background, by identifying the separation of the interaction point of the two photons. The NEWS-G collaboration uses large volume Spherical Proportional Counters, gas-filled metallic spheres with a spherical anode in their centre. After observation of a single axionlike event in a 42 day long run with the SEDINE detector, a $90\%$ C.L. upper limit of $g_{a\gamma\gamma}<8.99\cdot10^{-13}\,GeV^{-1}$ is set on the axion-photon coupling for a KK axion density on Earth of $n_{a}=4.07\cdot10^{13}\,m^{-3}$ and two extra dimensions of size $R = 1\,eV^{-1}$.


title: Data Aggregation in Synchronous Large-scale IoT Networks: Granularity, Reliability, and Delay Tradeoffs

abstract: This paper studies data aggregation in large-scale regularly deployed Internet of Things (IoT) networks, where devices generate synchronized time-triggered traffic (e.g., measurements or updates). The data granularity, in terms of information content and temporal resolution, is parameterized by the sizes of the generated packets and the duty cycle of packet generation. The generated data packets at the devices are aggregated through static terrestrial gateways. Universal frequency reuse is adopted across all gateways and randomized scheduling is utilized for the IoT devices associated with each gateway. Such network model finds applications in environmental sensing, precision agriculture, and geological seismic sensing to name a few. To this end, we develop a novel spatiotemporal mathematical model to characterize the interplay between data granularity, transmission reliability, and delay. The developed model accounts for several IoT design parameters, which include packet sizes, generation duty cycle, devices and gateways spatial densities, transmission rate adaptation, power control, and antenna directivity. For tractable analysis, we propose two accurate approximations, based on the Poisson point process, to characterize the signal-to-interference-plus-noise-ratio (SINR) based transmission reliability. For the delay analysis, we propose a phase-type arrival/departure (PH/PH/1) queueing model that accounts for packet generation, transmission scheduling, and rate-sensitive SINR-based packet departure. The developed model is utilized to obtain the optimal transmission rate for the IoT devices that minimizes delay. The numerical results delineate the joint feasibility range of packet sizes and inter-arrival times for data aggregation and reveal significant gains when deploying directional antennas.


title: NSP-BERT: A Prompt-based Few-Shot Learner Through an Original Pre-training Task--Next Sentence Prediction

abstract: Using prompts to utilize language models to perform various downstream tasks, also known as prompt-based learning or prompt-learning, has lately gained significant success in comparison to the pre-train and fine-tune paradigm. Nonetheless, virtually all prompt-based methods are token-level, meaning they all utilize GPT's left-to-right language model or BERT's masked language model to perform cloze-style tasks. In this paper, we attempt to accomplish several NLP tasks in the zero-shot scenario using a BERT original pre-training task abandoned by RoBERTa and other models--Next Sentence Prediction (NSP). Unlike token-level techniques, our sentence-level prompt-based method NSP-BERT does not need to fix the length of the prompt or the position to be predicted, allowing it to handle tasks such as entity linking with ease. Based on the characteristics of NSP-BERT, we offer several quick building templates for various downstream tasks. We suggest a two-stage prompt method for word sense disambiguation tasks in particular. Our strategies for mapping the labels significantly enhance the model's performance on sentence pair tasks. On the FewCLUE benchmark, our NSP-BERT outperforms other zero-shot methods on most of these tasks and comes close to the few-shot methods.


title: In silico drug repositioning for COVID-19 using absolute binding free energy calculations

abstract: Since the rise of the SARS-CoV-2 pandemic in the winter of 2019, the need for an affordable and efficient drug has not yet been met. Leveraging its unique, fast and precise binding free energy prediction technology, Aqemia screened and ranked FDA-approved molecules against the 3ClPro protein. This protease is key to the post-translational modification of two polyproteins produced by the viral genome. We propose in our top 10 predicted molecules some drugs or prodrugs that could be repurposed and used in the treatment of COVID cases.


title: Parabolic boundary-value problems and generalized Sobolev spaces

abstract: The research monograph expounds the foundation of a new theory of parabolic initial-boundary-value problems in scales of generalized anisotropic Sobolev spaces. These scales are calibrated essentially more finely with the help of a function parameter of regularity than the classes of spaces used earlier in the theory of parabolic problems. The monograph is featured by the systematic application of the method of quadratic interpolation (with function parameter) between abstract and Sobolev inner product spaces. The monograph is intended for the researches, professors, PhD students, and senior students specializing in differential equations and mathematical analysis.


title: Blow-up time of strong solutions to a biological network formation model in high space dimensions

abstract: We investigate the possible blow-up of strong solutions to a biological network formation model originally introduced by D. Cai and D. Hu \cite{HC}. The model is represented by an initial boundary value problem for an elliptic-parabolic system with cubic non linearity. We obtain an algebraic equation for the possible blow-up time of strong solutions. The equation yields information on how various given data may contribute to the blow-up of solutions. As a by-product of our development, we establish a $W^{1,q}$ estimate for solutions to an elliptic equation which shows the explicit dependence of the upper bound on the elliptic coefficients.


title: Beijing ZKJ-NPU Speaker Verification System for VoxCeleb Speaker Recognition Challenge 2021

abstract: In this report, we describe the Beijing ZKJ-NPU team submission to the VoxCeleb Speaker Recognition Challenge 2021 (VoxSRC-21). We participated in the fully supervised speaker verification track 1 and track 2. In the challenge, we explored various kinds of advanced neural network structures with different pooling layers and objective loss functions. In addition, we introduced the ResNet-DTCF, CoAtNet and PyConv networks to advance the performance of CNN-based speaker embedding model. Moreover, we applied embedding normalization and score normalization at the evaluation stage. By fusing 11 and 14 systems, our final best performances (minDCF/EER) on the evaluation trails are 0.1205/2.8160% and 0.1175/2.8400% respectively for track 1 and 2. With our submission, we came to the second place in the challenge for both tracks.


title: LiDARTouch: Monocular metric depth estimation with a few-beam LiDAR

abstract: Vision-based depth estimation is a key feature in autonomous systems, which often relies on a single camera or several independent ones. In such a monocular setup, dense depth is obtained with either additional input from one or several expensive LiDARs, e.g., with 64 beams, or camera-only methods, which suffer from scale-ambiguity and infinite-depth problems. In this paper, we propose a new alternative of densely estimating metric depth by combining a monocular camera with a light-weight LiDAR, e.g., with 4 beams, typical of today's automotive-grade mass-produced laser scanners. Inspired by recent self-supervised methods, we introduce a novel framework, called LiDARTouch, to estimate dense depth maps from monocular images with the help of ``touches'' of LiDAR, i.e., without the need for dense ground-truth depth. In our setup, the minimal LiDAR input contributes on three different levels: as an additional model's input, in a self-supervised LiDAR reconstruction objective function, and to estimate changes of pose (a key component of self-supervised depth estimation architectures). Our LiDARTouch framework achieves new state of the art in self-supervised depth estimation on the KITTI dataset, thus supporting our choices of integrating the very sparse LiDAR signal with other visual features. Moreover, we show that the use of a few-beam LiDAR alleviates scale ambiguity and infinite-depth issues that camera-only methods suffer from. We also demonstrate that methods from the fully-supervised depth-completion literature can be adapted to a self-supervised regime with a minimal LiDAR signal.


title: Biomedical and Clinical Language Models for Spanish: On the Benefits of Domain-Specific Pretraining in a Mid-Resource Scenario

abstract: This work presents biomedical and clinical language models for Spanish by experimenting with different pretraining choices, such as masking at word and subword level, varying the vocabulary size and testing with domain data, looking for better language representations. Interestingly, in the absence of enough clinical data to train a model from scratch, we applied mixed-domain pretraining and cross-domain transfer approaches to generate a performant bio-clinical model suitable for real-world clinical data. We evaluated our models on Named Entity Recognition (NER) tasks for biomedical documents and challenging hospital discharge reports. When compared against the competitive mBERT and BETO models, we outperform them in all NER tasks by a significant margin. Finally, we studied the impact of the model's vocabulary on the NER performances by offering an interesting vocabulary-centric analysis. The results confirm that domain-specific pretraining is fundamental to achieving higher performances in downstream NER tasks, even within a mid-resource scenario. To the best of our knowledge, we provide the first biomedical and clinical transformer-based pretrained language models for Spanish, intending to boost native Spanish NLP applications in biomedicine. Our best models are freely available in the HuggingFace hub: https://huggingface.co/BSC-TeMU.


title: TrollsWithOpinion: A Dataset for Predicting Domain-specific Opinion Manipulation in Troll Memes

abstract: Research into the classification of Image with Text (IWT) troll memes has recently become popular. Since the online community utilizes the refuge of memes to express themselves, there is an abundance of data in the form of memes. These memes have the potential to demean, harras, or bully targeted individuals. Moreover, the targeted individual could fall prey to opinion manipulation. To comprehend the use of memes in opinion manipulation, we define three specific domains (product, political or others) which we classify into troll or not-troll, with or without opinion manipulation. To enable this analysis, we enhanced an existing dataset by annotating the data with our defined classes, resulting in a dataset of 8,881 IWT or multimodal memes in the English language (TrollsWithOpinion dataset). We perform baseline experiments on the annotated dataset, and our result shows that existing state-of-the-art techniques could only reach a weighted-average F1-score of 0.37. This shows the need for a development of a specific technique to deal with multimodal troll memes.


title: A fractal version of the Onsager's conjecture: the $\beta-$model

abstract: Intermittency phenomena are known to be among the main reasons why Kolmogorov's theory of fully developed Turbulence is not in accordance with several experimental results. This is why some \emph{fractal} statistical models have been proposed in order to realign the theoretical physical predictions with the empirical experiments. They indicate that energy dissipation, and thus singularities, are not space filling for high Reynolds numbers. This note aims to give a precise mathematical statement on the energy conservation of such fractal models of Turbulence. We prove that for $\theta-$H\"older continuous weak solutions of the incompressible Euler equations energy conservation holds if the upper Minkowski dimension of the spatial singular set $S \subseteq \T^3$ (possibly also time-dependent) is small, or more precisely if $\overline{\dim}_{\mathcal{M}}(S)<2+3\theta\,.$ In particular, the spatial singularities of \emph{non-conservative} $\theta-$H\"older continuous weak solutions of Euler are concentrated on a set with dimension lower bound $2+3\theta$. This result can be viewed as the fractal counterpart of the celebrated Onsager conjecture and it matches both with the prediction given by the $\beta-$model introduced by Frisch, Sulem and Nelkin in \cite{FSN78} and with other mathematical results in the endpoint cases.


title: NLO QCD corrections to Higgs boson production in association with gauge bosons in proton-proton collisions at sqrt(s) = 14 TeV

abstract: We suggest some predictions for Standard Model Higgs boson production in association with gauge bosons in proton-proton collisions at sqrt(s) = 14 TeV. Our calculation includes the NLO QCD corrections to these processes using MadGraph5_aMC@NLO event generator. We study the impacts of these corrections on the total cross sections and various kinematical distributions.


title: On the Security and Privacy of Hyperledger Fabric:Challenges and Open Issues

abstract: In the last few years, a countless number of permissioned blockchain solutions have been proposed, with each one to claim that it revolutionizes the way of the transaction processing along with the security and privacy preserving mechanisms that it provides. Hyperledger Fabric is one of the most popular permissioned blockchain architectures that has made a significant impact on the market. However, there are only few papers of finding architectural risks regarding the security and the privacy preserving mechanisms of Hyperledger Fabric. This paper separates the attack surface of the blockchain platform into four components, namely, consensus, chaincode, network and privacy preserving mechanisms, in all of which an attacker (from inside or outside the network) can exploit the platform's design and gain access to or misuse the network. In addition, we highlight the appropriate counter-measures that can be taken in each component to address the corresponding risks and provide a significantly secure and enhanced privacy preserving Fabric network. We hope that by bringing this paper into light, we can aid developers to avoid security flaws and implementations that can be exploited by attackers but also to motivate further research to harden the platform's security and the client's privacy.


title: Deriving Explanation of Deep Visual Saliency Models

abstract: Deep neural networks have shown their profound impact on achieving human level performance in visual saliency prediction. However, it is still unclear how they learn the task and what it means in terms of understanding human visual system. In this work, we develop a technique to derive explainable saliency models from their corresponding deep neural architecture based saliency models by applying human perception theories and the conventional concepts of saliency. This technique helps us understand the learning pattern of the deep network at its intermediate layers through their activation maps. Initially, we consider two state-of-the-art deep saliency models, namely UNISAL and MSI-Net for our interpretation. We use a set of biologically plausible log-gabor filters for identifying and reconstructing the activation maps of them using our explainable saliency model. The final saliency map is generated using these reconstructed activation maps. We also build our own deep saliency model named cross-concatenated multi-scale residual block based network (CMRNet) for saliency prediction. Then, we evaluate and compare the performance of the explainable models derived from UNISAL, MSI-Net and CMRNet on three benchmark datasets with other state-of-the-art methods. Hence, we propose that this approach of explainability can be applied to any deep visual saliency model for interpretation which makes it a generic one.


title: Multipartite quantum correlations in the frustrated and nonfrustrated regimes of a tunable triangular Ising system

abstract: We study the multipartite quantum correlation (MQC) in a quantum transverse Ising system with the tunable triangular configuration, where it is found that the MQC itself cannot always discriminate the frustrated and nonfrustrated regimes of the ground state but the MQC combined with our newly defined MQC susceptibility can complete the task. Meanwhile, we reveal that the spatially anisotropic coupling is an effective and feasible tool for the MQC modulation in the ground state of frustrated Ising spins. Furthermore, we analyze the multipartite correlation properties in the thermal state, where it is shown that, unlike the thermally fragile MQC in the nonfrustrated regimes, there is a three-way trade-off relation among high MQC, strong thermal robustness, and the spatially anisotropic interactions in the frustrated spins. In addition, an experimental scheme for the MQC modulation via the anisotropic coupling is discussed in the system of cold atoms trapped in an optical lattice.


title: Multipartite entanglement to boost superadditivity of coherent information in quantum communication lines with polarization dependent losses

abstract: Coherent information quantifies the achievable rate of the reliable quantum information transmission through a communication channel. Use of the correlated quantum states instead of the factorized ones may result in an increase in the coherent information, a phenomenon known as superadditivity. However, even for simple physical models of channels it is rather difficult to detect the superadditivity and find the advantageous multipartite states. Here we consider the case of polarization dependent losses and propose some physically motivated multipartite entangled states which outperform all factorized states in a wide range of the channel parameters. We show that in the asymptotic limit of the infinite number of channel uses the superadditivity phenomenon takes place whenever the channel is neither degradable nor antidegradable. Besides the superadditivity identification, we also provide a method how to modify the proposed states and get a higher quantum communication rate by doubling the number of channel uses. The obtained results give a deeper understanding of coherent information in the multishot scenario and may serve as a benchmark for quantum capacity estimations and future approaches toward an optimal strategy to transfer quantum information.


title: Helical Bragg gratings: experimental verification of light orbital angular momentum conversion

abstract: Structured light, in particular light possessing orbital angular momentum (OAM), has been actively studied in recent decades. Helical Bragg grating (HBG) is a reflecting optical element, which predicted to be able to convert the OAM of light in waveguides and fibers. However, the HBG has not been demonstrated experimentally yet. Here we report the first experimental manifestation of HBG created in the form of a waveguide with depressed-index cladding. Few-mode channel helical-depressed-cladding waveguides (HDCWs) have been written in a YAG crystal by a femtosecond laser beam. The HDCW pitches were comparable to near-IR wavelengths. The spectral and polarization characteristics of the transmitted and reflected light have been studied. It was shown that HDCWs behave like HBGs providing narrowband resonance coupling of the counter propagating modes, the OAM of the modes differing by the Bragg order or, what is the same, the topological charge of the helical cladding structure. Adjusting the HDCW parameters allows one to excite a reflected wave at the predetermined wavelength and with the predetermined OAM change with respect to the light coupled to the waveguide. Thus, for the first time, the HBGs suitable for the generation and filtration of the vortex light have been experimentally demonstrated. The experimental results obtained agree well with the coupled mode theory calculations.


title: Realizability of tropical pluri-canonical divisors

abstract: Consider a pair consisting of an abstract tropical curve and an effective divisor from the linear system associated to $k$ times the canonical divisor for $k \in \bZ_{\geq 1}$. In this article we give a purely combinatorial criterion to determine if such a pair arises as the tropicalization of a pair consisting of a smooth algebraic curve over a non-Archimedean field with algebraically closed residue field of characteristic~0 together with an effective pluri-canonical divisor. To do so, we introduce tropical normalized covers as special instances of tropical Hurwitz covers and reduce the realizability problem for pluri-canonical divisors to the realizability problem for normalized covers. Our main result generalizes the work of M\"oller-Ulirsch-Werner on realizability of tropical canonical divisors and incorporates the recent progress on compactifications of strata of $k$-differentials in the work of Bainbridge-Chen-Gendron-Grushevsky-M\"oller.


title: Surfaces of locally minimal flux

abstract: For exact area-preserving twist maps, curves were constructed through the gaps of cantori in \cite{MMP84}, which were conjectured to have minimal flux subject to passing through the points of the cantorus. It was pointed out by \cite{Pol} that these curves do {\em not} have minimal flux if there coexists a rotational invariant circle of a different rotation number, but if hyperbolic they do have {\em locally} minimal flux even without the constraint of passing through the points of the cantorus. Following the criterion of \cite{M94} for surfaces of locally minimal flux for 3D volume-preserving flows, I revisit this result and show that in general the analogous curves through the points of rotationally-ordered periodic orbits or their heteroclinic orbits do {\em not} have locally minimal flux. Along the way, various questions are posed. Some results for more degrees of freedom are summarised.


title: Qubit State Discrimination using Post-measurement Information

abstract: We consider the optimal discrimination of nonorthogonal qubit states with post-measurement information and provide an analytic structure of the optimal measurements. We also show that there is always a null optimal measurement when post-measurement information is given. Further, in discriminating four states using post-measurement information, we analytically provide the optimal probability of correct guessing and show that the uniqueness of optimal measurement is equivalent to the non-existence of non-null optimal measurement with post-measurement information.


title: Higher Order Kernel Mean Embeddings to Capture Filtrations of Stochastic Processes

abstract: Stochastic processes are random variables with values in some space of paths. However, reducing a stochastic process to a path-valued random variable ignores its filtration, i.e. the flow of information carried by the process through time. By conditioning the process on its filtration, we introduce a family of higher order kernel mean embeddings (KMEs) that generalizes the notion of KME and captures additional information related to the filtration. We derive empirical estimators for the associated higher order maximum mean discrepancies (MMDs) and prove consistency. We then construct a filtration-sensitive kernel two-sample test able to pick up information that gets missed by the standard MMD test. In addition, leveraging our higher order MMDs we construct a family of universal kernels on stochastic processes that allows to solve real-world calibration and optimal stopping problems in quantitative finance (such as the pricing of American options) via classical kernel-based regression methods. Finally, adapting existing tests for conditional independence to the case of stochastic processes, we design a causal-discovery algorithm to recover the causal graph of structural dependencies among interacting bodies solely from observations of their multidimensional trajectories.


title: On matrix representations for generalized braid groups

abstract: In the present paper, we construct a variant of the Burau representation of two generalizations of the classical braid group. For the Gassner representation, we propose an iterative procedure to find and generalize the extension of this representation.


title: On the uniqueness of multi-breathers of the modified Korteweg-de Vries equation

abstract: We consider the modified Korteweg-de Vries equation (mKdV) and prove that given any sum P of solitons and breathers of (mKdV) (with distinct velocities), there exists a solution p of (mKdV) such that p(t) -- P(t) $\rightarrow$ 0 when t $\rightarrow$ +$\infty$, which we call multi-breather. In order to do this, we work at the H^2 level (even if usually solitons are considered at the H^1 level). We will show that this convergence takes place in any H^s space and that this convergence is exponentially fast in time. We also show that the constructed multi-breather is unique in two cases: in the class of solutions which converge to the profile P faster than the inverse of a polynomial of a large enough degree in time (we will call this a super polynomial convergence), or (without hypothesis on the convergence rate), when all the velocities are positive.


title: Matching in the Dark: A Dataset for Matching Image Pairs of Low-light Scenes

abstract: This paper considers matching images of low-light scenes, aiming to widen the frontier of SfM and visual SLAM applications. Recent image sensors can record the brightness of scenes with more than eight-bit precision, available in their RAW-format image. We are interested in making full use of such high-precision information to match extremely low-light scene images that conventional methods cannot handle. For extreme low-light scenes, even if some of their brightness information exists in the RAW format images' low bits, the standard raw image processing on cameras fails to utilize them properly. As was recently shown by Chen et al., CNNs can learn to produce images with a natural appearance from such RAW-format images. To consider if and how well we can utilize such information stored in RAW-format images for image matching, we have created a new dataset named MID (matching in the dark). Using it, we experimentally evaluated combinations of eight image-enhancing methods and eleven image matching methods consisting of classical/neural local descriptors and classical/neural initial point-matching methods. The results show the advantage of using the RAW-format images and the strengths and weaknesses of the above component methods. They also imply there is room for further research.


title: Uniqueness of exact Borel subalgebras and bocses

abstract: Together with Koenig and Ovsienko, the first author showed that every quasi-hereditary algebra can be obtained as the (left or right) dual of a directed bocs. In this monograph, we prove that if one additionally assumes that the bocs is basic, a notion we define, then this bocs is unique up to isomorphism. This should be seen as a generalisation of the statement that the basic algebra of an arbitrary associative algebra is unique up to isomorphism. The proof associates to a given presentation of the bocs an $A_\infty$-structure on the $\operatorname{Ext}$-algebra of the standard modules of the corresponding quasi-hereditary algebra. Uniqueness then follows from an application of Kadeishvili's theorem.


title: A Dual-Channel Framework for Sarcasm Recognition by Detecting Sentiment Conflict

abstract: Sarcasm employs ambivalence, where one says something positive but actually means negative, and vice versa. The essence of sarcasm, which is also a sufficient and necessary condition, is the conflict between literal and implied sentiments expressed in one sentence. However, it is difficult to recognize such sentiment conflict because the sentiments are mixed or even implicit. As a result, the recognition of sophisticated and obscure sentiment brings in a great challenge to sarcasm detection. In this paper, we propose a Dual-Channel Framework by modeling both literal and implied sentiments separately. Based on this dual-channel framework, we design the Dual-Channel Network~(DC-Net) to recognize sentiment conflict. Experiments on political debates (i.e. IAC-V1 and IAC-V2) and Twitter datasets show that our proposed DC-Net achieves state-of-the-art performance on sarcasm recognition. Our code is released to support research.


title: Optical nonreciprocity in rotating diamond with nitrogen-vacancy center

abstract: We theoretically propose a method to realize optical nonreciprocity in rotating nano-diamond with a nitrogen-vacancy (NV) center. Because of the relative motion of the NV center with respect to the propagating fields, the frequencies of the fields are shifted due to the Doppler effect. When the control and probe fields are incident to the NV center from the same direction, the two-photon resonance still holds as the Doppler shifts of the two fields are the same. Thus, due to the electromagnetically-induced transparency (EIT), the probe light can pass through the NV center nearly without absorption. However, when the two fields propagate in opposite directions, the probe light can not effectively pass through the NV center as a result of the breakdown of two-photon resonance.


title: How drifting and evaporating pebbles shape giant planets II: Volatiles and refractories in atmospheres

abstract: Upcoming studies of extrasolar gas giants will give precise insights into the composition of planetary atmospheres with the ultimate goal to link it to the formation history of the planet. Here, we investigate how drifting and evaporating pebbles that enrich the gas phase of the disk influence the chemical composition of growing and migrating gas giants. To achieve this goal, we perform semi analytical 1D models of protoplanetary disks including viscous evolution, pebble drift and evaporation to simulate the growth of planets from planetary embryos to Jupiter mass objects by the accretion of pebbles and gas while they migrate through the disk. The gas phase of the protoplanetary disk is enriched due to the evaporation of inward drifting pebbles crossing evaporation lines, leading to the accretion of large amounts of volatiles into the planetary atmosphere. As a consequence, gas accreting planets are enriched in volatiles (C, O, N) compared to refractories (e.g., Mg, Si, Fe) by up to a factor of 100, depending on the chemical species, its exact abundance and volatility as well as the disk's viscosity. A simplified model for the formation of Jupiter reveals that its nitrogen content can be explained by inward diffusing nitrogen rich vapor, implying that Jupiter does not need to form close to the N2 evaporation front as indicated by previous simulations. However, our model predicts a too low oxygen abundance for Jupiter, implying either Jupiter's migration across the water ice line or an additional accretion of solids into the atmosphere, which can also increase Jupiter's carbon abundance. The accretion of solids will increase the refractory to volatile ratio in planetary atmospheres substantially. We thus conclude that the volatile to refractory ratio can place a strong constraint on planet formation theories making it an important target for future observations.


title: The isothermal limit for the compressible Euler equations with damping

abstract: We consider the isothermal Euler system with damping. We rigorously show the convergence of Barenblatt solutions towards a limit Gaussian profile in the isothermal limit $\gamma$ $\rightarrow$ 1, and we explicitly compute the propagation and the behavior of Gaussian initial data. We then show the weak L 1 convergence of the density as well as the asymptotic behavior of its first and second moments. Contents 1. Introduction 1 2. Assumptions and main results 3 3. The limit $\gamma$ $\rightarrow$ 1 of Barenblatt's solutions 6 4. Gaussian solutions 9 5. Evolution of certain quantities 10 6. Convergence 15 7. Conclusion 17 References 17


title: Gluon EMC effects in nuclear matter

abstract: We investigate the gluonic structure of nuclei within a mean-field model of nuclear structure based upon the modification of the structure of a bound nucleon, with the nucleon described by the Nambu--Jona-Lasinio model. This approach has been shown to reproduce the European Muon Collaboration (EMC) effect, involving the ratio of the spin-independent structure functions of a heavier nucleus to that of the deuteron. It also predicts a significant nuclear modification for the spin structure functions, known as the polarized EMC effect. Here we report sizeable nuclear modifications of the gluon distributions (a "gluon EMC effect") for the ratios of both the unpolarized and polarized gluon distributions in nuclear matter to those of a free nucleon.


title: Strong Scaling of OpenACC enabled Nek5000 on several GPU based HPC systems

abstract: We present new results on the strong parallel scaling for the OpenACC-accelerated implementation of the high-order spectral element fluid dynamics solver Nek5000. The test case considered consists of a direct numerical simulation of fully-developed turbulent flow in a straight pipe, at two different Reynolds numbers $Re_\tau=360$ and $Re_\tau=550$, based on friction velocity and pipe radius. The strong scaling is tested on several GPU-enabled HPC systems, including the Swiss Piz Daint system, TACC's Longhorn, J\"ulich's JUWELS Booster, and Berzelius in Sweden. The performance results show that speed-up between 3-5 can be achieved using the GPU accelerated version compared with the CPU version on these different systems. The run-time for 20 timesteps reduces from 43.5 to 13.2 seconds with increasing the number of GPUs from 64 to 512 for $Re_\tau=550$ case on JUWELS Booster system. This illustrates the GPU accelerated version the potential for high throughput. At the same time, the strong scaling limit is significantly larger for GPUs, at about $2000-5000$ elements per rank; compared to about $50-100$ for a CPU-rank.


title: Fundamental groups of partial compactifications of arrangements and homology planes

abstract: Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in particular, to homology planes arising from arrangements of lines. This permits to determine the infinitude of the fundamental group of homology planes of log-general type that may be the first examples of this type.


title: Good-Enough Synthesis

abstract: In the classical synthesis problem, we are given an LTL formula \psi over sets of input and output signals, and we synthesize a system T that realizes \psi: with every input sequences x, the system associates an output sequence T(x) such that the generated computation x \otimes T(x) satisfies \psi. In practice, the requirement to satisfy the specification in all environments is often too strong, and it is common to add assumptions on the environment. We introduce a new type of relaxation on this requirement. In good-enough synthesis (GE-synthesis), the system is required to generate a satisfying computation only if one exists. Formally, an input sequence x is hopeful if there exists some output sequence y such that the computation x \otimes y satisfies \psi, and a system GE-realizes \psi if it generates a computation that satisfies \psi on all hopeful input sequences. GE-synthesis is particularly relevant when the notion of correctness is multi-valued (rather than Boolean), and thus we seek systems of the highest possible quality, and when synthesizing autonomous systems, which interact with unexpected environments and are often only expected to do their best. We study GE-synthesis in Boolean and multi-valued settings. In both, we suggest and solve various definitions of GE-synthesis, corresponding to different ways a designer may want to take hopefulness into account. We show that in all variants, GE-synthesis is not computationally harder than traditional synthesis, and can be implemented on top of existing tools. Our algorithms are based on careful combinations of nondeterministic and universal automata. We augment systems that GE-realize their specifications by monitors that provide satisfaction information. In the multi-valued setting, we provide both a worst-case analysis and an expectation-based one, the latter corresponding to an interaction with a stochastic environment.


title: Integrable hierarchies, Hurwitz numbers and a branch point field in critical topologically massive gravity

abstract: We discuss integrable aspects of the logarithmic contribution of the partition function of cosmological critical topologically massive gravity. On one hand, written in terms of Bell polynomials which describe the statistics of set partitions, the partition function of the logarithmic fields is a generating function of the potential Burgers hierarchy. On the other hand, the polynomial variables are solutions of the Kadomtsev-Petviashvili equation, and the partition function is a KP $\tau$ function, making more precise the solitonic nature of the logarithmic fields being counted. We show that the partition function is a generating function of Hurwitz numbers, and derive its expression. The fact that the partition function is the generating function of branched coverings gives insight on the orbifold target space. We show that the logarithmic field $\psi^{new}_{\mu \nu}$ can be regarded as a branch point field associated to the branch point $\mu l =1$.


title: Learn2Agree: Fitting with Multiple Annotators without Objective Ground Truth

abstract: The annotation of domain experts is important for some medical applications where the objective ground truth is ambiguous to define, e.g., the rehabilitation for some chronic diseases, and the prescreening of some musculoskeletal abnormalities without further medical examinations. However, improper uses of the annotations may hinder developing reliable models. On one hand, forcing the use of a single ground truth generated from multiple annotations is less informative for the modeling. On the other hand, feeding the model with all the annotations without proper regularization is noisy given existing disagreements. For such issues, we propose a novel Learning to Agreement (Learn2Agree) framework to tackle the challenge of learning from multiple annotators without objective ground truth. The framework has two streams, with one stream fitting with the multiple annotators and the other stream learning agreement information between annotators. In particular, the agreement learning stream produces regularization information to the classifier stream, tuning its decision to be better in line with the agreement between annotators. The proposed method can be easily added to existing backbones, with experiments on two medical datasets showed better agreement levels with annotators.


title: Existence and regularity results for a class of parabolic problems with double phase flux of variable growth

abstract: We study the homogeneous Dirichlet problem for the equation \[ u_t-\operatorname{div}\left((a(z)\vert \nabla u\vert ^{p(z)-2}+b(z)\vert \nabla u\vert ^{q(z)-2})\nabla u\right)=f\quad \text{in $Q_T=\Omega\times (0,T)$}, \] where $\Omega\subset \mathbb{R}^N$, $N\geq 2$, is a bounded domain with $\partial\Omega \in C^2$. The variable exponents $p$, $q$ and the nonnegative modulating coefficients $a$, $b$ are given Lipschitz-continuous functions of the argument $z=(x,t)\in Q_T$. It is assumed that $\frac{2N}{N+2}<p(z),\ q(z)$ and that the modulating coefficients and growth exponents satisfy the balance conditions \[ \text{$a(z)+b(z)\geq \alpha>0$ in $\overline{Q}_T$},\; \alpha=const;\qquad \text{$\vert p(z)-q(z)\vert <\frac{2}{N+2}$ in $\overline{Q}_T$}. \] We find conditions on the source $f$ and the initial data $u(\cdot,0)$ that guarantee the existence of a unique strong solution $u$ with $u_t\in L^2(Q_T)$ and $a\vert \nabla u\vert ^{p}+b\vert \nabla u\vert ^q\in L^\infty(0,T;L^1(\Omega))$. The solution possesses the property of global higher integrability of the gradient, \[ \vert \nabla u\vert ^{\min\{p(z),q(z)\}+r}\in L^1(Q_T)\quad \text{with any $r\in \left(0,\frac{4}{N+2}\right)$}, \] which is derived with the help of new interpolation inequalities in the variable Sobolev spaces. The second-order differentiability of the strong solution is proven: \[ D_{x_i}\left(\left(a\vert \nabla u\vert ^{p-2}+b\vert \nabla u\vert ^{q-2}\right)^{\frac{1}{2}}D_{x_j}u\right)\in L^2(Q_T),\quad i,j=1,2,\ldots,N. \]


title: Identification of Social-Media Platform of Videos through the Use of Shared Features

abstract: Videos have become a powerful tool for spreading illegal content such as military propaganda, revenge porn, or bullying through social networks. To counter these illegal activities, it has become essential to try new methods to verify the origin of videos from these platforms. However, collecting datasets large enough to train neural networks for this task has become difficult because of the privacy regulations that have been enacted in recent years. To mitigate this limitation, in this work we propose two different solutions based on transfer learning and multitask learning to determine whether a video has been uploaded from or downloaded to a specific social platform through the use of shared features with images trained on the same task. By transferring features from the shallowest to the deepest levels of the network from the image task to videos, we measure the amount of information shared between these two tasks. Then, we introduce a model based on multitask learning, which learns from both tasks simultaneously. The promising experimental results show, in particular, the effectiveness of the multitask approach. According to our knowledge, this is the first work that addresses the problem of social media platform identification of videos through the use of shared features.


title: Phonon Stability of Quantum Droplets in a dipolar Bose gases

abstract: Stabilized by quantum fluctuations, dipolar Bose-Einstein condensates can form self-bound liquidlike droplets in the mean-field unstable regime. However in the Bogoliubov theory, some phonon energies are imaginary in the long-wavelength limit, implying dynamical instability of this system. A similar instability appears in the Bogoliubov theory of a binary quantum droplet, and is removed due to higher-order quantum fluctuations as shown recently [1]. In this work, we study the phonon energy of a dipolar quantum droplet in the Beliaev formalism, and find that quantum fluctuations can enhance the phonon stability. We obtain the anisotropic sound velocity which can be tested in experiment.


title: Nonrelativistic Fundamental Quantum and Classical Wave Equations

abstract: The irreducible representations of the extended Galilean group are used to derive infinite sets of symmetric and asymmetric second-order differential equations with constant coeffcients. All derived equations are local and their Lagrangians exist. It is shown that the asymmetric equations are Galilean invariant but the symmetric ones are not. By specifying quantum and classical physical settings, the constants in the equations are determined and the fundamental wave equations, including the Schr\"odinger, Schr\"odinger-like and new asymmetric equations, are obtained; the derived wave equation is non-fundamental. Formulation of wave theories based on the fundamental and non-fundamental wave equaions is considered, and physical implications of these theories on the wave description are discussed.


title: Assessing the Needs of the Quantum Industry

abstract: Quantum information science and technology (QIST) has progressed significantly in the last decade, such that it is no longer solely in the domain of research labs, but is now beginning to be developed for, and applied in, industrial applications and products. With the emergence of this new quantum industry, a new workforce trained in QIST skills and knowledge is needed. To help support education and training of this workforce, universities and colleges require knowledge of the type of jobs available for their students and what skills and degrees are most relevant for those new jobs. Additionally, students need to know how to tailor their degrees to best align with the current needs of the quantum industry. We report on the results from a survey of 57 companies in the quantum industry, with the goal of elucidating the jobs, skills, and degrees that are relevant for this new workforce. We find a range of job opportunities from highly specific jobs, such as quantum algorithm developer and error correction scientist, to broader jobs categories within the business, software, and hardware sectors. These broader jobs require a range of skills, most of which are not quantum related. Further, except for the highly specific jobs, companies that responded to the survey are looking for a range of degree levels to fill these new positions, from bachelors to masters to PhDs. With this knowledge, students, instructors, and university administrators can make informed decisions about how to address the challenge of increasing the future quantum workforce.


title: SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices)

abstract: We present Security Relaxed Separation Logic (SecRSL), a separation logic for proving information-flow security of C11 programs in the Release-Acquire fragment with relaxed accesses. SecRSL is the first security logic that (1) supports weak-memory reasoning about programs in a high-level language; (2) inherits separation logic's virtues of compositional, local reasoning about (3) expressive security policies like value-dependent classification. SecRSL is also, to our knowledge, the first security logic developed over an axiomatic memory model. Thus we also present the first definitions of information-flow security for an axiomatic weak memory model, against which we prove SecRSL sound. SecRSL ensures that programs satisfy a constant-time security guarantee, while being free of undefined behaviour. We apply SecRSL to implement and verify the functional correctness and constant-time security of a range of concurrency primitives, including a spinlock module, a mixed-sensitivity mutex, and multiple synchronous channel implementations. Empirical performance evaluations of the latter demonstrate SecRSL's power to support the development of secure and performant concurrent C programs.


title: A Comparison of 2D Magnetohydrodynamic Supernova Simulations with the CoCoNuT-FMT and Aenus-Alcar Codes

abstract: Code comparisons are a valuable tool for the verification of supernova simulation codes and the quantification of model uncertainties. Here we present a first comparison of axisymmetric magnetohydrodynamic (MHD) supernova simulations with the CoCoNuT-FMT and Aenus-Alcar codes, which use distinct methods for treating the MHD induction equation and the neutrino transport. We run two sets of simulations of a rapidly rotating 35M gamma-ray burst progenitor model with different choices for the initial field strength, namely 10^12 G for the maximum poloidal and toroidal field in the strong-field case and 10^10 G in the weak-field case. We also investigate the influence of the Riemann solver and the resolution in CoCoNuT-FMT. The dynamics is qualitatively similar for both codes and robust with respect to these numerical details, with a rapid magnetorotational explosion in the strong-field case and a delayed neutrino-driven explosion in the weak-field case. Despite relatively similar shock trajectories, we find sizeable differences in many other global metrics of the dynamics, like the explosion energy and the magnetic energy of the proto-neutron star. Further differences emerge upon closer inspection, for example, the disk-like surface structure of the proto-neutron star proves highly sensitives to numerical details. The electron fraction distribution in the ejecta as a crucial determinant for the nucleosynthesis is qualitatively robust, but the extent of neutron- or proton-rich tails is sensitive to numerical details. Due to the complexity of the dynamics, the ultimate cause of model differences can rarely be uniquely identified, but our comparison helps gauge uncertainties inherent in current MHD supernova simulations.


title: Power to the Relational Inductive Bias: Graph Neural Networks in Electrical Power Grids

abstract: The application of graph neural networks (GNNs) to the domain of electrical power grids has high potential impact on smart grid monitoring. Even though there is a natural correspondence of power flow to message-passing in GNNs, their performance on power grids is not well-understood. We argue that there is a gap between GNN research driven by benchmarks which contain graphs that differ from power grids in several important aspects. Additionally, inductive learning of GNNs across multiple power grid topologies has not been explored with real-world data. We address this gap by means of (i) defining power grid graph datasets in inductive settings, (ii) an exploratory analysis of graph properties, and (iii) an empirical study of the concrete learning task of state estimation on real-world power grids. Our results show that GNNs are more robust to noise with up to 400% lower error compared to baselines. Furthermore, due to the unique properties of electrical grids, we do not observe the well known over-smoothing phenomenon of GNNs and find the best performing models to be exceptionally deep with up to 13 layers. This is in stark contrast to existing benchmark datasets where the consensus is that 2 to 3 layer GNNs perform best. Our results demonstrate that a key challenge in this domain is to effectively handle long-range dependence.


title: Hyperfine dependent atom-molecule loss analyzed by the analytic solution of few-body loss equations

abstract: We prepare mixtures of ultracold $^{39}$K atoms in various hyperfine spin states and $^{23}$Na$^{39}$K molecules in an optical dipole trap at a fixed magnetic field and study inelastic two-body atom-molecule collisions. We observe atom-molecule losses that are hyperfine dependent with a two-body loss rate far below the universal limit. We analyze the two-body loss dynamics based on the derivation of general and easy applicable analytic solutions for the differential equations describing the loss of an arbitrary number $\gamma$ of particles in a single collisional event.


title: Three-dimensional compaction of soft granular packings

abstract: This paper analyzes the compaction behavior of assemblies composed of soft (elastic) spherical particles beyond the jammed state, using three-dimensional non-smooth contact dynamic simulations. The assemblies of particles are characterized using the evolution of the packing fraction, the coordination number, and the von Misses stress distribution within the particles as the confining stress increases. The packing fraction increases and tends toward a maximum value close to $1$, and the mean coordination number increases as a square root of the packing fraction. As the confining stress increases, a transition is observed from a granular-like material with exponential tails of the shear stress distributions to a continuous-like material characterized by Gaussian-like distributions of the shear stresses. We develop an equation that describes the evolution of the packing fraction as a function of the applied pressure. This equation, based on the micromechanical expression of the granular stress tensor, the limit of the Hertz contact law for small deformation, and the power-law relation between the packing fraction and the coordination of the particles, provides good predictions from the jamming point up to very high densities without the need of tuning any parameters.


title: Causal Contradiction is absent in Antitelephone

abstract: Thought experiments in the "antitelephone" concept with superluminal communication do not have causal contradiction.


title: Laser ablation of Fe$_2$B target enriched in 10B content for boron neutron capture therapy

abstract: The technique of laser ablation in liquids is applied to produce of Boron-containing nanoparticles from ablation of a Fe$_2$B bulk target enriched in 10B isotope. Laser ablation of the target in liquid isopropanol results in partial disproportionation to free Fe and Boron while nanoparticles of Fe$_2$B are also presented. Nanoparticles are magnetic and can be collected using a permanent magnet. Average size of nanoparticles is of 15 nm. The content of 10B in generated nanoparticles amounts to 76,9 %. Nanoparticles are biocompatible and can be used in Boron Neutron Capture Therapy.


title: Quantization of Generalized Abelian Gauge Field Theory under Rotor Model

abstract: This paper is a follow-up work of the previous study of the generalized abelian gauge field theory under rotor model of order $n$ of higher order derivatives. We will study the quantization of this theory using path integral approach and find out the Feynman propagator (2-point correlation function) of this generalized theory. We also investigate the generalized Proca action under rotor model and derive the Feynman propagator for the massive case.


title: Eliminating oscillation in partial sum approximation of periodic function

abstract: If we cannot obtain all terms of a series, or if we cannot sum up a series, we have to turn to the partial sum approximation which approximate a function by the first several terms of the series. However, the partial sum approximation often does not work well for periodic functions. In the partial sum approximation of a periodic function, there exists an incorrect oscillation which cannot be eliminated by keeping more terms, especially at the domain endpoints. A famous example is the Gibbs phenomenon in the Fourier expansion. In the paper, we suggest an approach for eliminating such oscillations in the partial sum approximation of periodic functions.


title: Quantum Backreaction on Chronology Horizons

abstract: We extend in two directions our recent investigation of strongly interacting quantum fields in a class of spacetimes with chronology horizons (Misner spacetimes). First, we generalize to arbitrary dimensions the holographic mechanism of chronology protection in the absence of gravitational backreaction. The AdS geometry dual to a conformal field theory in these spacetimes shows, in every dimension, an entire separation between the bulk duals of the chronal and non-chronal regions, with the former being complete, regular geometries. In some instances the protection requires the inclusion of non-planar CFT corrections, which we obtain using double holography. Second, we compute the gravitational backreaction of the quantum fields in the Misner-AdS$_3$ spacetime, and show that the null chronology horizon turns into a strong, spacelike curvature singularity. This is one of the few controlled, explicit examples where we can see quantum effects change a Cauchy horizon into a spacelike singularity.


title: Revisiting the evolution of nonradiative supernova remnants: A hydrodynamical-informed parameterization of the shock positions

abstract: Understanding the evolution of a supernova remnant shell in time is fundamental. Such understanding is critical to build reliable models of the dynamics of the supernova remnant shell interaction with any pulsar wind nebula it might contain. Here, we perform a large study of the parameter space for the one-dimensional spherically symmetric evolution of a supernova remnant, accompanying it by analytical analysis. Assuming, as is usual, an ejecta density profile with a power-law core and an envelope, and a uniform ambient medium, we provide a set of highly-accurate approximations for the evolution of the main structural features of supernova remnants, such as the reverse and forward shocks and the contact discontinuity. We compare our results with previously adopted approximations, showing that existing simplified prescriptions can easily lead to large errors. In particular, in the context of pulsar wind nebulae modelling, an accurate description for the supernova remnant reverse shock is required. We also study in depth the self-similar solutions for the initial phase of evolution, when the reverse shock propagates through the envelope of the ejecta. Since these self-similar solutions are exact, but not fully analytical, we here provide highly-accurate approximations as well.


title: Global small solutions to a special $2\frac12$-D compressible viscous non-resistive MHD system

abstract: This paper solves the global well-posedness and stability problem on a special $2\frac12$-D compressible viscous non-resistive MHD system near a steady-state solution. The steady-state here consists of a positive constant density and a background magnetic field. The global solution is constructed in $L^p$-based homogeneous Besov spaces, which allow general and highly oscillating initial velocity. The well-posedness problem studied here is extremely challenging due to the lack of the magnetic diffusion, and remains open for the corresponding 3D MHD equations. Our approach exploits the enhanced dissipation and stabilizing effect resulting from the background magnetic field, a phenomenon observed in physical experiments. In addition, we obtain the solution's optimal decay rate when the initial data is further assumed to be in a Besov space of negative index.


title: Formal Query Building with Query Structure Prediction for Complex Question Answering over Knowledge Base

abstract: Formal query building is an important part of complex question answering over knowledge bases. It aims to build correct executable queries for questions. Recent methods try to rank candidate queries generated by a state-transition strategy. However, this candidate generation strategy ignores the structure of queries, resulting in a considerable number of noisy queries. In this paper, we propose a new formal query building approach that consists of two stages. In the first stage, we predict the query structure of the question and leverage the structure to constrain the generation of the candidate queries. We propose a novel graph generation framework to handle the structure prediction task and design an encoder-decoder model to predict the argument of the predetermined operation in each generative step. In the second stage, we follow the previous methods to rank the candidate queries. The experimental results show that our formal query building approach outperforms existing methods on complex questions while staying competitive on simple questions.


title: Tactile Image-to-Image Disentanglement of Contact Geometry from Motion-Induced Shear

abstract: Robotic touch, particularly when using soft optical tactile sensors, suffers from distortion caused by motion-dependent shear. The manner in which the sensor contacts a stimulus is entangled with the tactile information about the geometry of the stimulus. In this work, we propose a supervised convolutional deep neural network model that learns to disentangle, in the latent space, the components of sensor deformations caused by contact geometry from those due to sliding-induced shear. The approach is validated by reconstructing unsheared tactile images from sheared images and showing they match unsheared tactile images collected with no sliding motion. In addition, the unsheared tactile images give a faithful reconstruction of the contact geometry that is not possible from the sheared data, and robust estimation of the contact pose that can be used for servo control sliding around various 2D shapes. Finally, the contact geometry reconstruction in conjunction with servo control sliding were used for faithful full object reconstruction of various 2D shapes. The methods have broad applicability to deep learning models for robots with a shear-sensitive sense of touch.


title: Deep Learning for Multi-View Ultrasonic Image Fusion

abstract: Ultrasonic imaging is being used to obtain information about the acoustic properties of a medium by emitting waves into it and recording their interaction using ultrasonic transducer arrays. The Delay-And-Sum (DAS) algorithm forms images using the main path on which reflected signals travel back to the transducers. In some applications, different insonification paths can be considered, for instance by placing the transducers at different locations or if strong reflectors inside the medium are known a-priori. These different modes give rise to multiple DAS images reflecting different geometric information about the scatterers and the challenge is to either fuse them into one image or to directly extract higher-level information regarding the materials of the medium, e.g., a segmentation map. Traditional image fusion techniques typically use ad-hoc combinations of pre-defined image transforms, pooling operations and thresholding. In this work, we propose a deep neural network (DNN) architecture that directly maps all available data to a segmentation map while explicitly incorporating the DAS image formation for the different insonification paths as network layers. This enables information flow between data pre-processing and image post-processing DNNs, trained end-to-end. We compare our proposed method to a traditional image fusion technique using simulated data experiments, mimicking a non-destructive testing application with four image modes, i.e., two transducer locations and two internal reflection boundaries. Using our approach, it is possible to obtain much more accurate segmentation of defects.


title: On reducible partition of graphs and its application to Hadwiger conjecture

abstract: An undirected graph $H$ is called a minor of the graph $G$ if $H$ can be formed from $G$ by deleting edges and vertices and by contracting edges. If $G$ does not have a graph $H$ as a minor, then we say that $G$ is $H$-free. Hadwiger conjecture claim that the chromatic number of $G$ may be closely related to whether it contains $K_{n+1}$ minors. To study the coloring of a $K_{n+1}$-free $G$, we propose a new concept of reducible partition of vertex set $V_G$ of $G$. A reducible partition(RP) of a graph $G$ with $K_n$ minors and without $K_{n+1}$ minors is defined as a two-tuples $\{S_1 \subseteq V_G,S_2\subseteq V_G\}$ which satisfy the following condisions:\\ (1) $S_1 \cup S_2 = V_G, S_1 \cap S_2 = \emptyset $\\ (2) $S_2$ is dominated by $S_1$, \\ (3) the induced subgraph $G\left[S_1\right]$ is a forest,\\ (4) the induced subgraph $G\left[S_2\right]$ is $K_{n}$-free.\\ Further, one can obtain a special reducible partition(SRP) $\{S_1,S_2\}$ of $V_G$, which satisf the following condisions:\\ (1) $S_1 \cup S_2 = V_G, S_1 \cap S_2 = \emptyset $ \\ (2) $S_1$ is an independent set,\\ (4) the induced subgraph $G\left[S_2\right]$ is $K_{n}$-free.\\ We will show that both SRP and RP are always exist for any graph. With the SRP of a $K_{n+1}$-free graph $G$, one can obtain some usefull conclusion on the coloring of $G$.


title: Excitonic wave-packet evolution in a two-orbital Hubbard model chain: A real-time real-space study

abstract: Motivated by experimental developments introducing the concept of spin-orbit separation, we study the real-space time evolution of an excitonic wave-packet using a two-orbital Hubbard model. The exciton is created by exciting an electron from a lower energy half-filled orbital to a higher energy empty orbital. We carry out the real-time dynamics of the resulting excitonic wave-packet, using the time-dependent density matrix renormalization group method. We find clear evidence of charge-spin and spin-orbit separation in real-space, by tracking the time evolution of local observables. We show that the velocity of the orbiton can be tuned by varying the inter-orbital interactions. We also present a comparative study of a hole (in one orbital) and exciton (in two orbitals) dynamics in one-dimensional systems. Moreover, we analyze the dynamics of an exciton with spin-flip excitation, where we observe fractionalized spinons induced by Hund's interaction.


title: Disentangling the optical AGN and Host-galaxy luminosity with a probabilistic Flux Variation Gradient

abstract: We present a novel Probabilistic Flux Variation Gradient (PFVG) approach to to separate the contributions of active galactic nuclei (AGN) and host galaxies in the context of photometric reverberation mapping (PRM) of AGN. We explored the ability of recovering the fractional contribution in a model-independent way using the entire set of light curves obtained through different filters and photometric apertures simultaneously. The method is based on the observed bluer when brighter phenomenon that is attributed to the superimposition of a two-component structure; the red host galaxy, which is constant in time, and the varying blue AGN. We describe the PFVG mathematical formalism and demonstrate its performance using simulated light curves and available PRM observations. The new probabilistic approach is able to recover host-galaxy fluxes to within 1% precision as long as the light curves do not show a significant contribution from time delays. This represents a significant improvement with respect to previous applications of the traditional FVG method to PRM data. The proposed PFVG provides an efficient and accurate way to separate the AGN and host-galaxy luminosities in PRM monitoring data. The method will be especially helpful in the case of large upcoming photometric survey telescopes such as the public optical/near-infrared Legacy Survey of Space and Time (LSST) at the Vera C. Rubin Observatory. Finally, we have made the algorithms freely available as part of our Julia PFVG package.


title: Jacobi's Bound. Jacobi's results translated in K{\"O}nig's, Egerv{\'a}ry's and Ritt's mathematical languages

abstract: Jacobi's results on the computation of the order and of the normal forms of a differential system are translated in the formalism of differential algebra. In the quasi-regular case, we give complete proofs according to Jacobi's arguments. The main result is {\it Jacobi's bound}, still conjectural in the general case: the order of a differential system $P_{1}, \ldots, P_{n}$ is not greater than the maximum $\cal O$ of the sums $\sum_{i=1}^{n} a_{i,\sigma(i)}$, for all permutations $\sigma$ of the indices, where $a_{i,j}:={\rm ord}_{x_{j}}P_{i}$, \emph{viz.}\ the \emph{tropical determinant of the matrix $(a_{i,j})$}. The order is precisely equal to $\cal O$ iff Jacobi's \emph{truncated determinant} does not vanish. Jacobi also gave a polynomial time algorithm to compute $\cal O$, similar to Kuhn's "Hungarian method" and some variants of shortest path algorithms, related to the computation of integers $\ell_{i}$ such that a normal form may be obtained, in the generic case, by differentiating $\ell_{i}$ times equation $P_{i}$. Fundamental results about changes of orderings and the various normal forms a system may have, including differential resolvents, are also provided.


title: On the Security of Permissioned Blockchain Solutions for IoT Applications

abstract: The blockchain has found numerous applications in many areas with the expectation to significantly enhance their security. The Internet of things (IoT) constitutes a prominent application domain of blockchain, with a number of architectures having been proposed for improving not only security but also properties like transparency and auditability. However, many blockchain solutions suffer from inherent constraints associated with the consensus protocol used. These constraints are mostly inherited by the permissionless setting, e.g. computational power in proof-of-work, and become serious obstacles in a resource-constrained IoT environment. Moreover, consensus protocols with low throughput or high latency are not suitable for IoT networks where massive volumes of data are generated. Thus, in this paper we focus on permissioned blockchain platforms and investigate the consensus protocols used, aiming at evaluating their performance and fault tolerance as the main selection criteria for (in principle highly insecure) IoT ecosystem. The results of the paper provide new insights on the essential differences of various consensus protocols and their capacity to meet IoT needs.


title: Learning Local-Global Contextual Adaptation for Multi-Person Pose Estimation

abstract: This paper studies the problem of multi-person pose estimation in a bottom-up fashion. With a new and strong observation that the localization issue of the center-offset formulation can be remedied in a local-window search scheme in an ideal situation, we propose a multi-person pose estimation approach, dubbed as LOGO-CAP, by learning the LOcal-GlObal Contextual Adaptation for human Pose. Specifically, our approach learns the keypoint attraction maps (KAMs) from the local keypoints expansion maps (KEMs) in small local windows in the first step, which are subsequently treated as dynamic convolutional kernels on the keypoints-focused global heatmaps for contextual adaptation, achieving accurate multi-person pose estimation. Our method is end-to-end trainable with near real-time inference speed in a single forward pass, obtaining state-of-the-art performance on the COCO keypoint benchmark for bottom-up human pose estimation. With the COCO trained model, our method also outperforms prior arts by a large margin on the challenging OCHuman dataset.


title: An approximation to steady-state of M/Ph/n+M queue

abstract: In this paper, we develop a stochastic algorithm based on Euler-Maruyama scheme to approximate the invariant measure of the limiting multidimensional diffusion of the $M/Ph/n+M$ queue. Specifically, we prove a non-asymptotic error bound between the invariant measures of the approximate model from the algorithm and the limiting diffusion of the queueing model. Our result also provides an approximation to the steady-state of the diffusion-scaled queueing processes in the Halfin-Whitt regime given the well established interchange of limits property. To establish the error bound, we employ the recently developed Stein's method for multi-dimensional diffusions, in which the regularity of Stein's equation developed by Gurvich \cite{Gur1} plays a crucial role. We further prove the central limit theorem (CLT) and the moderate deviation principle (MDP) for the occupation measures of the limiting diffusion of the $M/Ph/n+M$ queue and its Euler-Maruyama scheme. In particular, the variance of the CLT of the limiting queue is determined by using Stein's equation and Malliavin calculus.


title: FaBiAN: A Fetal Brain magnetic resonance Acquisition Numerical phantom

abstract: Accurate characterization of in utero human brain maturation is critical as it involves complex and interconnected structural and functional processes that may influence health later in life. Magnetic resonance imaging is a powerful tool to investigate equivocal neurological patterns during fetal development. However, the number of acquisitions of satisfactory quality available in this cohort of sensitive subjects remains scarce, thus hindering the validation of advanced image processing techniques. Numerical phantoms can mitigate these limitations by providing a controlled environment with a known ground truth. In this work, we present FaBiAN, an open-source Fetal Brain magnetic resonance Acquisition Numerical phantom that simulates clinical T2-weighted fast spin echo sequences of the fetal brain. This unique tool is based on a general, flexible and realistic setup that includes stochastic fetal movements, thus providing images of the fetal brain throughout maturation comparable to clinical acquisitions. We demonstrate its value to evaluate the robustness and optimize the accuracy of an algorithm for super-resolution fetal brain magnetic resonance imaging from simulated motion-corrupted 2D low-resolution series as compared to a synthetic high-resolution reference volume. We also show that the images generated can complement clinical datasets to support data-intensive deep learning methods for fetal brain tissue segmentation.


title: Computational methods for differentially expressed gene analysis from RNA-Seq: an overview

abstract: The analysis of differential gene expression from RNA-Seq data has become a standard for several research areas mainly involving bioinformatics. The steps for the computational analysis of these data include many data types and file formats, and a wide variety of computational tools that can be applied alone or together as pipelines. This paper presents a review of differential expression analysis pipeline, addressing its steps and the respective objectives, the principal methods available in each step and their properties, bringing an overview in an organized way in this context. In particular, this review aims to address mainly the aspects involved in the differentially expressed gene (DEG) analysis from RNA sequencing data (RNA-Seq), considering the computational methods and its properties. In addition, a timeline of the evolution of computational methods for DEG is presented and discussed, as well as the relationships existing between the main computational tools are presented by an interaction network. A discussion on the challenges and gaps in DEG analysis is also highlighted in this review.


title: Mass Composition of UHECRs from $X_{\rm max}$ Distributions Recorded by the Pierre Auger and Telescope Array Observatories

abstract: In this paper we infer the mass composition of the ultra high energy cosmic rays (UHECRs) from measurements of $X_{\rm max}$ distributions recorded at the Pierre Auger (2014) and Telescope Array (TA) (2016) Observatories, by fitting them with all possible combinations of Monte Carlo (MC) templates from a large set of primary species (p, He, C, N, O, Ne, Si and Fe), as predicted by EPOS-LHC, QGSJETII-04 and Sibyll 2.1 hadronic interaction models. We use the individual fractions of nuclei reconstructed from one experiment in each energy interval to build equivalent MC $X_{\rm max}$ distributions, which we compare with the experimental $X_{\rm max}$ distributions of the other experiment, applying different statistical tests of compatibility. The results obtained from both experiments confirm that the mass composition of the UHECRs is dominated ($\gtrsim$$70\%$) by protons and He nuclei {in the energy range investigated $\lg E (\rm eV)$ = [17.8--19.3] (Auger) and $\lg E \rm (eV)$ = [18.2--19.0] (TA).} The indirect comparisons between the $X_{\rm max}$ distributions recorded by the two experiments show that the degree of compatibility of the two datasets is good, even excellent in some high energy intervals, especially above the ankle ($\lg E (\rm eV) \sim 18.7$). However, our study reveals that, at low energies, further effort in data analysis is required in order to harmonize the results of the two experiments.


title: An Online Framework for Cognitive Load Assessment in Assembly Tasks

abstract: The ongoing trend towards Industry 4.0 has revolutionised ordinary workplaces, profoundly changing the role played by humans in the production chain. Research on ergonomics in industrial settings mainly focuses on reducing the operator's physical fatigue and discomfort to improve throughput and avoid safety hazards. However, as the production complexity increases, the cognitive resources demand and mental workload could compromise the operator's performance and the efficiency of the shop floor workplace. State-of-the-art methods in cognitive science work offline and/or involve bulky equipment hardly deployable in industrial settings. This paper presents a novel method for online assessment of cognitive load in manufacturing, primarily assembly, by detecting patterns in human motion directly from the input images of a stereo camera. Head pose estimation and skeleton tracking are exploited to investigate the workers' attention and assess hyperactivity and unforeseen movements. Pilot experiments suggest that our factor assessment tool provides significant insights into workers' mental workload, even confirmed by correlations with physiological and performance measurements. According to data gathered in this study, a vision-based cognitive load assessment has the potential to be integrated into the development of mechatronic systems for improving cognitive ergonomics in manufacturing.


title: Estimating causal effects in the presence of competing events using regression standardisation with the Stata command standsurv

abstract: When interested in a time-to-event outcome, competing events that prevent the occurrence of the event of interest may be present. In the presence of competing events, various statistical estimands have been suggested for defining the causal effect of treatment on the event of interest. Depending on the estimand, the competing events are either accommodated or eliminated, resulting in causal effects with different interpretation. The former approach captures the total effect of treatment on the event of interest while the latter approach captures the direct effect of treatment on the event of interest that is not mediated by the competing event. Separable effects have also been defined for settings where the treatment effect can be partitioned into its effect on the event of interest and its effect on the competing event through different causal pathways. We outline various causal effects that may be of interest in the presence of competing events, including total, direct and separable effects, and describe how to obtain estimates using regression standardisation with the Stata command standsurv. Regression standardisation is applied by obtaining the average of individual estimates across all individuals in a study population after fitting a survival model. With standsurv several contrasts of interest can be calculated including differences, ratios and other user-defined functions. Confidence intervals can also be obtained using the delta method. Throughout we use an example analysing a publicly available dataset on prostate cancer to allow the reader to replicate the analysis and further explore the different effects of interest.


title: Chirality Induced Propagation Velocity Asymmetry

abstract: The spin-dependent propagation of electrons in helical nanowires is investigated. We show that the interplay of spin angular momentum and nanowire chirality, under spin-orbit interaction, lifts the symmetry between left and right propagating electrons, giving rise to a velocity asymmetry. The study is based on a microscopic tight-binding model that takes into account the spin-orbit interaction. The continuity equation for the spin-dependent probability density is derived, including the spin non-conserving terms, and quantum dynamics calculations are performed to obtain the electron propagating dynamics. The calculations are applied to the inorganic double-helix SnIP, a quasi-1D material that constitutes a semiconductor with a band gap of ~ 1.9 eV. The results, nevertheless, have general validity due to symmetry considerations. The relation of the propagation velocity asymmetry with the phenomena ascribed to the chiral-induced spin selectivity (CISS) effect is examined.


title: Discrete and Soft Prompting for Multilingual Models

abstract: It has been shown for English that discrete and soft prompting perform strongly in few-shot learning with pretrained language models (PLMs). In this paper, we show that discrete and soft prompting perform better than finetuning in multilingual cases: Crosslingual transfer and in-language training of multilingual natural language inference. For example, with 48 English training examples, finetuning obtains 33.74% accuracy in crosslingual transfer, barely surpassing the majority baseline (33.33%). In contrast, discrete and soft prompting outperform finetuning, achieving 36.43% and 38.79%. We also demonstrate good performance of prompting with training data in multiple languages other than English.


title: Renovo: Prototype of a Low-Cost Sensor-Based Therapeutic System for Upper Limb Rehabilitation

abstract: Stroke patients with Upper Limb Disability (ULD) are re-acclimated to their lost motor capability through therapeutic interventions, following assessment by Physiotherapists (PTs) using various qualitative assessment protocols. However, the assessments are often biased and prone to errors. Real-time visualization and quantitative analysis of various Performance Metrics (PMs) of patient's motion data, such as - Range of Motion (RoM), Repetition Rate (RR), Velocity (V), etc., may be vital for proper assessment. In this study, we present Renovo, a wearable inertial sensor-based therapeutic system, which assists PTs with real-time visualization and quantitative patient assessment, while providing patients with progress feedback. We showcase the results of a three-week pilot study on the rehabilitation of ULD patients (N=16), in 3 successive sessions at one-week interval, following evaluation both by Renovo and PTs (N=5). Results suggest that sensor-based quantitative assessment reduces the possibility of human error and bias, enhancing efficiency of rehabilitation.


title: On Regularized Square-root Regression Problems: Distributionally Robust Interpretation and Fast Computations

abstract: Square-root (loss) regularized models have recently become popular in linear regression due to their nice statistical properties. Moreover, some of these models can be interpreted as the distributionally robust optimization counterparts of the traditional least-squares regularized models. In this paper, we give a unified proof to show that any square-root regularized model whose penalty function being the sum of a simple norm and a seminorm can be interpreted as the distributionally robust optimization (DRO) formulation of the corresponding least-squares problem. In particular, the optimal transport cost in the DRO formulation is given by a certain dual form of the penalty. To solve the resulting square-root regularized model whose loss function and penalty function are both nonsmooth, we design a proximal point dual semismooth Newton algorithm and demonstrate its efficiency when the penalty is the sparse group Lasso penalty or the fused Lasso penalty. Extensive experiments demonstrate that our algorithm is highly efficient for solving the square-root sparse group Lasso problems and the square-root fused Lasso problems.