title: Crossover between Photochemical and Photothermal Oxidations of Atomically Thin Magnetic Semiconductor CrPS4

abstract: Many two-dimensional (2D) semiconductors represented by transition metal dichalcogenides have tunable optical bandgaps in the visible or near IR-range standing as a promising candidate for optoelectronic devices. Despite this potential, however, their photoreactions are not well understood or controversial in the mechanistic details. In this work, we report a unique thickness-dependent photoreaction sensitivity and a switchover between two competing reaction mechanisms in atomically thin chromium thiophosphate (CrPS4), a two-dimensional antiferromagnetic semiconductor. CrPS4 showed a threshold power density 2 orders of magnitude smaller than that for MoS2 obeying a photothermal reaction route. In addition, reaction cross section quantified with Raman spectroscopy revealed distinctive power dependences in the low and high power regimes. On the basis of optical in situ thermometric measurements and control experiments against O2, water, and photon energy, we proposed a photochemical oxidation mechanism involving singlet O2 in the low power regime with a photothermal route for the other. We also demonstrated a highly effective encapsulation with Al2O3 as a protection against the destructive photoinduced and ambient oxidations.


title: Design, Development and Comparison of two Different Measurements Devices for Time-Resolved Determination of Phase Shifts of Bioimpedances

abstract: Bioimpedance measurements are a non-invasive method to determine the composition of organic tissue. For measuring the complex bioimpedance between two electrodes, an alternating current with a constant amplitude is injected into the tissue. The developed voltage drop is used to calculate the real and imaginary part of the impedance under test. Measurements in the past indicated that it could be possible that the beating of the heart has an effect on the measured phase shift of the impedance under test. In this work a hardware system is developed, capable of measuring changes of the bioimpedance phase shift with high resolution. Two different measurement methods are used. The first method is an analog circuit, which has been developed in a previous project. The other method uses the integrated circuit AFE4300 (Texas Instruments) [1]. The results of both methods are transmitted with a microcontroller (Xmega256A3BU from Atmel Corp.) via the USB interface to a host PC. On the host PC the visualization of the measurements and the control of the embedded system is achieved with a developed LabView program. The work includes the development of the hardware and software, as well as a comparison of the accuracy of the two measurement methods. The result of a verification of the systems is that both measurement methods have an effective resolution of about 0.3{\deg}.


title: Quantification of Transducer Misalignment in Ultrasound Tongue Imaging

abstract: In speech production research, different imaging modalities have been employed to obtain accurate information about the movement and shaping of the vocal tract. Ultrasound is an affordable and non-invasive imaging modality with relatively high temporal and spatial resolution to study the dynamic behavior of tongue during speech production. However, a long-standing problem for ultrasound tongue imaging is the transducer misalignment during longer data recording sessions. In this paper, we propose a simple, yet effective, misalignment quantification approach. The analysis employs MSE distance and two similarity measurement metrics to identify the relative displacement between the chin and the transducer. We visualize these measures as a function of the timestamp of the utterances. Extensive experiments are conducted on a Hungarian and Scottish English child dataset. The results suggest that large values of Mean Square Error (MSE) and small values of Structural Similarity Index (SSIM) and Complex Wavelet SSIM indicate corruptions or issues during the data recordings, which can either be caused by transducer misalignment or lack of gel.


title: How is information transmitted in a nerve?

abstract: In the last fifteen years a debate emerged about the validity of the famous Hodgkin-Huxley model for nerve impulse. Mechanical models have been proposed. This note reviews the experimental properties of the nerve impulse and discusses the proposed alternatives. The experimental data, which rule out some of the alternative suggestions, show that, while the Hodgkin-Huxley model may not be complete, it nevertheless includes essential features that should not be overlooked in the attempts made to improve, or supersede, it.


title: Analysis of nonclasscial features in a coupled macroscopic binary system

abstract: Nonclassical phenomena of quantum mechanics such as anticorrelation and photonic de Broglie waves (PBWs) have been recently understood as a special case of coherence optics with a particular phase relation between orthogonal bases composing a classical system. Such a macroscopic understanding of nonclassical features has also been confirmed experimentally for a coherence version of PBWs in a doubly-coupled Mach-Zehnder interferometer (MZI). Here, a multi-coupled MZI system is analyzed and discussed to obtain a general understanding of the nonclassical feature using tensor products of binary bases of a classical system. This analysis should intrigue a fundamental question of quantumness or nonclassicality limited to a microscopic world of a single photon or a single particle.


title: Probing Axion-like Particles via CMB Polarization

abstract: Axion-like particles (ALPs) rotate the linear polarization of photons through the ALP-photon coupling and convert the cosmic microwave background (CMB) $E$-mode to the $B$-mode. We derive the relation between the ALP dynamics and the rotation angle by assuming that the ALP $\phi$ has a quadratic potential, $V=m^2\phi^2/2$. We compute the current and future sensitivities of CMB observations to the ALP-photon coupling $g$, which can reach $g=4\times 10^{-21}\,\mathrm{GeV}^{-1}$ for $10^{-32}\,\mathrm{eV}\lesssim m\lesssim 10^{-28}\,\mathrm{eV}$ and extensively exceed the other searches for any mass $m\lesssim 10^{-25}\,\mathrm{eV}$. We find that the fluctuation of the ALP field at the observer, which has been neglected in previous studies, can induce significant isotropic rotation of the CMB polarization. The measurements of isotropic and anisotropic rotation allow us to put bounds on relevant quantities such as the ALP mass $m$ and the ALP density parameter $\Omega_\phi$. In particular, if LiteBIRD detects anisotropic rotation, we obtain the lower bound on the tensor-to-scalar ratio as $r > 5 \times 10^{-9}$.


title: The minimum degree of minimal Ramsey graphs for cliques

abstract: We prove that $s_r(K_k) = O(k^5 r^{5/2})$, where $s_r(K_k)$ is the Ramsey parameter introduced by Burr, Erd\H{o}s and Lov\'{a}sz in 1976, which is defined as the smallest minimum degree of a graph $G$ such that any $r$-colouring of the edges of $G$ contains a monochromatic $K_k$, whereas no proper subgraph of $G$ has this property. The construction used in our proof relies on a group theoretic model of generalised quadrangles introduced by Kantor in 1980.


title: A parsimonious description and cross-country analysis of COVID-19 epidemic curve

abstract: In a given country, the cumulative death toll of the first wave of the COVID-19 epidemic follows a sigmoid curve as a function of time. In most cases, the curve is well described by the Gompertz function, which is characterized by two essential parameters, the initial growth rate and the decay rate as the first epidemic wave subsides. These parameters are determined by socioeconomic factors and the countermeasures to halt the epidemic. The Gompertz model implies that the total death toll depends exponentially, and hence very sensitively, on the ratio between these rates. The remarkably different epidemic curves for the first epidemic wave in Sweden and Norway and many other countries are classified and discussed in this framework, and their usefulness for the planning of mitigation strategies is discussed.


title: The normalized Laplacian and related indexes of graphs with edges blew up by cliques

abstract: In this paper, we introduce the clique-blew up graph $CL(G)$ of a given graph $G$, which is obtained from $G$ by replacing each edge of $G$ with a complete graph $K_n$. We characterize all the normalized Laplacian spectrum of the grpah $CL(G)$ in term of the given graph $G$. Based on the spectrum obtained, the formulae to calculate the multiplicative degree-Kirchhoff index, the Kemeny's constant and the number of spanning trees of $CL(G)$ are derived well. Finally, the spectrum and indexes of the clique-blew up iterative graphs are present.


title: Varying Electronic Coupling at Graphene-Copper Interfaces Probed with Raman Spectroscopy

abstract: As the synthesis of graphene on copper became one of the primary preparation methods for both fundamental research and industrial application, Raman spectra of graphene/Cu systems need to be quantitatively understood regarding how their interactions affect the electronic structure of graphene. Using multi-wavelength Raman spectroscopy, we investigated three types of graphene bound on Cu: graphene grown on Cu foils and Cu film/SiO2, and Cu-evaporated exfoliated graphene. 2D peak frequencies of the first two samples were ~17 cm-1 higher than expected for 1.96 eV excitation even when the effect of strain was considered. More notably, the upshift in 2D decreased with increasing excitation energy. Based on control experiments using Cu-evaporated graphene, we revealed that the spectral anomaly was induced by environment-dependent nonlinear dispersion in the electronic bands of graphene and determined the degree of the electronic modification. We also showed that the large upshifts of G and 2D peaks originating from differential thermal expansion of Cu could be significantly reduced by backing Cu films with dielectric substrates of insignificant thermal expansion. The quantitative analysis of electronic coupling between graphene and Cu presented in this study will be highly useful in characterizing as-grown graphene and possibly in other forms.


title: Boris Computational Spintronics -- High Performance Multi-Mesh Magnetic and Spin Transport Modelling Software

abstract: This work discusses the design and testing of a new computational spintronics research software. Boris is a comprehensive multi-physics open-source software, combining micromagnetics modelling capabilities with drift-diffusion spin transport modelling and heat flow solver in multi-material structures. A multi-mesh paradigm is employed, allowing modelling of complex multi-layered structures with independent discretization and arbitrary relative positioning between different computational meshes. Implemented micromagnetics models include not only ferromagnetic materials modelling, but also two-sublattice models, allowing simulations of antiferromagnetic and ferrimagnetic materials, fully integrated in the multi-mesh and multi-material design approach. High computational performance is an important design consideration in Boris, and all computational routines can be executed on GPUs, in addition to CPUs. In particular a modified 3D convolution algorithm is used to compute the demagnetizing field on the GPU, termed pipelined convolution, and benchmark comparisons with existing GPU-accelerated software Mumax3 have shown performance improvements up to twice faster.


title: Modeling of time series using random forests: theoretical developments

abstract: In this paper we study asymptotic properties of random forests within the framework of nonlinear time series modeling. While random forests have been successfully applied in various fields, the theoretical justification has not been considered for their use in a time series setting. Under mild conditions, we prove a uniform concentration inequality for regression trees built on nonlinear autoregressive processes and, subsequently, we use this result to prove consistency for a large class of random forests. The results are supported by various simulations.


title: Mixing-Specific Data Augmentation Techniques for Improved Blind Violin/Piano Source Separation

abstract: Blind music source separation has been a popular and active subject of research in both the music information retrieval and signal processing communities. To counter the lack of available multi-track data for supervised model training, a data augmentation method that creates artificial mixtures by combining tracks from different songs has been shown useful in recent works. Following this light, we examine further in this paper extended data augmentation methods that consider more sophisticated mixing settings employed in the modern music production routine, the relationship between the tracks to be combined, and factors of silence. As a case study, we consider the separation of violin and piano tracks in a violin piano ensemble, evaluating the performance in terms of common metrics, namely SDR, SIR, and SAR. In addition to examining the effectiveness of these new data augmentation methods, we also study the influence of the amount of training data. Our evaluation shows that the proposed mixing-specific data augmentation methods can help improve the performance of a deep learning-based model for source separation, especially in the case of small training data.


title: Machine Learning Based Framework for Estimation of Data Center Power Using Acoustic Side Channel

abstract: Data centers are high power consumers and the energy consumption of data centers keeps on rising in spite of all the efforts for increasing the energy efficiency. The need for energy-awareness in data centers makes the use of power modeling and estimation to be still a big challenge due to huge amount of uncertainty in this area. In this paper, a machine learning based method is proposed to approximately estimate the amount of power consumption by using acoustic side channel caused by fan in the fan-based cooling system in the server room. For doing so, frequency components of the acoustic signal, recorded by a microphone in the server room, is extracted, pre-processed, and fed to a Multi-Layer Neural-Network as an estimator. The proposed method performed well to estimate the power consumption, having more than 85 percent accuracy.


title: Ultralight vector dark matter search with auxiliary length channels of gravitational wave detectors

abstract: Recently, a considerable amount of attention has been given to the search for ultralight dark matter by measuring the oscillating length changes in the arm cavities of gravitational wave detectors. Although gravitational wave detectors are extremely sensitive for measuring the differential arm length changes, the sensitivity to dark matter is largely attenuated, as the effect of dark matter is mostly common to arm cavity test masses. Here, we propose to use auxiliary length channels, which measure the changes in the power and signal recycling cavity lengths and the differential Michelson interferometer length. The sensitivity to dark matter can be enhanced by exploiting the fact that auxiliary interferometers are more asymmetric than two arm cavities. We show that the sensitivity to $U(1)_{B-L}$ gauge boson dark matter with masses below $7\times 10^{-14}$ eV can be greatly enhanced when our method is applied to a cryogenic gravitational wave detector KAGRA, which employs sapphire test masses and fused silica auxiliary mirrors. We show that KAGRA can probe more than an order of magnitude of unexplored parameter space at masses around $1.5 \times 10^{-14}$ eV, without any modifications to the existing interferometer.

categories: hep-ph astro-ph.CO astro-ph.IM gr-qc physics.optics


title: Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

abstract: The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde U. and IMDEA Software Institute) et al., Neil Jones (U. Copenhagen) et al., Michael Leuschel (Heinrich-Heine U.) and Maurizio Proietti (IASI-CNR) et al.. These invited papers are followed by 4 regular papers accepted at VPT 2020 and the papers of HCVS 2020 which consist of three contributed papers and an invited paper on the third competition of solvers for Constrained Horn Clauses. In addition, the abstracts (in HTML format) of 3 invited talks at VPT 2020 by Andrzej Skowron (U. Warsaw), Sophie Renault (EPO) and Moa Johansson (Chalmers U.), are included.


title: Geometry and solutions of an epidemic SIS model permitting fluctuations and quantization

abstract: Some recent works reveal that there are models of differential equations for the mean and variance of infected individuals that reproduce the SIS epidemic model at some point. This stochastic SIS epidemic model can be interpreted as a Hamiltonian system, therefore we wondered if it could be geometrically handled through the theory of Lie--Hamilton systems, and this happened to be the case. The primordial result is that we are able to obtain a general solution for the stochastic/ SIS-epidemic model (with fluctuations) in form of a nonlinear superposition rule that includes particular stochastic solutions and certain constants to be related to initial conditions of the contagion process. The choice of these initial conditions will be crucial to display the expected behavior of the curve of infections during the epidemic. We shall limit these constants to nonsingular regimes and display graphics of the behavior of the solutions. As one could expect, the increase of infected individuals follows a sigmoid-like curve. Lie--Hamiltonian systems admit a quantum deformation, so does the stochastic SIS-epidemic model. We present this generalization as well. If one wants to study the evolution of an SIS epidemic under the influence of a constant heat source (like centrally heated buildings), one can make use of quantum stochastic differential equations coming from the so-called quantum deformation.


title: Gathering GitHub OSS Requirements from Q&A Community: an Empirical Study

abstract: Cross-community collaboration can exploit the expertise and knowledges of crowds in different communities. Recently increasing users in open source software (OSS) community like GitHub attempt to gather software requirements from question and answer (Q&A) communities such as Stack Overflow (SO). In order to investigate this emerging crosscommunity collaboration phenomenon, the paper presents an exploratory study on cross-community requirements gathering of OSS projects in GitHub. We manually sample 3266 practice cases and quantitatively analyze the popularity of the phenomenon, the characteristics of the gathered requirements, and collaboration behaviors of cross-community. Some important findings are obtained: more than half of the requirements gathered from SO are enhancements and the majority of the gathered requirements arenon-functionalrequirements.Inaddition,OSSdeveloperscan directlyobtainrelatedsolutionsandcontributionsofthegathered requirements from SO in the gathering process.


title: 3D Spectrum Mapping Based on ROI-Driven UAV Deployment

abstract: Given the explosive growth of Internet of Things (IoT) devices ranging from the two-dimensional (2D) ground to the three-dimensional (3D) space, it is a necessity to establish a 3D spectrum map to comprehensively present and effectively manage the 3D spatial spectrum resources in smart city infrastructures. By leveraging the popularity and location flexibility of the unmanned aerial vehicles (UAVs), we are able to execute spatial sampling with these emerging flying spectrum-monitoring devices (SMDs) at will. In this paper, we first present a brief survey to show the state-of-the-art studies on spectrum mapping. Then, we introduce the 3D spectrum mapping model. Next, we propose a 3D spectrum mapping framework which is composed of pre-sampling, spectrum situation estimation, UAV deployment and spectrum recovery. Therein we develop a Region of Interest (ROI)-driven UAV deployment scheme, which selects new sampling points of the highest estimated interest and the lowest energy cost iteratively. Meanwhile, we slice the entire 3D spectrum map into a series of "images" and "repair" those unsampled locations. Furthermore, we provide an exemplary case study on the 3D spectrum mapping, where, for example, an important event is being held and the entire spectrum situation needs to be monitored in real time to deal with malicious interference sources. Lastly, the challenges and open issues are discussed.


title: Shouted Speech Compensation for Speaker Verification Robust to Vocal Effort Conditions

abstract: The performance of speaker verification systems degrades when vocal effort conditions between enrollment and test (e.g., shouted vs. normal speech) are different. This is a potential situation in non-cooperative speaker verification tasks. In this paper, we present a study on different methods for linear compensation of embeddings making use of Gaussian mixture models to cluster shouted and normal speech domains. These compensation techniques are borrowed from the area of robustness for automatic speech recognition and, in this work, we apply them to compensate the mismatch between shouted and normal conditions in speaker verification. Before compensation, shouted condition is automatically detected by means of logistic regression. The process is computationally light and it is performed in the back-end of an x-vector system. Experimental results show that applying the proposed approach in the presence of vocal effort mismatch yields up to 13.8% equal error rate relative improvement with respect to a system that applies neither shouted speech detection nor compensation.


title: Tornheim-like series, harmonic numbers and zeta values

abstract: Explicit evaluations of the Tornheim-like double series in the form \[ \sum_{n,m=1}^\infty \frac{H_{n+m+s}}{nm\left( n+m+s \right)},\ s\in \mathbb{N\cup } \left\{ 0 \right\} \] and their extensions are given. Furthermore, series of the type \[ \sum_{m=1}^\infty \frac{2H_{2m+1}-H_{m}}{2m\left( 2m+1 \right)} \] and some other Tornheim-like multiple series are evaluated in terms of the zeta values.


title: On a minimax principle in spectral gaps

abstract: The minimax principle for eigenvalues in gaps of the essential spectrum in the form presented by Griesemer, Lewis, and Siedentop in [Doc. Math. 4 (1999), 275--283] is adapted to cover certain abstract perturbative settings with bounded or unbounded perturbations, in particular ones that are off-diagonal with respect to the spectral gap under consideration. This in part builds upon and extends the considerations in the author's appendix to [J. Spectr. Theory 10 (2020), 843--885]. Several monotonicity and continuity properties of eigenvalues in gaps of the essential spectrum are deduced, and the Stokes operator is revisited as an example.


title: PPSpeech: Phrase based Parallel End-to-End TTS System

abstract: Current end-to-end autoregressive TTS systems (e.g. Tacotron 2) have outperformed traditional parallel approaches on the quality of synthesized speech. However, they introduce new problems at the same time. Due to the autoregressive nature, the time cost of inference has to be proportional to the length of text, which pose a great challenge for online serving. On the other hand, the style of synthetic speech becomes unstable and may change obviously among sentences. In this paper, we propose a Phrase based Parallel End-to-End TTS System (PPSpeech) to address these issues. PPSpeech uses autoregression approach within a phrase and executes parallel strategies for different phrases. By this method, we can achieve both high quality and high efficiency. In addition, we propose acoustic embedding and text context embedding as the conditions of encoder to keep successive and prevent from abrupt style or timbre change. Experiments show that, the synthesis speed of PPSpeech is much faster than sentence level autoregressive Tacotron 2 when a sentence has more than 5 phrases. The speed advantage increases with the growth of sentence length. Subjective experiments show that the proposed system with acoustic embedding and context embedding as conditions can make the style transition across sentences gradient and natural, defeating Global Style Token (GST) obviously in MOS.


title: Large-time asymptotics in deep learning

abstract: We consider the neural ODE perspective of supervised learning and study the impact of the final time $T$ (which may indicate the depth of a corresponding ResNet) in training. For the classical $L^2$--regularized empirical risk minimization problem, whenever the neural ODE dynamics are homogeneous with respect to the parameters, we show that the training error is at most of the order $\mathcal{O}\left(\frac{1}{T}\right)$. Furthermore, if the loss inducing the empirical risk attains its minimum, the optimal parameters converge to minimal $L^2$--norm parameters which interpolate the dataset. By a natural scaling between $T$ and the regularization hyperparameter $\lambda$ we obtain the same results when $\lambda\searrow0$ and $T$ is fixed. This allows us to stipulate generalization properties in the overparametrized regime, now seen from the large depth, neural ODE perspective. To enhance the polynomial decay, inspired by turnpike theory in optimal control, we propose a learning problem with an additional integral regularization term of the neural ODE trajectory over $[0,T]$. In the setting of $\ell^p$--distance losses, we prove that both the training error and the optimal parameters are at most of the order $\mathcal{O}\left(e^{-\mu t}\right)$ in any $t\in[0,T]$. The aforementioned stability estimates are also shown for continuous space-time neural networks, taking the form of nonlinear integro-differential equations. By using a time-dependent moving grid for discretizing the spatial variable, we demonstrate that these equations provide a framework for addressing ResNets with variable widths.


title: Zero-Shot Multi-View Indoor Localization via Graph Location Networks

abstract: Indoor localization is a fundamental problem in location-based applications. Current approaches to this problem typically rely on Radio Frequency technology, which requires not only supporting infrastructures but human efforts to measure and calibrate the signal. Moreover, data collection for all locations is indispensable in existing methods, which in turn hinders their large-scale deployment. In this paper, we propose a novel neural network based architecture Graph Location Networks (GLN) to perform infrastructure-free, multi-view image based indoor localization. GLN makes location predictions based on robust location representations extracted from images through message-passing networks. Furthermore, we introduce a novel zero-shot indoor localization setting and tackle it by extending the proposed GLN to a dedicated zero-shot version, which exploits a novel mechanism Map2Vec to train location-aware embeddings and make predictions on novel unseen locations. Our extensive experiments show that the proposed approach outperforms state-of-the-art methods in the standard setting, and achieves promising accuracy even in the zero-shot setting where data for half of the locations are not available. The source code and datasets are publicly available at https://github.com/coldmanck/zero-shot-indoor-localization-release.


title: HooliGAN: Robust, High Quality Neural Vocoding

abstract: Recent developments in generative models have shown that deep learning combined with traditional digital signal processing (DSP) techniques could successfully generate convincing violin samples [1], that source-excitation combined with WaveNet yields high-quality vocoders [2, 3] and that generative adversarial network (GAN) training can improve naturalness [4, 5]. By combining the ideas in these models we introduce HooliGAN, a robust vocoder that has state of the art results, finetunes very well to smaller datasets (<30 minutes of speechdata) and generates audio at 2.2MHz on GPU and 35kHz on CPU. We also show a simple modification to Tacotron-basedmodels that allows seamless integration with HooliGAN. Results from our listening tests show the proposed model's ability to consistently output high-quality audio with a variety of datasets, big and small. We provide samples at the following demo page: https://resemble-ai.github.io/hooligan_demo/


title: Note on initial conditions for small-field inflation

abstract: We show that initial conditions for small-field inflation can be determined quantum mechanically by introducing a suitable flattened region in the scalar potential. The inflaton is then driven towards the slow-roll attractor solution exponentially fast, desensitising inflation from the initial velocity and partially evading the so-called overshoot problem. We give an explicit example in the context of hilltop inflation by introducing an ultra slow-roll plateau around the maximum of the potential and analyse its effect on the phase-space trajectories.


title: Measure data elliptic problems with generalized Orlicz growth

abstract: We study nonlinear measure data elliptic problems involving the operator exposing generalized Orlicz growth. Our framework embraces reflexive Orlicz spaces, as well as natural variants of variable exponent and double-phase spaces. Approximable and renormalized solutions are proven to exist and coincide for arbitrary measure datum and to be unique when the datum is diffuse with respect to a relevant nonstandard capacity. For justifying that the class of measures is natural, a capacitary characterization of diffuse measures is provided.


title: ConvBERT: Improving BERT with Span-based Dynamic Convolution

abstract: Pre-trained language models like BERT and its variants have recently achieved impressive performance in various natural language understanding tasks. However, BERT heavily relies on the global self-attention block and thus suffers large memory footprint and computation cost. Although all its attention heads query on the whole input sequence for generating the attention map from a global perspective, we observe some heads only need to learn local dependencies, which means the existence of computation redundancy. We therefore propose a novel span-based dynamic convolution to replace these self-attention heads to directly model local dependencies. The novel convolution heads, together with the rest self-attention heads, form a new mixed attention block that is more efficient at both global and local context learning. We equip BERT with this mixed attention design and build a ConvBERT model. Experiments have shown that ConvBERT significantly outperforms BERT and its variants in various downstream tasks, with lower training cost and fewer model parameters. Remarkably, ConvBERTbase model achieves 86.4 GLUE score, 0.7 higher than ELECTRAbase, while using less than 1/4 training cost. Code and pre-trained models will be released.


title: Bayesian Indirect Inference for Models with Intractable Normalizing Functions

abstract: Inference for doubly intractable distributions is challenging because the intractable normalizing functions of these models include parameters of interest. Previous auxiliary variable MCMC algorithms are infeasible for multi-dimensional models with large data sets because they depend on expensive auxiliary variable simulation at each iteration. We develop a fast Bayesian indirect algorithm by replacing an expensive auxiliary variable simulation from a probability model with a computationally cheap simulation from a surrogate model. We learn the relationship between the surrogate model parameters and the probability model parameters using Gaussian process approximations. We apply our methods to challenging simulated and real data examples, and illustrate that the algorithm addresses both computational and inferential challenges for doubly intractable distributions. Especially for a large social network model with 10 parameters, we show that our method can reduce computing time from about 2 weeks to 5 hours, compared to the previous method. Our method allows practitioners to carry out Bayesian inference for more complex models with larger data sets than before.


title: Redox-Governed Charge Doping Dictated by Interfacial Diffusion in Two-Dimensional Materials

abstract: Controlling extra charge carriers is pivotal in manipulating electronic, optical, and magnetic properties of various two-dimensional (2D) materials. Nonetheless, the ubiquitous hole doping of 2D materials in the air and acids has been controversial in its mechanistic details. Here we show their common origin is an electrochemical reaction driven by redox couples of oxygen and water molecules. Using real-time photoluminescence imaging of WS2 and Raman spectroscopy of graphene, we capture molecular diffusion through the 2D nanoscopic space between 2D materials and hydrophilic substrates, and show that the latter accommodate water molecules also serving as a hydrating solvent. We also demonstrate that HCl-induced doping is governed by dissolved O2 and pH in accordance with the Nernst equation. The nanoscopic electrochemistry anatomized in this work sets an ambient limit to material properties, which is universal to not only 2D but also other forms of materials.


title: Revisiting Jet Clustering Algorithms for New Higgs Boson Searches in Hadronic Final States

abstract: We assess the performance of different jet-clustering algorithms, in the presence of different resolution parameters and reconstruction procedures, in resolving fully hadronic final states emerging from the chain decay of the discovered Higgs boson into pairs of new identical Higgs states, the latter in turn decaying into bottom-antibottom quark pairs. We show that, at the Large Hadron Collider (LHC), both the efficiency of selecting the multi-jet final state and the ability to reconstruct from it the masses of the Higgs bosons (potentially) present in an event sample depend strongly on the choice of acceptance cuts, jet-clustering algorithm as well as its settings. Hence, we indicate the optimal choice of the latter for the purpose of establishing such a benchmark Beyond the SM (BSM) signal.


title: Gender and Ethnicity Classification based on Palmprint and Palmar Hand Images from Uncontrolled Environment

abstract: Soft biometric attributes such as gender, ethnicity or age may provide useful information for biometrics and forensics applications. Researchers used, e.g., face, gait, iris, and hand, etc. to classify such attributes. Even though hand has been widely studied for biometric recognition, relatively less attention has been given to soft biometrics from hand. Previous studies of soft biometrics based on hand images focused on gender and well-controlled imaging environment. In this paper, the gender and ethnicity classification in uncontrolled environment are considered. Gender and ethnicity labels are collected and provided for subjects in a publicly available database, which contains hand images from the Internet. Five deep learning models are fine-tuned and evaluated in gender and ethnicity classification scenarios based on palmar 1) full hand, 2) segmented hand and 3) palmprint images. The experimental results indicate that for gender and ethnicity classification in uncontrolled environment, full and segmented hand images are more suitable than palmprint images.


title: Subjective Quality Database and Objective Study of Compressed Point Clouds With 6DoF Head-Mounted Display

abstract: In this paper, we focus on subjective and objective Point Cloud Quality Assessment (PCQA) in an immersive environment and study the effect of geometry and texture attributes in compression distortion. Using a Head-Mounted Display (HMD) with six degrees of freedom, we establish a subjective PCQA database, named SIAT Point Cloud Quality Database (SIAT-PCQD). Our database consists of 340 distorted point clouds compressed by the MPEG point cloud encoder with the combination of 20 sequences and 17 pairs of geometry and texture quantization parameters. The impact of distorted geometry and texture attributes is further discussed in this paper. Then, we propose two projection-based objective quality evaluation methods, i.e., a weighted view projection based model and a patch projection based model. Our subjective database and findings can be used in point cloud processing, transmission, and coding, especially for virtual reality applications. The subjective dataset has been released in the public repository.


title: iMER: Iterative Process of Entity Relationship and Business Proces Models Extraction from the Requirements

abstract: Extracting conceptual models, e.g., entity relationship model or Business Process model, from software requirement document is an essential task in the software development life cycle. Business process model presents a clear picture of required system functionality. Operations in business process model together with the data entity consumed, help the software developers to understand the database design and operations to be implemented. Researchers have been aiming at automatic extraction of these artefacts from the requirement document. In this paper, we present an automated approach to extract the entity relationship and business process models from requirements, which are possibly in different formats such as general requirements, use case specification and user stories. Our approach is based on the efficient natural language processing techniques.


title: Modeling and Simulation of Non-equilibrium Flows with Uncertainty Quantification

abstract: In the study of gas dynamics, theoretical modeling and numerical simulation are mostly set up with deterministic settings. Given the coarse-grained modeling in theories of fluids, considerable uncertainties may exist between flow-field solutions and real-world physics. To study the emergence, propagation and evolution of uncertainties from molecular to hydrodynamic level poses great opportunities and challenges to develop both sound theories and reliable multi-scale algorithms. In this paper, we study the stochastic behavior of multi-scale gas dynamic systems, especially focusing on the non-equilibrium effects. The theoretical analysis is presented on the basis of kinetic model equation and its upscaling macroscopic system, with the reformulation from the stochastic Galerkin method. A newly developed stochastic kinetic scheme is employed to conduct numerical simulation of homogeneous relaxation, normal shock structure, shear layer and lid-driven cavity problems. Different kinds of uncertainties are involved in conjunction with the gas evolutionary processes. New physical observations, such as the synergistic propagation pattern between mean fields and uncertainties, sensitivity of different orders of uncertainties, and the influence of boundary effects from continuum to rarefied regimes, will be identified and analyzed theoretically. The paper serves as a heuristic study of quantifying the uncertainties within multi-scale flow dynamics.


title: Approximate Reconstruction of Torsional Potential Energy Surface based on Voronoi Tessellation

abstract: Torsional modes within a complex molecule containing various functional groups are often strongly coupled so that the harmonic approximation and one-dimensional torsional treatment are inaccurate to evaluate their partition functions. A family of multi-structural approximation methods have been proposed and applied in recent years to deal with the torsional anharmonicity.However, these methods approximate the exact "almost periodic" potential energy as a summation of local periodic functions with symmetric barrier positions and heights. In the present theoretical study, we illustrated that the approximation is inaccurate when torsional modes present non-uniformly distributed local minima. Thereby, we proposed an improved method to reconstruct approximate potential to replace the periodic potential by using information of the local minima and their Voronoi tessellation. First, we established asymmetric barrier heights by introducing two periodicity parameters and assuming that the exact barrier positions are at the boundaries of Voronoi cells. Second, we used multiplicatively weighted Voronoi tessellation to refine the barrier heights and positions by defining a structure-related distance metric. The proposed method has been tested for a few higher-dimensional cases, all of which show promising improved accuracy.


title: Efficiency estimation for an equilibrium version of Maxwell refrigerator

abstract: Maxwell refrigerator as a device that can transfer heat from a cold to hot temperature reservoir making use of information reservoir was introduced by Mandal et al. \cite{Mandal2013a}. The model has a two state demon and a bit stream interacting with two thermal reservoirs simultaneously. We work out a simpler version of the refrigerator where the demon and bit system interact with the reservoirs separately and for a duration long enough to establish equilibrium. The efficiency, $\eta$, of the device when working as an engine as well as the coefficient of performance (COP) when working as a refrigerator are calculated. It is shown that the maximum efficiency matches that of a Carnot engine/refrigerator working between the same temperatures, as expected. The COP at maximum power decreases as $\frac{1}{T_h}$ when $T_h >T_c \gg \Delta E$ ($k_B = 1$), where $T_h$ and $T_c$ are the temperatures of the hot and cold reservoirs respectively and $\Delta E$ is the level spacing of the demon. $\eta$ at maximum power of the device, when working as a heat engine, is found to be $\frac{T_h}{0.779 + T_h}$ when $T_c \ll \Delta E$ and $T_h \gg \Delta E$.


title: Scattering of Spin-$\frac{1}{2}$ Particles from a $\cal PT$-symmetric Complex Potential

abstract: In this letter, we study the scattering of spin-$\frac{1}{2}$ particles from a spin-independent parity time ($\cal PT$)-symmetric complex potential, and for the first time, theoretically demonstrate the coexistence of $\cal PT$-symmetric and $\cal PT$-broken phases for broadband energy spectra in this system. We also show the existence of anisotropic transmission resonances, accessible through the tuning of energy. Our results are promising for applications in spintronics, semiconductor-based devices, and a better understanding of the topological surface states.


title: Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains

abstract: A crucial technical challenge for cybercriminals is to keep control over the potentially millions of infected devices that build up their botnets, without compromising the robustness of their attacks. A single, fixed C&C server, for example, can be trivially detected either by binary or traffic analysis and immediately sink-holed or taken-down by security researchers or law enforcement. Botnets often use Domain Generation Algorithms (DGAs), primarily to evade take-down attempts. DGAs can enlarge the lifespan of a malware campaign, thus potentially enhancing its profitability. They can also contribute to hindering attack accountability. In this work, we introduce HYDRAS, the most comprehensive and representative dataset of Algorithmically-Generated Domains (AGD) available to date. The dataset contains more than 100 DGA families, including both real-world and adversarially designed ones. We analyse the dataset and discuss the possibility of differentiating between benign requests (to real domains) and malicious ones (to AGDs) in real-time. The simultaneous study of so many families and variants introduces several challenges; nonetheless, it alleviates biases found in previous literature employing small datasets which are frequently overfitted, exploiting characteristic features of particular families that do not generalise well.We thoroughly compare our approach with the current state-of-the-art and highlight some methodological shortcomings in the actual state of practice. The outcomes obtained show that our proposed approach significantly outperforms the current state-of-the-art in terms of both classification performance and efficiency.


title: Measurement of the associated production of a Higgs boson decaying into $b$-quarks with a vector boson at high transverse momentum in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: The associated production of a Higgs boson with a $W$ or $Z$ boson decaying into leptons and where the Higgs boson decays to a $b\bar{b}$ pair is measured in the high vector-boson transverse momentum regime, above 250 GeV, with the ATLAS detector. The analysed data, corresponding to an integrated luminosity of 139 fb$^{-1}$, were collected in proton-proton collisions at the Large Hadron Collider between 2015 and 2018 at a centre-of-mass energy of $\sqrt{s} = 13$ TeV. The measured signal strength, defined as the ratio of the measured signal yield to that predicted by the Standard Model, is $0.72 ^{+0.39}_{-0.36}$ corresponding to an observed (expected) significance of 2.1 (2.7) standard deviations. Cross-sections of associated production of a Higgs boson decaying into $b$ quark pairs with a $W$ or $Z$ gauge boson, decaying into leptons, are measured in two exclusive vector boson transverse momentum regions, 250-400 GeV and above 400 GeV, and interpreted as constraints on anomalous couplings in the framework of a Standard Model effective field theory.


title: Conceptualising Natural and Quasi Experiments in Public Health

abstract: Background: Natural or quasi experiments are appealing for public health research because they enable the evaluation of events or interventions that are difficult or impossible to manipulate experimentally, such as many policy and health system reforms. However, there remains ambiguity in the literature about their definition and how they differ from randomised controlled experiments and from other observational designs. Methods: We conceptualise natural experiments in in the context of public health evaluations, align the study design to the Target Trial Framework, and provide recommendation for improvement of their design and reporting. Results: Natural experiment studies combine features of experiments and non-experiments. They differ from RCTs in that exposure allocation is not controlled by researchers while they differ from other observational designs in that they evaluate the impact of event or exposure changes. As a result they are, in theory, less susceptible to bias than other observational study designs. Importantly, the strength of causal inferences relies on the plausibility that the exposure allocation can be considered "as-if randomised". The target trial framework provides a systematic basis for assessing the plausibility of such claims, and enables a structured method for assessing other design elements. Conclusions: Natural experiment studies should be considered a distinct study design rather than a set of tools for analyses of non-randomised interventions. Alignment of natural experiments to the Target Trial framework will clarify the strength of evidence underpinning claims about the effectiveness of public health interventions.


title: A family of solutions to the inverse problem in gravitation: building a theory around a metric

abstract: A method is presented to construct a particular, non-minimally coupled scalar-tensor theory such that a given metric is an exact vacuum solution in that theory. In contrast to the standard approach in studies of gravitational dynamics, where one begins with an action and then solves the equations of motion, this approach allows for an explicit theory to be built around some pre-specified geometry. Starting from a parameterized black hole spacetime with generic, non-Kerr hairs, it is shown how an overarching family of theories can be designed to fit the metric exactly.


title: Cayley Polynomial-Time Computable Groups

abstract: We propose a new generalisation of Cayley automatic groups, varying the time complexity of computing multiplication, and language complexity of the normal form representatives. We first consider groups which have normal form language in the class $\mathcal C$ and multiplication by generators computable in linear time on a certain restricted Turing machine model (position-faithful one-tape). We show that many of the algorithmic properties of automatic groups are preserved (quadratic time word problem), prove various closure properties, and show that the class is quite large; for example it includes all virtually polycyclic groups. We then generalise to groups which have normal form language in the class $\mathcal C$ and multiplication by generators computable in polynomial time on a (standard) Turing machine. Of particular interest is when $\mathcal C= \mathrm{REG}$ (the class of regular languages). We prove that $\mathrm{REG}$-Cayley polynomial-time computable groups includes all finitely generated nilpotent groups, the wreath product $\mathbb Z_2 \wr \mathbb Z^2$, and Thompson's group $F$.


title: Leaderless State-Machine Replication: Specification, Properties, Limits (Extended Version)

abstract: Modern Internet services commonly replicate critical data across several geographical locations using state-machine replication (SMR). Due to their reliance on a leader replica, classical SMR protocols offer limited scalability and availability in this setting. To solve this problem, recent protocols follow instead a leaderless approach, in which each replica is able to make progress using a quorum of its peers. In this paper, we study this new emerging class of SMR protocols and states some of their limits. We first propose a framework that captures the essence of leaderless state-machine replication (Leaderless SMR). Then, we introduce a set of desirable properties for these protocols: (R)eliability, (O)ptimal (L)atency and (L)oad Balancing. We show that protocols matching all of the ROLL properties are subject to a trade-off between performance and reliability. We also establish a lower bound on the message delay to execute a command in protocols optimal for the ROLL properties. This lower bound explains the persistent chaining effect observed in experimental results.


title: Weak cosmic censorship with self-interacting scalar and bound on charge to mass ratio

abstract: We study the model of Einstein-Maxwell theory minimally coupling to a massive charged self-interacting scalar field, parameterized by the quartic and hexic coupling, labelled by $\lambda$ and $\beta$, respectively. In the absence of scalar field, there is a class of counterexamples to cosmic censorship. Moveover, we investigate the properties of full nonlinear solution with nonzero scalar field, and argue that, by assuming massive charged self-interacting scalar field with sufficiently large charge above one certain bound, these counterexamples can be removed. In particular, this bound on charge for self-interacting scalar field is no longer equal to the weak gravity bound for free scalar case. In the quartic case, the bounds are below free scalar case for $\lambda<0$, while above free scalar case for $\lambda>0$. Meanwhile, in the hexic case, the bounds are above free scalar case for both $\beta>0$ and $\beta<0$.


title: Object-based Illumination Estimation with Rendering-aware Neural Networks

abstract: We present a scheme for fast environment light estimation from the RGBD appearance of individual objects and their local image areas. Conventional inverse rendering is too computationally demanding for real-time applications, and the performance of purely learning-based techniques may be limited by the meager input data available from individual objects. To address these issues, we propose an approach that takes advantage of physical principles from inverse rendering to constrain the solution, while also utilizing neural networks to expedite the more computationally expensive portions of its processing, to increase robustness to noisy input data as well as to improve temporal and spatial stability. This results in a rendering-aware system that estimates the local illumination distribution at an object with high accuracy and in real time. With the estimated lighting, virtual objects can be rendered in AR scenarios with shading that is consistent to the real scene, leading to improved realism.


title: Quantifying mixing and available potential energy in vertically periodic simulations of stratified flows

abstract: Turbulent mixing exerts a significant influence on many physical processes in the ocean. In a stably stratified Boussinesq fluid, this irreversible mixing describes the conversion of available potential energy (APE) to background potential energy (BPE). In some settings the APE framework is difficult to apply and approximate measures are used to estimate irreversible mixing. For example, numerical simulations of stratified turbulence often use triply periodic domains to increase computational efficiency. In this setup however, BPE is not uniquely defined and the method of Winters et al. (1995, J. Fluid Mech., 289) cannot be directly applied to calculate the APE. We propose a new technique to calculate APE in periodic domains with a mean stratification. By defining a control volume bounded by surfaces of constant buoyancy, we can construct an appropriate background buoyancy profile $b_\ast(z,t)$ and accurately quantify diapycnal mixing in such systems. This technique also permits the accurate calculation of a finite amplitude local APE density in periodic domains. The evolution of APE is analysed in various turbulent stratified flow simulations. We show that the mean dissipation rate of buoyancy variance $\chi$ provides a good approximation to the mean diapycnal mixing rate, even in flows with significant variations in local stratification. When quantifying measures of mixing efficiency in transient flows, we find significant variation depending on whether laminar diffusion of a mean flow is included in the kinetic energy dissipation rate. We discuss how best to interpret these results in the context of quantifying diapycnal diffusivity in real oceanographic flows.


title: FastLR: Non-Autoregressive Lipreading Model with Integrate-and-Fire

abstract: Lipreading is an impressive technique and there has been a definite improvement of accuracy in recent years. However, existing methods for lipreading mainly build on autoregressive (AR) model, which generate target tokens one by one and suffer from high inference latency. To breakthrough this constraint, we propose FastLR, a non-autoregressive (NAR) lipreading model which generates all target tokens simultaneously. NAR lipreading is a challenging task that has many difficulties: 1) the discrepancy of sequence lengths between source and target makes it difficult to estimate the length of the output sequence; 2) the conditionally independent behavior of NAR generation lacks the correlation across time which leads to a poor approximation of target distribution; 3) the feature representation ability of encoder can be weak due to lack of effective alignment mechanism; and 4) the removal of AR language model exacerbates the inherent ambiguity problem of lipreading. Thus, in this paper, we introduce three methods to reduce the gap between FastLR and AR model: 1) to address challenges 1 and 2, we leverage integrate-and-fire (I\&F) module to model the correspondence between source video frames and output text sequence. 2) To tackle challenge 3, we add an auxiliary connectionist temporal classification (CTC) decoder to the top of the encoder and optimize it with extra CTC loss. We also add an auxiliary autoregressive decoder to help the feature extraction of encoder. 3) To overcome challenge 4, we propose a novel Noisy Parallel Decoding (NPD) for I\&F and bring Byte-Pair Encoding (BPE) into lipreading. Our experiments exhibit that FastLR achieves the speedup up to 10.97$\times$ comparing with state-of-the-art lipreading model with slight WER absolute increase of 1.5\% and 5.5\% on GRID and LRS2 lipreading datasets respectively, which demonstrates the effectiveness of our proposed method.


title: Curvature-Dependant Global Convergence Rates for Optimization on Manifolds of Bounded Geometry

abstract: We give curvature-dependant convergence rates for the optimization of weakly convex functions defined on a manifold of 1-bounded geometry via Riemannian gradient descent and via the dynamic trivialization algorithm. In order to do this, we give a tighter bound on the norm of the Hessian of the Riemannian exponential than the previously known. We compute these bounds explicitly for some manifolds commonly used in the optimization literature such as the special orthogonal group and the real Grassmannian. Along the way, we present self-contained proofs of fully general bounds on the norm of the differential of the exponential map and certain cosine inequalities on manifolds, which are commonly used in optimization on manifolds.


title: The turbulent gas structure in the centers of NGC253 and the Milky Way

abstract: We compare molecular gas properties in the starbursting center of NGC253 and the Milky Way Galactic Center (GC) on scales of ~1-100 pc using dendograms and resolution-, area- and noise-matched datasets in CO (1-0) and CO (3-2). We find that the size-line width relations in NGC253 and the GC have similar slope, but NGC253 has larger line widths by factors of ~2-3. The $\sigma^2/R$ dependency on column density shows that, in the GC, on scales of 10-100 pc the kinematics of gas over $N>3\times10^{21}$ cm$^{-2}$ are compatible with gravitationally bound structures. In NGC253 this is only the case for column densities $N>3\times10^{22}$ cm$^{-2}$. The increased line widths in NGC253 originate in the lower column density gas. This high-velocity dispersion, not gravitationally self-bound gas is likely in transient structures created by the combination of high average densities and feedback in the starburst. The high densities turns the gas molecular throughout the volume of the starburst, and the injection of energy and momentum by feedback significantly increases the velocity dispersion at a given spatial scale over what is observed in the GC.


title: Spectral-change enhancement with prior SNR for the hearing impaired

abstract: A previous signal processing algorithm that aimed to enhance spectral changes (SCE) over time showed benefit for hearing-impaired (HI) listeners to recognize speech in background noise. In this work, the previous SCE was manipulated to perform on target-dominant segments, rather than treating all frames equally. Instantaneous signal-to-noise ratios (SNRs) were calculated to determine whether the segments should be processed. Initially, the ideal SNR calculated by the knowledge of premixed signals was introduced to the previous SCE algorithm (SCE-iSNR). Speech intelligibility (SI) and clarity preference were measured for 12 HI listeners in steady speech-spectrum noise (SSN) and six-talk speech (STS) maskers, respectively. The results showed the SCE-iSNR algorithm improved SI significantly for both maskers at high signal-to-masker ratios (SMRs) and for STS masker at low SMRs, while processing effect on speech quality was small. Secondly, the estimated SNR obtained from real mixtures was used, resulting in another SCE-eSNR. SI and subjective rating on naturalness and speech quality were tested for 7 HI subjects. The SCE-eSNR algorithm showed improved SI for SSN masker at high SMRs and for STS masker at low SMRs, as well as better naturalness and speech quality for STS masker. The limitations of applying the algorithms are discussed.


title: Dual Gaussian-based Variational Subspace Disentanglement for Visible-Infrared Person Re-Identification

abstract: Visible-infrared person re-identification (VI-ReID) is a challenging and essential task in night-time intelligent surveillance systems. Except for the intra-modality variance that RGB-RGB person re-identification mainly overcomes, VI-ReID suffers from additional inter-modality variance caused by the inherent heterogeneous gap. To solve the problem, we present a carefully designed dual Gaussian-based variational auto-encoder (DG-VAE), which disentangles an identity-discriminable and an identity-ambiguous cross-modality feature subspace, following a mixture-of-Gaussians (MoG) prior and a standard Gaussian distribution prior, respectively. Disentangling cross-modality identity-discriminable features leads to more robust retrieval for VI-ReID. To achieve efficient optimization like conventional VAE, we theoretically derive two variational inference terms for the MoG prior under the supervised setting, which not only restricts the identity-discriminable subspace so that the model explicitly handles the cross-modality intra-identity variance, but also enables the MoG distribution to avoid posterior collapse. Furthermore, we propose a triplet swap reconstruction (TSR) strategy to promote the above disentangling process. Extensive experiments demonstrate that our method outperforms state-of-the-art methods on two VI-ReID datasets.


title: Deep Reinforcement Learning based Local Planner for UAV Obstacle Avoidance using Demonstration Data

abstract: In this paper, a deep reinforcement learning (DRL) method is proposed to address the problem of UAV navigation in an unknown environment. However, DRL algorithms are limited by the data efficiency problem as they typically require a huge amount of data before they reach a reasonable performance. To speed up the DRL training process, we developed a novel learning framework which combines imitation learning and reinforcement learning and building upon Twin Delayed DDPG (TD3) algorithm. We newly introduced both policy and Q-value network are learned using the expert demonstration during the imitation phase. To tackle the distribution mismatch problem transfer from imitation to reinforcement learning, both TD-error and decayed imitation loss are used to update the pre-trained network when start interacting with the environment. The performances of the proposed algorithm are demonstrated on the challenging 3D UAV navigation problem using depth cameras and sketched in a variety of simulation environments.


title: Attaining High Bandwidth In Cloud Computing Through SDN-enabled Multi-tree Multicast

abstract: Achieving high bandwidth utilization in cloud computing is essential for better network performance. However, it is difficult to attain high bandwidth utilization in cloud computing due to the complex and distributed natures of cloud computing resources. Recently, a growing demand for multicast transmission is perceived in cloud computing, due to the explosive growth of multi-point communication applications, such as video conferencing, online gaming, etc. Nonetheless, the inherent complexity in multicast routing in cloud computing, existing multicast plans failed to produce effective and efficient protocol schemes, which limits the application of multicast communication on the Internet. In this paper, a technique is proposed in how the newly developed network architecture, Software Defined Network (SDN), can promote the design of the multicast protocol and improve the performance of the multicast transmission in the cloud computing. The approach is to use the SDN-cloud Computing-enabled multicast communication scheme with ultra-high bandwidth utilization. The bandwidth utilization is enhanced by measuring various routing trees for each multicast transmission session and distributing the traffic load over all available routes in the cloud computing resources. The SDN is utilized to tackle with various design hurdles in the cloud computing, including both the current ones with the conventional multicast pattern and the newly emerged ones with multi-tree multicast. The prototype implementation and experiments demonstrate the performance enhancement of the proposed approach in the cloud computing in compared to conventional single-tree multicast designs.


title: Some `converses' to intrinsic linking theorems

abstract: A low-dimensional version of our main result is the following `converse' of the Conway-Gordon-Sachs Theorem on intrinsic linking of the graph $K_6$ in 3-space: For any integer $z$ there are 6 points $1,2,3,4,5,6$ in 3-space, of which every two $i,j$ are joined by a polygonal line $ij$, the interior of one polygonal line is disjoint with any other polygonal line, the linking coefficient of any pair of disjoint 3-cycles except for $\{123,456\}$ is zero, and for the exceptional pair $\{123,456\}$ is $2z+1$. We prove a higher-dimensional analogue, which is a `converse' of a lemma by Segal-Spie\.z.


title: Norm estimates of the Cauchy transform and related operators

abstract: Suppose $f\in L^p(\mathbb{D})$, where $p\geq1$ and $\mathbb{D}$ is the unit disk. Let $\mathfrak{J}_0$ be the integral operator defined as follows: $\mathfrak{J}_0[f](z)=\int_{\mathbb{D}}\frac{z}{1-\bar{w}z}f(w)\mathrm{d}A(w)$, where $z$, $w\in\mathbb{D}$ and $\mathrm{d}A(w)=\frac{1}{\pi}\mathrm{d}x\mathrm{d}y$ is the normalized area measure on $\mathbb{D}$. Suppose $\mathfrak{J}_0^*$ is the adjoint operator of $\mathfrak{J}_0$. Then $\mathfrak{J}^*_0=\mathfrak{B}\mathfrak{C}$, where $\mathfrak{B}$ and $\mathfrak{C}$ are the operators induced by the Bergman projection and Cauchy transform, respectively. In this paper, we obtain the $L^1$, $L^2$ and $L^{\infty}$ norm of the operator $\mathfrak{J}_0^*$. Moreover, we obtain the $L^p(\mathbb{D})\rightarrow L^\infty(\mathbb{D})$ norm of the operators $\mathfrak{C}$ and $\mathfrak{J}_0^*$, provided that $p>2$. This study is a continuation of the investigations carried out in [4] and [11].


title: Automorphic vector bundles on the stack of $G$-zips

abstract: For a connected reductive group $G$ over a finite field, we study automorphic vector bundles on the stack of $G$-zips. In particular, we give a formula in the general case for the space of global sections of an automorphic vector bundle in terms of the Brylinski--Kostant filtration. Moreover, we give an equivalence of categories between the category of automorphic vector bundles on the stack of $G$-zips and a category of admissible modules with actions of a zero-dimensional algebraic subgroup a Levi subgroup and monodromy operators.


title: Discrimination of Ohmic thermal baths by quantum dephasing probes

abstract: We address the discrimination of structured baths at different temperatures by dephasing quantum probes. We derive the exact reduced dynamics and evaluate the minimum error probability achievable by three different kinds of quantum probes, namely a qubit, a qutrit and a quantum register made of two qubits. Our results indicate that dephasing quantum probes are useful in discriminating low values of temperature, and that lower probabilities of error are achieved for intermediate values of the interaction time. A qutrit probe outperforms a qubit one in the discrimination task, whereas a register made of two qubits does not offer any advantage compared to two single qubits used sequentially.


title: Efficient Multi-word Compare and Swap

abstract: Atomic lock-free multi-word compare-and-swap (MCAS) is a powerful tool for designing concurrent algorithms. Yet, its widespread usage has been limited because lock-free implementations of MCAS make heavy use of expensive compare-and-swap (CAS) instructions. Existing MCAS implementations indeed use at least 2k+1 CASes per k-CAS. This leads to the natural desire to minimize the number of CASes required to implement MCAS. We first prove in this paper that it is impossible to "pack" the information required to perform a k-word CAS (k-CAS) in less than k locations to be CASed. Then we present the first algorithm that requires k+1 CASes per call to k-CAS in the common uncontended case. We implement our algorithm and show that it outperforms a state-of-the-art baseline in a variety of benchmarks in most considered workloads. We also present a durably linearizable (persistent memory friendly) version of our MCAS algorithm using only 2 persistence fences per call, while still only requiring k+1 CASes per k-CAS.


title: Learning Sampling in Financial Statement Audits using Vector Quantised Autoencoder Neural Networks

abstract: The audit of financial statements is designed to collect reasonable assurance that an issued statement is free from material misstatement 'true and fair presentation'. International audit standards require the assessment of a statements' underlying accounting relevant transactions referred to as 'journal entries' to detect potential misstatements. To efficiently audit the increasing quantities of such entries, auditors regularly conduct a sample-based assessment referred to as 'audit sampling'. However, the task of audit sampling is often conducted early in the overall audit process. Often at a stage, in which an auditor might be unaware of all generative factors and their dynamics that resulted in the journal entries in-scope of the audit. To overcome this challenge, we propose the application of Vector Quantised-Variational Autoencoder (VQ-VAE) neural networks. We demonstrate, based on two real-world city payment datasets, that such artificial neural networks are capable of learning a quantised representation of accounting data. We show that the learned quantisation uncovers (i) the latent factors of variation and (ii) can be utilised as a highly representative audit sample in financial statement audits.


title: Probing Dark Matter Self-interaction with Ultra-faint Dwarf Galaxies

abstract: Self-interacting dark matter (SIDM) has gathered growing attention as a solution to the small scale problems of the collisionless cold dark matter (DM). We investigate the SIDM using stellar kinematics of 23 ultra-faint dwarf (UFD) galaxies with the phenomenological SIDM halo model. The UFDs are DM-dominated and have less active star formation history. Accordingly, they are the ideal objects to test the SIDM, as their halo profiles are least affected by the baryonic feedback processes. We found no UFDs favor non-zero self-interaction and some provide stringent constraints within the simple SIDM modeling. Our result challenges the simple modeling of the SIDM, which urges further investigation of the subhalo dynamical evolution of the SIDM.


title: A Wide-area GMRT 610~MHz survey of ELAIS N1 field

abstract: In this paper we present a wide-area 610 MHz survey of the ELAIS\,N1 field with the GMRT, covering an area of 12.8 deg$^2$ at a resolution of 6 arcsec and with an rms noise of $\sim 40$ $\mu$Jy beam$^{-1}$. This is equivalent to $\sim 20$ $\mu$Jy beam$^{-1}$ rms noise at 1.4 GHz for a spectral index of $-0.75$. The primary goal of the survey was to study the polarised sky at sub-mJy flux densities at $<$ GHz frequencies. In addition, a range of other science goals, such as investigations in to the nature of the low-frequency $\mu$Jy source populations and alignments of radio jets. A total of 6,400 sources were found in this region, the vast majority of them compact. The sample jointly detected by GMRT at 610 MHz and by VLA FIRST at 1.4\,GHz has a median spectral index of $-0.85 \pm 0.05$ and a median 610 MHz flux density of 4.5 mJy. This region has a wealth of ancillary data which is useful to characterize the detected sources. The multi-wavelength cross matching resulted optical/IR counterparts to $\sim 90$ per~cent of the radio sources, with a significant fraction having at least photometric redshift. Due to the improved sensitivity of this survey over preceding ones, we have discovered six giant radio sources (GRS), with three of them at $z \sim 1$ or higher. This implies that the population of GRS may be more abundant and common than known to date and if true this has implications for the luminosity function and the evolution of radio sources. We have also identified several candidate extended relic sources.


title: Self-supervised Video Representation Learning Using Inter-intra Contrastive Framework

abstract: We propose a self-supervised method to learn feature representations from videos. A standard approach in traditional self-supervised methods uses positive-negative data pairs to train with contrastive learning strategy. In such a case, different modalities of the same video are treated as positives and video clips from a different video are treated as negatives. Because the spatio-temporal information is important for video representation, we extend the negative samples by introducing intra-negative samples, which are transformed from the same anchor video by breaking temporal relations in video clips. With the proposed Inter-Intra Contrastive (IIC) framework, we can train spatio-temporal convolutional networks to learn video representations. There are many flexible options in our IIC framework and we conduct experiments by using several different configurations. Evaluations are conducted on video retrieval and video recognition tasks using the learned video representation. Our proposed IIC outperforms current state-of-the-art results by a large margin, such as 16.7% and 9.5% points improvements in top-1 accuracy on UCF101 and HMDB51 datasets for video retrieval, respectively. For video recognition, improvements can also be obtained on these two benchmark datasets. Code is available at https://github.com/BestJuly/Inter-intra-video-contrastive-learning.


title: Online Weight-adaptive Nonlinear Model Predictive Control

abstract: Nonlinear Model Predictive Control (NMPC) is a powerful and widely used technique for nonlinear dynamic process control under constraints. In NMPC, the state and control weights of the corresponding state and control costs are commonly selected based on human-expert knowledge, which usually reflects the acceptable stability in practice. Although broadly used, this approach might not be optimal for the execution of a trajectory with the lowest positional error and sufficiently "smooth" changes in the predicted controls. Furthermore, NMPC with an online weight update strategy for fast, agile, and precise unmanned aerial vehicle navigation, has not been studied extensively. To this end, we propose a novel control problem formulation that allows online updates of the state and control weights. As a solution, we present an algorithm that consists of two alternating stages: (i) state and command variable prediction and (ii) weights update. We present a numerical evaluation with a comparison and analysis of different trade-offs for the problem of quadrotor navigation. Our computer simulation results show improvements of up to 70% in the accuracy of the executed trajectory compared to the standard solution of NMPC with fixed weights.


title: A white dwarf bound to the transiting planetary system WASP-98

abstract: WASP-98 is a planetary system containing a hot Jupiter transiting a late-G dwarf. A fainter star 12 arcsec distant has previously been identified as a white dwarf, with a distance and proper motion consistent with a physical association with the planetary system. We present spectroscopy of the white dwarf, with the aim of determining its mass, radius and temperature and hence the age of the system. However, the spectra show the featureless continuum and lack of spectral lines characteristic of the DC class of white dwarfs. We therefore fitted theoretical white dwarf spectra to the ugriz apparent magnitudes and Gaia DR2 parallax of this object in order to determine its physical properties and the age of the system. We find that the system is old, with a lower limit of 3.6 Gyr, but theoretical uncertainties preclude a precise determination of its age. Its kinematics are consistent with membership of the thick disc, but do not allow us to rule out the thin-disc alternative. The old age and low metallicity of the system suggest it is subject to an age-metallicity relation, but analysis of the most metal-rich and metal-poor transiting planetary systems yields only insubstantial evidence of this. We conclude that the study of bound white dwarfs can yield independent ages to planetary systems, but such analysis may be better-suited to DA and DB rather than DC white dwarfs.


title: Generation and manipulation of chiral terahertz waves emitted from the three-dimensional topological insulator Bi2Te3

abstract: Arbitrary manipulation of broadband terahertz waves with flexible polarization shaping at the source has great potential in expanding real applications such as imaging, information encryption, and all-optically coherent control of terahertz nonlinear phenomena. Topological insulators featuring unique spin-momentum locked surface state have already exhibited very promising prospects in terahertz emission, detection and modulation, which may lay a foundation for future on-chip topological insulator-based terahertz systems. However, polarization shaped terahertz emission with prescribed manners of arbitrarily manipulated temporal evolution of the amplitude and electric-field vector direction based on topological insulators have not yet been explored. Here we systematically investigated the terahertz radiation from topological insulator Bi2Te3 nanofilms driven by femtosecond laser pulses, and successfully realized the generation of efficient chiral terahertz waves with controllable chirality, ellipticity, and principle axis. The convenient engineering of the chiral terahertz waves was interpreted by photogalvanic effect induced photocurrent, while the linearly polarized terahertz waves originated from linear photogalvanic effect induced shift currents. We believe our works not only help further understanding femtosecond coherent control of ultrafast spin currents in light-matter interaction but also provide an effective way to generate spin-polarized terahertz waves and accelerate the proliferation of twisting the terahertz waves at the source.


title: Baryon fluctuations in extended linear sigma model

abstract: The existence and the location of the critical end point (CEP) between the crossover and the first order part of the chiral phase transition in the phase diagram of the strongly interacting matter is a heavily studied area of recent particle physics. The baryon number fluctuations and related quantities such as kurtosis and other susceptibility ratios, that are assumed to be good signatures of CEP, are calculated in an (axial)vector meson extended $(2 + 1)$ flavor Polyakov linear sigma model (EL$\sigma$M) at zero and finite $\mu_B$ . It is compared with the results of lattice as well as other effective model calculations. Divergence of the kurtosis is found at the critical end point.


title: Supersaturation in the Wake of a Precipitating Hydrometeor and its Impact on Aerosol Activation

abstract: The secondary activation of aerosols impacts the life cycle of a cloud. A detailed understanding is necessary for reliable climate prediction. Recent laboratory experiments demonstrate that aerosols can be activated in the wake of precipitating hydrometeors. However, many quantitative aspects of this wake-induced activation remain unclear. Here, we report a detailed numerical investigation of the activation potential of wake-induced supersaturation. By Lagrangian tracking of aerosols we show that a significant fraction of aerosols are activated in the supersaturated wake. These 'lucky aerosols' are entrained in the wake's vortices and reside in the supersaturated environment sufficiently long to be activated. Our analyses show that wake-induced activation can contribute at a level similar to other well known secondary production processes.


title: Community structures in simplicial complexes: an application to wildlife corridor designing in Central India -- Eastern Ghats landscape complex, India

abstract: The concept of simplicial complex from Algebraic Topology is applied to understand and model the flow of genetic information, processes and organisms between the areas of unimpaired habitats to design a network of wildlife corridors for Tigers (Panthera Tigris Tigris) in Central India Eastern Ghats landscape complex. The work extends and improves on a previous work that has made use of the concept of minimum spanning tree obtained from the weighted graph in the focal landscape, which suggested a viable corridor network for the tiger population of the Protected Areas (PAs) in the landscape complex. Centralities of the network identify the habitat patches and the critical parameters that are central to the process of tiger movement across the network. We extend the concept of vertex centrality to that of the simplicial centrality yielding inter-vertices adjacency and connection. As a result, the ecological information propagates expeditiously and even on a local scale in these networks representing a well-integrated and self-explanatory model as a community structure. A simplicial complex network based on the network centralities calculated in the landscape matrix presents a tiger corridor network in the landscape complex that is proposed to correspond better to reality than the previously proposed model. Because of the aforementioned functional and structural properties of the network, the work proposes an ecological network of corridors for the most tenable usage by the tiger populations both in the PAs and outside the PAs in the focal landscape.


title: Efficiency in Digital Economies -- A Primer on Tokenomics

abstract: Cryptographic tokens are a new digital paradigm that can facilitate the establishment of economic incentives in digital ecoystems. Tokens can be leveraged for the coordination, optimization and governance of large networks at scale in a decentralized manner. A key aspect is their programmability, that can reward participants relative to their stage of adoption, according to the value they contribute and the risk they bear. Moreover, this can be done in a transparent and verifiable way, which increases trustworthiness in the emerging systems. This work presents an overview of this new phenomenon and to provide multi-disciplinary arguments on why tokenized ecosystems can drive a huge momentum for positive-sum collaboration in the digital age. We illustrate how certain principles and values that arise from the evolutionary process of digital cooperation can lead to a market economy characterized by economic efficiency of both individuals and the tokenized ecosystem as a whole.


title: Dissipative engineering of Gaussian entangled states in harmonic lattices with a single-site squeezed reservoir

abstract: We study the dissipative preparation of many-body entangled Gaussian states in bosonic lattice models which could be relevant for quantum technology applications. We assume minimal resources, represented by systems described by particle-conserving quadratic Hamiltonians, with a single localized squeezed reservoir. We show that in this way it is possible to prepare, in the steady state, the wide class of pure states which can be generated by applying a generic passive Gaussian transformation on a set of equally squeezed modes. This includes non-trivial multipartite entangled states such as cluster states suitable for measurement-based quantum computation.


title: Active Improvement of Control Policies with Bayesian Gaussian Mixture Model

abstract: Learning from demonstration (LfD) is an intuitive framework allowing non-expert users to easily (re-)program robots. However, the quality and quantity of demonstrations have a great influence on the generalization performances of LfD approaches. In this paper, we introduce a novel active learning framework in order to improve the generalization capabilities of control policies. The proposed approach is based on the epistemic uncertainties of Bayesian Gaussian mixture models (BGMMs). We determine the new query point location by optimizing a closed-form information-density cost based on the quadratic R\'enyi entropy. Furthermore, to better represent uncertain regions and to avoid local optima problem, we propose to approximate the active learning cost with a Gaussian mixture model (GMM). We demonstrate our active learning framework in the context of a reaching task in a cluttered environment with an illustrative toy example and a real experiment with a Panda robot.


title: A $q$-Dwork-type generalization of Rodriguez-Villegas' supercongruences

abstract: Guo and Zudilin [Adv. Math. 346 (2019), 329--358] developed an analytical method, called `creative microscoping', to prove many supercongruences by establishing their $q$-analogues. In this paper, we apply this method to give a $q$-Dwork-type generalization of Rodriguez-Villegas' supercongruences, which was recently conjectured by Guo and Zudilin.


title: DY Pegasi: An SX Phoenicis Star in a Binary System with an Evolved Companion

abstract: In this work, the photometric data from the American Association of Variable Star Observers are collected and analyzed on the SX Phoenicis star DY Pegasi (DY Peg). From the frequency analysis, we get three independent frequencies: $f_0 = 13.71249\ \rm{c\ days^{-1}}$, $f_1 = 17.7000\ \rm{c\ days^{-1}}$, and $f_2 =18.138\ \rm{c\ days^{-1}}$, in which $f_0$ and $f_1$ are the radial fundamental and first overtone mode, respectively, while $f_2$ is detected for the first time and should belong to a nonradial mode. The $O-C$ diagram of the times of maximum light shows that DY Peg has a period change rate $(1/P_0)(\mathrm{d} P_0/\mathrm{d} t) = -(5.87 \pm 0.03) \times 10^{-8} \ \mathrm{yr^{-1}}$ for its fundamental pulsation mode, and should belong to a binary system that has an orbital period $P_{\mathrm{orb}} = 15425.0 \pm 205.7 \ \mathrm{days}$. Based on the spectroscopic information, single star evolutionary models are constructed to fit the observed frequencies. However, some important parameters of the fitted models are not consistent with that from observations. Combing with the information from observation and theoretical calculation, we conclude that DY Peg should be an SX Phoenicis star in a binary system and accreting mass from a dust disk, which was the residue of its evolved companion (most probably a hot white dwarf at the present stage) produced in the asymptotic giant branch phase. Further observations are needed to confirm this inference, and it might be potentially a universal formation mechanism and evolutionary history for SX Phoenicis stars.


title: Handwritten Character Recognition from Wearable Passive RFID

abstract: In this paper we study the recognition of handwritten characters from data captured by a novel wearable electro-textile sensor panel. The data is collected sequentially, such that we record both the stroke order and the resulting bitmap. We propose a preprocessing pipeline that fuses the sequence and bitmap representations together. The data is collected from ten subjects containing altogether 7500 characters. We also propose a convolutional neural network architecture, whose novel upsampling structure enables successful use of conventional ImageNet pretrained networks, despite the small input size of only 10x10 pixels. The proposed model reaches 72\% accuracy in experimental tests, which can be considered good accuracy for this challenging dataset. Both the data and the model are released to the public.


title: Quasi-stationary distribution and metastability for the stochastic Becker-D\"oring model

abstract: We study a stochastic version of the classical Becker-D\"oring model, a well-known kinetic model for cluster formation that predicts the existence of a long-lived metastable state before a thermodynamically unfavorable nucleation occurs, leading to a phase transition phenomena. This continuous-time Markov chain model has received little attention, compared to its deterministic differential equations counterpart. We show that the stochastic formulation leads to a precise and quantitative description of stochastic nucleation events thanks to an exponentially ergodic quasi-stationary distribution for the process conditionally on nucleation has not yet occurred.


title: A deep network construction that adapts to intrinsic dimensionality beyond the domain

abstract: We study the approximation of two-layer compositions $f(x) = g(\phi(x))$ via deep networks with ReLU activation, where $\phi$ is a geometrically intuitive, dimensionality reducing feature map. We focus on two intuitive and practically relevant choices for $\phi$: the projection onto a low-dimensional embedded submanifold and a distance to a collection of low-dimensional sets. We achieve near optimal approximation rates, which depend only on the complexity of the dimensionality reducing map $\phi$ rather than the ambient dimension. Since $\phi$ encapsulates all nonlinear features that are material to the function $f$, this suggests that deep nets are faithful to an intrinsic dimension governed by $f$ rather than the complexity of the domain of $f$. In particular, the prevalent assumption of approximating functions on low-dimensional manifolds can be significantly relaxed using functions of type $f(x) = g(\phi(x))$ with $\phi$ representing an orthogonal projection onto the same manifold.


title: UBER-GNN: A User-Based Embeddings Recommendation based on Graph Neural Networks

abstract: The problem of session-based recommendation aims to predict user next actions based on session histories. Previous methods models session histories into sequences and estimate user latent features by RNN and GNN methods to make recommendations. However under massive-scale and complicated financial recommendation scenarios with both virtual and real commodities , such methods are not sufficient to represent accurate user latent features and neglect the long-term characteristics of users. To take long-term preference and dynamic interests into account, we propose a novel method, i.e. User-Based Embeddings Recommendation with Graph Neural Network, UBER-GNN for brevity. UBER-GNN takes advantage of structured data to generate longterm user preferences, and transfers session sequences into graphs to generate graph-based dynamic interests. The final user latent feature is then represented as the composition of the long-term preferences and the dynamic interests using attention mechanism. Extensive experiments conducted on real Ping An scenario show that UBER-GNN outperforms the state-of-the-art session-based recommendation methods.


title: Predicting in vivo escape dynamics of HIV-1 from a broadly neutralizing antibody

abstract: Broadly neutralizing antibodies are promising candidates for treatment and prevention of HIV-1 infections. Such antibodies can temporarily suppress viral load in infected individuals; however, the virus often rebounds by escape mutants that have evolved resistance. In this paper, we map an in vivo fitness landscape of HIV-1 interacting with broadly neutralizing antibodies, using data from a recent clinical trial. We identify two fitness factors, antibody dosage and viral load, that determine viral reproduction rates reproducibly across different hosts. The model successfully predicts the escape dynamics of HIV-1 in the course of an antibody treatment, including a characteristic frequency turnover between sensitive and resistant strains. This turnover is governed by a dosage-dependent fitness ranking, resulting from an evolutionary tradeoff between antibody resistance and its collateral cost in drug-free growth. Our analysis suggests resistance-cost tradeoff curves as a measure of antibody performance in the presence of resistance evolution.


title: Spectral functions of CVD grown MoS$_2$ monolayers after chemical transfer onto Au surface

abstract: The recent rise of van der Waals (vdW) crystals has opened new prospects for studying versatile and exotic fundamental physics with future device applications such as twistronics. Even though the recent development on Angle-resolved photoemission spectroscopy (ARPES) with Nano-focusing optics, making clean surfaces and interfaces of chemically transferred crystals have been challenging to obtain high-resolution ARPES spectra. Here, we show that by employing nano-ARPES with submicron sized beam and polystyrene-assisted transfer followed by annealing process in ultra-high vacuum environment, remarkably clear ARPES spectral features such as spin-orbit splitting and band renormalization of CVD-grown, monolayered MoS2 can be measured. Our finding paves a way to exploit chemically transferred crystals for measuring high-resolution ARPES spectra to observe exotic quasi-particles in vdW heterostructures.


title: The rationality of the moduli space of two-pointed ineffective spin hyperelliptic curves

abstract: By the geometry of the 3-fold quadric we show that the coarse moduli space of genus g ineffective spin hyperelliptic curves with two marked points is a rational variety for every $g \geq 2$.


title: On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

abstract: Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive attacks and necessary supports. Although the relationships between AF semantics and Partial Stable Models (PSMs) of logic programs has been deeply investigated, this is not the case for more general frameworks extending AF. In this paper we explore the relationships between AF-based frameworks and PSMs. We show that every AF-based framework $\Delta$ can be translated into a logic program $P_\Delta$ so that the extensions prescribed by different semantics of $\Delta$ coincide with subsets of the PSMs of $P_\Delta$. We provide a logic programming approach that characterizes, in an elegant and uniform way, the semantics of several AF-based frameworks. This result allows also to define the semantics for new AF-based frameworks, such as AFs with recursive attacks and recursive deductive supports. Under consideration for publication in Theory and Practice of Logic Programming.


title: The Boltzmann equation for uniform shear flow

abstract: The uniform shear flow for the rarefied gas is governed by the time-dependent spatially homogeneous Boltzmann equation with a linear shear force. The main feature of such flow is that the temperature may increase in time due to the shearing motion that induces viscous heat and the system becomes far from equilibrium. For Maxwell molecules, we establish the unique existence, regularity, shear-rate-dependent structure and non-negativity of self-similar profiles for any small shear rate. The non-negativity is justified through the large time asymptotic stability even in spatially inhomogeneous perturbation framework, and the exponential rates of convergence are also obtained with the size proportional to the second order shear rate. The analysis supports the numerical result that the self-similar profile admits an algebraic high-velocity tail that is the key difficulty to overcome in the proof.


title: Design of Compact and Efficient Silicon Photonic Micro Antennas with Perfectly Vertical Emission

abstract: Compact and efficient optical antennas are fundamental components for many applications, including high-density fiber-chip coupling and optical phased arrays. Here we present the design of grating-based micro-antennas with perfectly vertical emission in the 300-nm silicon-on-insulator platform. We leverage a methodology combining adjoint optimization and machine learning dimensionality reduction to efficiently map the multiparameter design space of the antennas, analyse a large number of relevant performance metrics, carry out the required multi-objective optimization, and discover high performance designs. Using a one-step apodized grating we achieve a vertical upward diffraction efficiency of almost 92% with a 3.6 {\mu}m-long antenna. When coupled with an ultra-high numerical aperture fiber, the antenna exhibits a coupling efficiency of more than 81% (-0.9 dB) and a 1-dB bandwidth of almost 158 nm. The reflection generated by the perfectly vertical antenna is smaller than -20 dB on a 200-nm bandwidth centered at {\lambda} = 1550 nm.


title: Electronic structure beyond the generalized gradient approximation for Ni$_2$MnGa

abstract: The stability of the nonmodulated martensitic phase, the austenitic Fermi surface and the phonon dispersion relations for ferromagnetic Ni$_2$MnGa are studied using density functional theory. Exchange-correlation effects are considered with various degrees of precision, starting from the simplest local spin density approximation (LSDA), then adding corrections within the generalized gradient approximation (GGA) and finally, including the meta-GGA corrections within the strongly constrained and appropriately normed (SCAN). We discuss a simple procedure to reduce a possible overestimation of magnetization and underestimation of nesting vector in SCAN by parametrically decreasing self-interaction corrections.


title: Exploring photoelectron angular distributions emitted from molecular dimers by two delayed intense laser pulses

abstract: We describe the results of experiments and simulations performed with the aim of extending photoelectron spectroscopy with intense laser pulses to the case of molecular compounds. Dimer frame photoelectron angular distributions generated by double ionization of N$_2$-N$_2$ and N$_2$-O$_2$ van der Waals dimers with ultrashort, intense laser pulses are measured using four-body coincidence imaging with a reaction microscope. To study the influence of the first-generated molecular ion on the ionization behavior of the remaining neutral molecule we employ a two-pulse sequence comprising of a linearly polarized and a delayed elliptically polarized laser pulse that allows distinguishing the two ionization steps. By analysis of the obtained electron momentum distributions we show that scattering of the photoelectron on the neighbouring molecular potential leads to a deformation and rotation of the photoelectron angular distribution as compared to that measured for an isolated molecule. Based on this result we demonstrate that the electron momentum space in the dimer case can be separated, allowing to extract information about the ionization pathway from the photoelectron angular distributions. Our work, when implemented with variable pulse delay, opens up the possibility of investigating light-induced electronic dynamics in molecular dimers using angularly resolved photoelectron spectroscopy with intense laser pulses.