title: Substrate-supported triplet superconductivity in Dirac semimetals

abstract: Stimulated by the success of graphene and its emerging Dirac physics, the quest for versatile and tunable electronic properties in atomically thin systems has led to the discovery of various chemical classes of 2D compounds. In particular, honeycomb lattices of group-IV elements, such as silicene and germanene, have been found experimentally. Whether it is a necessity of synthesis or a desired feature for application purposes, most 2D materials demand a supporting substrate. In this work, we highlight the constructive impact of substrates to enable the realization of exotic electronic quantum states of matter, where the buckling emerges as the decisive material parameter adjustable by the substrate. At the example of germanene deposited on MoS$_2$, we find that the coupling between the monolayer and the substrate, together with the buckled hexagonal geometry, conspire to provide a highly suited scenario for unconventional triplet superconductivity upon adatom-assisted doping.


title: Cusp Universality for Random Matrices I: Local Law and the Complex Hermitian Case

abstract: For complex Wigner-type matrices, i.e. Hermitian random matrices with independent, not necessarily identically distributed entries above the diagonal, we show that at any cusp singularity of the limiting eigenvalue distribution the local eigenvalue statistics are universal and form a Pearcey process. Since the density of states typically exhibits only square root or cubic root cusp singularities, our work complements previous results on the bulk and edge universality and it thus completes the resolution of the Wigner-Dyson-Mehta universality conjecture for the last remaining universality type in the complex Hermitian class. Our analysis holds not only for exact cusps, but approximate cusps as well, where an extended Pearcey process emerges. As a main technical ingredient we prove an optimal local law at the cusp for both symmetry classes. This result is also used in the companion paper [arXiv:1811.04055] where the cusp universality for real symmetric Wigner-type matrices is proven.


title: 3D Inception-based CNN with sMRI and MD-DTI data fusion for Alzheimer's Disease diagnostics

abstract: In the last decade, computer-aided early diagnostics of Alzheimer's Disease (AD) and its prodromal form, Mild Cognitive Impairment (MCI), has been the subject of extensive research. Some recent studies have shown promising results in the AD and MCI determination using structural and functional Magnetic Resonance Imaging (sMRI, fMRI), Positron Emission Tomography (PET) and Diffusion Tensor Imaging (DTI) modalities. Furthermore, fusion of imaging modalities in a supervised machine learning framework has shown promising direction of research. In this paper we first review major trends in automatic classification methods such as feature extraction based methods as well as deep learning approaches in medical image analysis applied to the field of Alzheimer's Disease diagnostics. Then we propose our own design of a 3D Inception-based Convolutional Neural Network (CNN) for Alzheimer's Disease diagnostics. The network is designed with an emphasis on the interior resource utilization and uses sMRI and DTI modalities fusion on hippocampal ROI. The comparison with the conventional AlexNet-based network using data from the Alzheimer's Disease Neuroimaging Initiative (ADNI) dataset (http://adni.loni.usc.edu) demonstrates significantly better performance of the proposed 3D Inception-based CNN.


title: Update on Testing the Isotropy of the Properties of Gamma-Ray Bursts

abstract: Previously we proposed a novel method to inspect the isotropy of the properties of gamma-ray bursts (GRBs) such as their duration, fluences and peak fluxes at various energy bands and different time scales, complementary to existing studies of spatial distribution of GRBs by other authors. The method was then applied on the Fermi GBM Burst Catalog containing 1591 GRBs and except one particular direction where we noticed some hints of violation from statistical isotropy, the rest of the data showed consistency with isotropy. In this work we apply our method with some minor modifications to the updated Fermi/GBM data sample containing 2266 GRBs, thus $\sim 40$ % larger. We also test two other major GRB catalogs, the BATSE Current GRB Catalog of the CGRO satellite containing $\sim 2000$ bursts and the Swift/BAT Gamma-Ray Burst Catalog containing $\sim 1200$ bursts. The new results using the updated data are consistent with our previous findings and no statistically significant anisotropic feature in the observed properties of these samples of all GRBs is found.


title: $SO(10) \to SU(5) \times U(1)_\chi$ as the Origin of Dark Matter

abstract: In the decomposition of $SO(10)$ grand unification to $SU(5) \times U(1)_\chi$, two desirable features are obtained with the addition of one colored fermion octet $\Omega$, one electroweak fermion triplet $\Sigma$ and one complex scalar triplet $S$ to the particle content of the standard model with two Higgs doublets. They are (1) gauge coupling unification of $SU(3)_C \times SU(2)_L \times U(1)_Y$ to $SU(5)$, and (2) the automatic (predestined) emergence of dark matter, i.e. $\Omega$, $\Sigma$ and $S$, with dark parity given by $(-1)^{Q_\chi + 2j}$. It suggests that $U(1)_\chi$ may well be the underlying symmetry of the dark sector.


title: Lotka-Volterra systems with stochastic resetting

abstract: We study the dynamics of predator-prey systems where prey are confined to a single region of space and where predators move randomly according to a power-law (L\'evy) dispersal kernel. Site fidelity, an important feature of animal behaviour, is incorporated in the model through a stochastic resetting dynamics of the predators to the prey patch. We solve in the long time limit the rate equations of Lotka-Volterra type that describe the evolution of the two species densities. Fixing the demographic parameters and the L\'evy exponent, the total population of predators can be maximized for a certain value of the resetting rate. This optimal value achieves a compromise between over-exploitation and under-utilization of the habitat. Similarly, at fixed resetting rate, there exists a L\'evy exponent which is optimal regarding predator abundance. These findings are supported by 2D stochastic simulations and show that the combined effects of diffusion and resetting can broadly extend the region of species coexistence in ecosystems facing resources scarcity.


title: Shuttling a single charge across a one-dimensional array of silicon quantum dots

abstract: Significant advances have been made towards fault-tolerant operation of silicon spin qubits, with single qubit fidelities exceeding 99.9%, several demonstrations of two-qubit gates based on exchange coupling, and the achievement of coherent single spin-photon coupling. Coupling arbitrary pairs of spatially separated qubits in a quantum register poses a significant challenge as most qubit systems are constrained to two dimensions (2D) with nearest neighbor connectivity. For spins in silicon, new methods for quantum state transfer should be developed to achieve connectivity beyond nearest-neighbor exchange. Here we demonstrate shuttling of a single electron across a linear array of 9 series-coupled Si quantum dots in ~50 ns via a series of pairwise interdot charge transfers. By progressively constructing more complex pulse sequences we perform parallel shuttling of 2 and 3 electrons at a time through the 9-dot array. These experiments establish that physical transport of single electrons is feasible in large silicon quantum dot arrays.


title: An alternative quality of life ranking on the basis of remittances

abstract: Remittances provide an essential connection between people working abroad and their home countries. This paper considers these transfers as a measure of preferences revealed by the workers, underlying a ranking of countries around the world. In particular, we use the World Bank bilateral remittances data of international salaries and interpersonal transfers between 2010 and 2015 to compare European countries. The suggested least squares method has favourable axiomatic properties. Our ranking reveals a crucial aspect of quality of life and may become an alternative to various composite indices.


title: Continuous Virasoro algebra in open string field theory

abstract: It is known that the Takahashi--Tanimoto identity-based solution in open string field theory derives a kinetic operator which is a sum of twisted Virasoro generators. Applying the infinite circumstance description of conformal field theory, we derive continuous Virasoro algebra associated with the kinetic operator. Mode expansions of Virasoro generators and the modified BRST charge are given.


title: Endowing Robots with Longer-term Autonomy by Recovering from External Disturbances in Manipulation through Grounded Anomaly Classification and Recovery Policies

abstract: Robot manipulation is increasingly poised to interact with humans in co-shared workspaces. Despite increasingly robust manipulation and control algorithms, failure modes continue to exist whenever models do not capture the dynamics of the unstructured environment. To obtain longer-term horizons in robot automation, robots must develop introspection and recovery abilities. We contribute a set of recovery policies to deal with anomalies produced by external disturbances as well as anomaly classification through the use of non-parametric statistics with memoized variational inference with scalable adaptation. A recovery critic stands atop of a tightly-integrated, graph-based online motion-generation and introspection system that resolves a wide range of anomalous situations. Policies, skills, and introspection models are learned incrementally and contextually in a task. Two task-level recovery policies: re-enactment and adaptation resolve accidental and persistent anomalies respectively. The introspection system uses non-parametric priors along with Markov jump linear systems and memoized variational inference with scalable adaptation to learn a model from the data. Extensive real-robot experimentation with various strenuous anomalous conditions is induced and resolved at different phases of a task and in different combinations. The system executes around-the-clock introspection and recovery and even elicited self-recovery when misclassifications occurred.


title: Complex dynamic of the system of nonlinear difference equations in the Hilbert space

abstract: In the given article the necessary and sufficient conditions of the existence of solutions of boundary value problem for the nonlinear system in the Hilbert spaces are obtained. Examples of such systems like a Lotka-Volterra are considered. Bifurcation and branching conditions of solutions are obtained.


title: Vandal: A Scalable Security Analysis Framework for Smart Contracts

abstract: The rise of modern blockchains has facilitated the emergence of smart contracts: autonomous programs that live and run on the blockchain. Smart contracts have seen a rapid climb to prominence, with applications predicted in law, business, commerce, and governance. Smart contracts are commonly written in a high-level language such as Ethereum's Solidity, and translated to compact low-level bytecode for deployment on the blockchain. Once deployed, the bytecode is autonomously executed, usually by a %Turing-complete virtual machine. As with all programs, smart contracts can be highly vulnerable to malicious attacks due to deficient programming methodologies, languages, and toolchains, including buggy compilers. At the same time, smart contracts are also high-value targets, often commanding large amounts of cryptocurrency. Hence, developers and auditors need security frameworks capable of analysing low-level bytecode to detect potential security vulnerabilities. In this paper, we present Vandal: a security analysis framework for Ethereum smart contracts. Vandal consists of an analysis pipeline that converts low-level Ethereum Virtual Machine (EVM) bytecode to semantic logic relations. Users of the framework can express security analyses in a declarative fashion: a security analysis is expressed in a logic specification written in the \souffle language. We conduct a large-scale empirical study for a set of common smart contract security vulnerabilities, and show the effectiveness and efficiency of Vandal. Vandal is both fast and robust, successfully analysing over 95\% of all 141k unique contracts with an average runtime of 4.15 seconds; outperforming the current state of the art tools---Oyente, EthIR, Mythril, and Rattle---under equivalent conditions.


title: SM+Top at the LHC

abstract: These proceedings highlight a selection of recent results by the ATLAS, CMS and LHCb collaborations. The majority of the featured analyses make use of the large set of $\sqrt{s}=13$ TeV proton-proton collision data collected during the successful second run of the LHC. A particular focus is placed on analyses of Standard Model processes involving either hadronic jets or W/Z bosons. Searches and cross-section measurements involving top quark signatures are also given prominence, as are those targeting highly boosted objects such as W/Z and H bosons, and which feature the use of large-radius jets and substructure techniques.


title: Quantifying the CMB Degeneracy Between the Matter Density and Hubble Constant in Current Experiments

abstract: We revisit the degeneracy between the Hubble constant, $H_0$, and matter density, $\Omega_m$, for current cosmic microwave background (CMB) observations within the standard $\Lambda CDM$ model. We show that Planck, Wilkinson Microwave Anisotropy Probe (WMAP), South Pole Telescope (SPT), and Atacama Cosmology Telescope Polarimeter (ACTPol) temperature power spectra produce different values of the exponent $x$ from minimizing the variance of the product $\Omega_mH_0^x$. The distribution of $x$ from the different data sets does not follow the Markov Chain Monte Carlo (MCMC) best-fit values for $H_0$ or $\Omega_m$. Particularly striking is the difference between Planck multipoles $\ell\leq800$ ($x=2.81$), and WMAP ($x = 2.94$), despite very similar best-fit cosmologies. We use a Fisher matrix analysis to show that, in fact, this range in exponent values is exactly as expected in $\Lambda CDM$ given the multipole coverage and power spectrum uncertainties for each experiment. We show that the difference in $x$ from the Planck $\ell \leq 800$ and WMAP data is explained by a turning point in the relationship between $x$ and the maximum effective multipole, at around $\ell=700$. The value of $x$ is determined by several physical effects, and we highlight the significant impact of gravitational lensing for the high-multipole measurements. Despite the spread of $H_0$ values from different CMB experiments, the experiments are consistent with their sampling of the $\Omega_m-H_0$ degeneracy and do not show evidence for the need for new physics or for the presence of significant underestimated systematics according to these tests. The Fisher calculations can be used to predict the $\Omega_m-H_0$ degeneracy of future experiments.


title: C*-algebras of stable rank one and their Cuntz semigroups

abstract: The uncovering of new structure on the Cuntz semigroup of a C*-algebra of stable rank one leads to several applications: We answer affirmatively, for the class of stable rank one C*-algebras, a conjecture by Blackadar and Handelman on dimension functions, the Global Glimm Halving problem, and the problem of realizing functions on the cone of 2-quasitraces as ranks of Cuntz semigroup elements. We also gain new insights into the comparability properties of positive elements in C*-algebras of stable rank one.


title: On The Alignment Problem In Multi-Head Attention-Based Neural Machine Translation

abstract: This work investigates the alignment problem in state-of-the-art multi-head attention models based on the transformer architecture. We demonstrate that alignment extraction in transformer models can be improved by augmenting an additional alignment head to the multi-head source-to-target attention component. This is used to compute sharper attention weights. We describe how to use the alignment head to achieve competitive performance. To study the effect of adding the alignment head, we simulate a dictionary-guided translation task, where the user wants to guide translation using pre-defined dictionary entries. Using the proposed approach, we achieve up to $3.8$ % BLEU improvement when using the dictionary, in comparison to $2.4$ % BLEU in the baseline case. We also propose alignment pruning to speed up decoding in alignment-based neural machine translation (ANMT), which speeds up translation by a factor of $1.8$ without loss in translation performance. We carry out experiments on the shared WMT 2016 English$\to$Romanian news task and the BOLT Chinese$\to$English discussion forum task.


title: Efficient Statistics, in High Dimensions, from Truncated Samples

abstract: We provide an efficient algorithm for the classical problem, going back to Galton, Pearson, and Fisher, of estimating, with arbitrary accuracy the parameters of a multivariate normal distribution from truncated samples. Truncated samples from a $d$-variate normal ${\cal N}(\mathbf{\mu},\mathbf{\Sigma})$ means a samples is only revealed if it falls in some subset $S \subseteq \mathbb{R}^d$; otherwise the samples are hidden and their count in proportion to the revealed samples is also hidden. We show that the mean $\mathbf{\mu}$ and covariance matrix $\mathbf{\Sigma}$ can be estimated with arbitrary accuracy in polynomial-time, as long as we have oracle access to $S$, and $S$ has non-trivial measure under the unknown $d$-variate normal distribution. Additionally we show that without oracle access to $S$, any non-trivial estimation is impossible.

categories: math.ST cs.DS cs.LG stat.CO stat.ML stat.TH


title: Observation of Interactions between Trapped Ions and Ultracold Rydberg Atoms

abstract: We report on the observation of interactions between ultracold Rydberg atoms and ions in a Paul trap. The rate of observed inelastic collisions, which manifest themselves as charge transfer between the Rydberg atoms and ions, exceeds that of Langevin collisions for ground state atoms by about three orders of magnitude. This indicates a huge increase in interaction strength. We study the effect of the vacant Paul trap's electric fields on the Rydberg excitation spectra. To quantitatively describe the exhibited shape of the ion loss spectra, we need to include the ion-induced Stark shift on the Rydberg atoms. Furthermore, we demonstrate Rydberg excitation on a dipole-forbidden transition with the aid of the electric field of a single trapped ion. Our results confirm that interactions between ultracold atoms and trapped ions can be controlled by laser coupling to Rydberg states. Adding dynamic Rydberg dressing may allow for the creation of spin-spin interactions between atoms and ions, and the elimination of collisional heating due to ionic micromotion in atom-ion mixtures.


title: The $\epsilon$-error Capacity of Symmetric PIR with Byzantine Adversaries

abstract: The capacity of symmetric private information retrieval with $K$ messages, $N$ servers (out of which any $T$ may collude), and an omniscient Byzantine adversary (who can corrupt any $B$ answers) is shown to be $1 - \frac{T+2B}{N}$ [1], under the requirement of zero probability of error. In this work, we show that by weakening the adversary slightly (either providing secret low rate channels between the servers and the user, or limiting the observation of the adversary), and allowing vanishing probability of error, the capacity increases to $1 - \frac{T+B}{N}$.


title: DLR equations and rigidity for the Sine-beta process

abstract: We investigate Sine$_\beta$, the universal point process arising as the thermodynamic limit of the microscopic scale behavior in the bulk of one-dimensional log-gases, or $\beta$-ensembles, at inverse temperature $\beta>0$. We adopt a statistical physics perspective, and give a description of Sine$_\beta$ using the Dobrushin-Lanford-Ruelle (DLR) formalism by proving that it satisfies the DLR equations: the restriction of Sine$_\beta$ to a compact set, conditionally to the exterior configuration, reads as a Gibbs measure given by a finite log-gas in a potential generated by the exterior configuration. Moreover, we show that Sine$_\beta$ is number-rigid and tolerant in the sense of Ghosh-Peres, i.e. the number, but not the position, of particles lying inside a compact set is a deterministic function of the exterior configuration. Our proof of the rigidity differs from the usual strategy and is robust enough to include more general long range interactions in arbitrary dimension.


title: The Herschel-PACS North Ecliptic Pole Survey

abstract: A detailed analysis of Herschel-PACS observations at the North Ecliptic Pole is presented. High quality maps, covering an area of 0.44 square degrees, are produced and then used to derive potential candidate source lists. A rigorous quality control pipeline has been used to create final legacy catalogues in the PACS Green 100 micron and Red 160 micron bands, containing 1384 and 630 sources respectively. These catalogues reach to more than twice the depth of the current archival Herschel/PACS Point Source Catalogue, detecting 400 and 270 more sources in the short and long wavelength bands respectively. Galaxy source counts are constructed that extend down to flux densities of 6mJy and 19mJy (50% completeness) in the Green 100 micron and Red 160 micron bands respectively. These source counts are consistent with previously published PACS number counts in other fields across the sky. The source counts are then compared with a galaxy evolution model identifying a population of luminous infrared galaxies as responsible for the bulk of the galaxy evolution over the flux range (5-100mJy) spanned by the observed counts, contributing approximate fractions of 50% and 60% to the cosmic infrared background (CIRB) at 100 microns and 160 microns respectively.


title: On the Relation between Very Weak and Leray-Hopf Solutions to Navier-Stokes Equations

abstract: We prove a general result that implies that very weak solutions to the Cauchy problem for the Navier-Stokes equations must be, in fact, Leray-Hopf solutions if only their initial data are (solenoidal) with finite kinetic energy.


title: Assessing Composition in Sentence Vector Representations

abstract: An important component of achieving language understanding is mastering the composition of sentence meaning, but an immediate challenge to solving this problem is the opacity of sentence vector representations produced by current neural sentence composition models. We present a method to address this challenge, developing tasks that directly target compositional meaning information in sentence vector representations with a high degree of precision and control. To enable the creation of these controlled tasks, we introduce a specialized sentence generation system that produces large, annotated sentence sets meeting specified syntactic, semantic and lexical constraints. We describe the details of the method and generation system, and then present results of experiments applying our method to probe for compositional information in embeddings from a number of existing sentence composition models. We find that the method is able to extract useful information about the differing capacities of these models, and we discuss the implications of our results with respect to these systems' capturing of sentence information. We make available for public use the datasets used for these experiments, as well as the generation system.


title: Time-resolved Absorptance and Melt Pool Dynamics during Intense Laser Irradiation of Metal

abstract: High irradiance lasers incident on metal surfaces create a complex, dynamic process through which the metal can rapidly change from highly reflective to strongly absorbing. Absolute knowledge of this process underpins important industrial laser processes like laser welding, cutting, and metal additive manufacturing. Determining the time-dependent absorptance of the laser light by a material is important, not only for gaining a fundamental understanding of the light-matter interaction, but also for improving process design in manufacturing. Measurements of the dynamic optical absorptance are notoriously difficult due to the rapidly changing nature of the absorbing medium. This data is also of vital importance to process modelers whose complex simulations need reliable, accurate input data; yet, there is very little available. In this work, we measure the time-dependent, reflected light during a 10 ms laser spot weld using an integrating sphere apparatus. From this, we calculate the dynamic absorptance for 1070 nm wavelength light incident on 316L stainless steel. The time resolution of our experiment (< 1 us) allows for the determination of the precise conditions under which several important physical phenomena occur, such as melt and keyhole formation. The average absorptances determined optically were compared to calorimetrically-determined values, and it was found that the calorimeter severely underestimated the absorbed energy due to mass lost during the spot weld. Weld nugget cross-sections are also presented in order to verify our interpretation of the optical results, as well as provide experimental data for weld model validation.


title: Efficient Road Lane Marking Detection with Deep Learning

abstract: Lane mark detection is an important element in the road scene analysis for Advanced Driver Assistant System (ADAS). Limited by the onboard computing power, it is still a challenge to reduce system complexity and maintain high accuracy at the same time. In this paper, we propose a Lane Marking Detector (LMD) using a deep convolutional neural network to extract robust lane marking features. To improve its performance with a target of lower complexity, the dilated convolution is adopted. A shallower and thinner structure is designed to decrease the computational cost. Moreover, we also design post-processing algorithms to construct 3rd-order polynomial models to fit into the curved lanes. Our system shows promising results on the captured road scenes.


title: Toward Automated Early Sepsis Alerting: Identifying Infection Patients from Nursing Notes

abstract: Severe sepsis and septic shock are conditions that affect millions of patients and have close to 50% mortality rate. Early identification of at-risk patients significantly improves outcomes. Electronic surveillance tools have been developed to monitor structured Electronic Medical Records and automatically recognize early signs of sepsis. However, many sepsis risk factors (e.g. symptoms and signs of infection) are often captured only in free text clinical notes. In this study, we developed a method for automatic monitoring of nursing notes for signs and symptoms of infection. We utilized a creative approach to automatically generate an annotated dataset. The dataset was used to create a Machine Learning model that achieved an F1-score ranging from 79 to 96%.


title: Convex functions on graphs: Sum of the eigenvalues

abstract: Let $G$ be a simple graph with the Laplacian matrix $L(G)$ and let $e(G)$ be the number of edges of $G$. A conjecture by Brouwer and a conjecture by Grone and Merris state that the sum of the $k$ largest Laplacian eigenvalues of $G$ is at most $e(G)+\binom{k+1}{2}$ and $\sum_{i=1}^{k}d_{i}^{*}$, respectively, where $(d_{i}^{*})_{i}$ is the conjugate of the degree sequence $(d_i)_{i}$. We generalize these conjectures to weighted graphs and symmetric matrices. Moreover, among other results we show that under some assumptions, concave upper bounds on convex functions of symmetric real matrices are equivalent to concave upper bounds on convex functions of $(0,1)$ matrices.


title: Linking surface morphology, composition, and activity on the nucleus of 67P/Churyumov-Gerasimenko

abstract: The Rosetta space probe accompanied comet 67P/Churyumov-Gerasimenko for more than two years, obtaining an unprecedented amount of unique data of the comet nucleus and inner coma. This work focuses identifying the source regions of faint jets and outbursts and on studying the spectrophotometric properties of some outbursts. We use observations acquired with the OSIRIS/NAC camera during July-October 2015, that is, close to perihelion. More than 200 jets of different intensities were identified directly on the nucleus. Some of the more intense outbursts appear spectrally bluer than the comet dark terrain in the vivible-to-near-infrared region. We attribute this spectral behavior to icy grains mixed with the ejected dust. Some of the jets have an extremely short lifetime. They appear on the cometary surface during the color sequence observations, and vanish in less than some few minutes after reaching their peak. We also report a resolved dust plume observed in May 2016 at a resolution of 55 cm/pixel, which allowed us to estimate an optical depth of $\sim$0.65 and an ejected mass of $\sim$ 2200 kg. We present the results on the location, duration, and colors of active sources on the nucleus of 67P from the medium-resolution (i.e., 6-10 m/pixel) images acquired close to perihelion passage. The observed jets are mainly located close to boundaries between different morphological regions. Jets depart not only from cliffs, but also from smooth and dust-covered areas, from fractures, pits, or cavities that cast shadows and favor the recondensation of volatiles. This study shows that faint jets or outbursts continuously contribute to the cometary activity close to perihelion passage, and that these events are triggered by illumination conditions. Faint jets or outbursts are not associated with a particular terrain type or morphology.


title: Eigenfunction expansions and scattering theory associated with Dirac equation

abstract: The classical Lippmann-Schwinger equation (LS equation) plays an important role in the scattering theory for the non-relativistic case (Schr\"odinger equation). In our previous paper arXiv:1801.05370, we consider the relativistic analogue of the Lippmann-Schwinger equation (RLS equation). We represent the corresponding equation in the integral form. In the present paper, we use the corresponding integral equation and investigate the scattering problems for both stationary and dynamical cases. Our approach allows us to develop an RLS equation theory which is comparable in its completeness with the theory of the LS equation. In particular, we consider the eigenfunction expansion associated with the relativistic Dirac equation. We note that the works on the theory of the LS equation serve as a model for us.


title: Evaluating Semantic Rationality of a Sentence: A Sememe-Word-Matching Neural Network based on HowNet

abstract: Automatic evaluation of semantic rationality is an important yet challenging task, and current automatic techniques cannot well identify whether a sentence is semantically rational. The methods based on the language model do not measure the sentence by rationality but by commonness. The methods based on the similarity with human written sentences will fail if human-written references are not available. In this paper, we propose a novel model called Sememe-Word-Matching Neural Network (SWM-NN) to tackle semantic rationality evaluation by taking advantage of sememe knowledge base HowNet. The advantage is that our model can utilize a proper combination of sememes to represent the fine-grained semantic meanings of a word within the specific contexts. We use the fine-grained semantic representation to help the model learn the semantic dependency among words. To evaluate the effectiveness of the proposed model, we build a large-scale rationality evaluation dataset. Experimental results on this dataset show that the proposed model outperforms the competitive baselines with a 5.4\% improvement in accuracy.


title: Statistical post-processing of hydrological forecasts using Bayesian model averaging

abstract: Accurate and reliable probabilistic forecasts of hydrological quantities like runoff or water level are beneficial to various areas of society. Probabilistic state-of-the-art hydrological ensemble prediction models are usually driven with meteorological ensemble forecasts. Hence, biases and dispersion errors of the meteorological forecasts cascade down to the hydrological predictions and add to the errors of the hydrological models. The systematic parts of these errors can be reduced by applying statistical post-processing. For a sound estimation of predictive uncertainty and an optimal correction of systematic errors, statistical post-processing methods should be tailored to the particular forecast variable at hand. Former studies have shown that it can make sense to treat hydrological quantities as bounded variables. In this paper, a doubly truncated Bayesian model averaging (BMA) method, which allows for flexible post-processing of (multi-model) ensemble forecasts of water level, is introduced. A case study based on water level for a gauge of river Rhine, reveals a good predictive skill of doubly truncated BMA compared both to the raw ensemble and the reference ensemble model output statistics approach.


title: Relativistic formulation of abstract evolution equations

abstract: The relativistic formulation of abstract evolution equations is introduced. The corresponding logarithmic representation is shown to exist without assuming the invertible property of evolution operators. Consequently, by means of the logarithmic representation of operators, nonlinear and discrete properties are shown to be valid to the infinitesimal generators of relativistic abstract evolution equations.


title: Co-spatial UV-optical HST/STIS Spectra of Six Planetary Nebulae: Nebular and Stellar Properties

abstract: This paper represents the conclusion of a project that had two main goals: (1) to investigate to what extent planetary nebulae (PNe) are chemically homogeneous; and (2) to provide physical constraints on the central star properties of each PN. We accomplished the first goal by using HST/STIS spectra to measure the abundances of seven elements in numerous spatial regions within each of six PN (IC 2165, IC 3568, NGC 2440, NGC 5315, NGC 5882, and NGC 7662). The second goal was achieved by computing a photoionization model of each nebula, using our observed emission line strengths as constraints. The major finding of our study is that the nebular abundances of He, C, N, O, Ne, S, and Ar are consistent with a chemically homogeneous picture for each PN. Additionally, we found through experimenting with three different density profiles (constant, Gaussian, and Gaussian with a power-law) that the determination of the central star's temperature and luminosity is only slightly sensitive to the profile choice. Lastly, post-AGB evolutionary model predictions of temperature and luminosity available in the literature were plotted along with the values inferred from the photoionization model analysis to yield initial and final mass estimates of each central star.


title: Suborbifolds and groupoid embeddings

abstract: Given the notion of suborbifold of the second author (based on ideas of Borzellino/Brunsden) and the classical correspondence (up to certain equivalences) between (effective) orbifolds via atlases and effective orbifold groupoids, we analyze which groupoid embeddings correspond to suborbifolds and give classes of suborbifolds naturally leading to groupoid embeddings.


title: A consistent approach for fluid-structure-contact interaction based on a porous flow model for rough surface contact

abstract: Simulation approaches for fluid-structure-contact interaction, especially if requested to be consistent even down to the real contact scenarios, belong to the most challenging and still unsolved problems in computational mechanics. The main challenges are twofold - one is to have a correct physical model for this scenario, and the other one is to have a numerical method that is capable of working and being consistent down to a zero gap. And when analyzing such challenging setups of fluid-structure interaction that include contact of submersed solid components it gets obvious that the influence of surface roughness effects is essential for a physical consistent modeling of such configurations. To capture this system behavior, we present a continuum mechanical model which is able to include the effects of the surface microstructure in a fluid-structure-contact interaction framework. An averaged representation for the mixture of fluid and solid on the rough surfaces, which is of major interest for the macroscopic response of such a system, is introduced therein. The inherent coupling of the macroscopic fluid flow and the flow inside the rough surfaces, the stress exchange of all contacting solid bodies involved, and the interaction between fluid and solid is included in the construction of the model. Although the physical model is not restricted to finite element based methods, a numerical approach with its core based on the Cut Finite Element Method (CutFEM), enabling topological changes of the fluid domain to solve the presented model numerically, is introduced. Such a CutFEM based approach is able to deal with the numerical challenges mentioned above. Different test cases give a perspective towards the potential capabilities of the presented physical model and numerical approach.


title: Local density of Caputo-stationary functions of any order

abstract: We show that any given function can be approximated with arbitrary precision by solutions of linear, time-fractional equations of any prescribed order. This extends a recent result by Claudia Bucur, which was obtained for time-fractional derivatives of order less than one, to the case of any fractional order of differentiation. In addition, our result applies also to the $\psi$-Caputo-stationary case, and it will provide one of the building blocks of a forthcoming paper in which we will establish general approximation results by operators of any order involving anisotropic superpositions of classical, space-fractional and time-fractional diffusions.


title: Bifurcations from an attracting heteroclinic cycle under periodic forcing

abstract: There are few examples of non-autonomous vector fields exhibiting complex dynamics that may be proven analytically. We analyse a family of periodic perturbations of a weakly attracting robust heteroclinic network defined on the two-sphere. We derive the first return map near the heteroclinic cycle for small amplitude of the perturbing term, and we reduce the analysis of the non-autonomous system to that of a two-dimensional map on a cylinder. Interesting dynamical features arise from a discrete-time Bogdanov-Takens bifurcation. When the perturbation strength is small the first return map has an attracting invariant closed curve that is not contractible on the cylinder. Near the centre of frequency locking there are parameter values with bistability: the invariant curve coexists with an attracting fixed point. Increasing the perturbation strength there are periodic solutions that bifurcate into a closed contractible invariant curve and into a region where the dynamics is conjugate to a full shift on two symbols.


title: Evidence for Very Early Migration of the Solar System Planets from the Patroclus-Menoetius binary Jupiter Trojan

abstract: The orbital distribution of trans-Neptunian objects provides strong evidence for the radial migration of Neptune. The outer planets' orbits are thought to have become unstable during the early stages with Jupiter having scattering encounters with a Neptune-class planet. As a consequence, Jupiter jumped inward by a fraction of an au, as required from inner solar system constraints, and obtained its current orbital eccentricity. The timing of these events is often linked to the lunar Late Heavy Bombardment that ended ~700 Myr after the dispersal of the protosolar nebula (t_0). Here we show instead that planetary migration started shortly after t_0. Such early migration is inferred from the survival of the Patroclus-Menoetius binary Jupiter Trojan. The binary formed at t <~ t_0 within a massive planetesimal disk once located beyond Neptune. The longer the binary stayed in the disk, the greater the likelihood that collisions would strip its components from one another. The simulations of its survival indicate that the disk had to have been dispersed by migrating planets within <100 Myr of t_0. This constraint implies that the planetary migration is unrelated to the formation of the youngest lunar basins.


title: On the question "Can one hear the shape of a group?" and Hulanicki type theorem for graphs

abstract: We study the question of whether it is possible to determine a finitely generated group $G$ up to some notion of equivalence from the spectrum $\mathrm{sp}(G)$ of $G$. We show that the answer is "No" in a strong sense. As the first example we present the collection of amenable 4-generated groups $G_\omega$, $\omega\in\{0,1,2\}^\mathbb N$, constructed by the second author in 1984. We show that among them there is a continuum of pairwise non-quasi-isometric groups with $\mathrm{sp}(G_\omega)=[-\tfrac{1}{2},0]\cup[\tfrac{1}{2},1]$. Moreover, for each of these groups $G_\omega$ there is a continuum of covering groups $G$ with the same spectrum. As the second example we construct a continuum of $2$-generated torsion-free step-3 solvable groups with the spectrum $[-1,1]$. In addition, in relation to the above results we prove a version of Hulanicki Theorem about inclusion of spectra for covering graphs.


title: Failure Rate Properties of Parallel Systems

abstract: We study failure rate monotonicity and generalized convex transform stochastic ordering properties of random variables, with a concern on applications. We are especially interested in the effect of a tail weight iteration procedure to define distributions, which is equivalent to the characterization of moments of the residual lifetime at a given instant. For the monotonicity properties, we are mainly concerned with hereditary properties with respect to the iteration procedure providing counter-examples showing either that the hereditary property does not hold or that inverse implications are not true. For the stochastic ordering, we introduce a new criterium, based on the analysis of the sign variation of a suitable function. This criterium is then applied to prove ageing properties of parallel systems formed with components that have exponentially distributed lifetimes.


title: Shift-Inequivalent Decimations of the Sidelnikov-Lempel-Cohn-Eastman Sequences

abstract: We consider the problem of finding maximal sets of shift-inequivalent decimations of Sidelnikov-Lempel-Cohn-Eastman (SLCE) sequences (as well as the equivalent problem of determining the multiplier groups of the almost difference sets associated with these sequences). We derive a numerical necessary condition for a residue to be a multiplier of an SLCE almost difference set. Using our necessary condition, we show that if $p$ is an odd prime and $S$ is an SLCE almost difference set over $\mathbb{F}_p,$ then the multiplier group of $S$ is trivial. Consequently, for each odd prime $p,$ we obtain a family of $\phi(p-1)$ shift-inequivalent balanced periodic sequences (where $\phi$ is the Euler-Totient function) each having period $p-1$ and nearly perfect autocorrelation.


title: On the approximation of L\'evy driven Volterra processes and their integrals

abstract: Volterra processes appear in several applications ranging from turbulence to energy finance where they are used in the modelling of e.g. temperatures and wind and the related financial derivatives. Volterra processes are in general non-semimartingales and a theory of integration with respect to such processes is in fact not standard. In this work we suggest to construct an approximating sequence of L\'evy driven Volterra processes, by perturbation of the kernel function. In this way, one can obtain an approximating sequence of semimartingales. Then we consider fractional integration with respect to Volterra processes as integrators and we study the corresponding approximations of the fractional integrals. We illustrate the approach presenting the specific study of the Gamma-Volterra processes. Examples and illustrations via simulation are given.


title: Gate-recessed E-mode p-channel HFET with high on-current based on GaN/AlN 2D hole gas

abstract: High-performance p-channel transistors are crucial to implementing efficient complementary circuits in wide-bandgap electronics, but progress on such devices has lagged far behind their powerful electron-based counterparts due to the inherent challenges of manipulating holes in wide-gap semiconductors. Building on recent advances in materials growth, this work sets simultaneous records in both on-current (10 mA/mm) and on-off modulation (four orders) for the GaN/AlN wide-bandgap p-FET structure. A compact analytical pFET model is derived, and the results are benchmarked against the various alternatives in the literature, clarifying the heterostructure trade-offs to enable integrated wide-bandgap CMOS for next-generation compact high-power devices.


title: 3D Simulations of Planet Trapping at Disc-Cavity Boundaries

abstract: Inward migration of low-mass planets and embryos of giant planets can be stopped at the disc-cavity boundaries due to co-orbital corotation torque. We performed the first global three-dimensional (3D) simulations of planet migration at the disc-cavity boundary, and have shown that the boundary is a robust trap for low-mass planets and embryos. A protoplanetary disc may have several such trapping regions at various distances from the star, such as at the edge of the stellar magnetosphere, the inner edge of the dead zone, the dust-sublimation radius and the snow lines. Corotation traps located at different distances from a star, and moving outward during the disc dispersal phase, may possibly explain the observed homogeneous distribution of low-mass planets with distance from their host stars.


title: Low-Resolution Fault Localization Using Phasor Measurement Units with Community Detection

abstract: A significant portion of the literature on fault localization assumes (more or less explicitly) that there are sufficient reliable measurements to guarantee that the system is observable. While several heuristics exist to break the observability barrier, they mostly rely on recognizing spatio-temporal patterns, without giving insights on how the performance are tied with the system features and the sensor deployment. In this paper, we try to fill this gap and investigate the limitations and performance limits of fault localization using Phasor Measurement Units (PMUs), in the low measurements regime, i.e., when the system is unobservable with the measurements available. Our main contribution is to show how one can leverage the scarce measurements to localize different type of distribution line faults (three-phase, single-phase to ground, ...) at the level of sub-graph, rather than with the resolution of a line. We show that the resolution we obtain is strongly tied with the graph clustering notion in network science.


title: Development of Novel Cathode Materials based on MWCNT for Energy Storage/Conversion Devices

abstract: Novel compound comprising of Li2FexMn(1-x)SiO4/MWCNT were prepared by using Sol-Gel technique. In this study, improved electrochemical properties are observed by substituting Fe to replace Mn. and further multiwalled carbon nano tubes are used to prepare composite with prepared cathode material in Lithium ion battery and electrode materials in super capacitors. Various characterization techniques like: FESEM, EDX confirms the structure, morphology and texture of the material. Average particle size is found to be of order of 20-30 nm. As particles with smaller size reveal better electrical conductivity/electrochemical properties, which are confirmed by A.C Impedence spectroscopy and cyclic voltammetery results.


title: Bootstrap Methods in Econometrics

abstract: The bootstrap is a method for estimating the distribution of an estimator or test statistic by re-sampling the data or a model estimated from the data. Under conditions that hold in a wide variety of econometric applications, the bootstrap provides approximations to distributions of statistics, coverage probabilities of confidence intervals, and rejection probabilities of hypothesis tests that are more accurate than the approximations of first-order asymptotic distribution theory. The reductions in the differences between true and nominal coverage or rejection probabilities can be very large. In addition, the bootstrap provides a way to carry out inference in certain settings where obtaining analytic distributional approximations is difficult or impossible. This article explains the usefulness and limitations of the bootstrap in contexts of interest in econometrics. The presentation is informal and expository. It provides an intuitive understanding of how the bootstrap works. Mathematical details are available in references that are cited.


title: Reducing Uncertainty of Schema Matching via Crowdsourcing with Accuracy Rates

abstract: Schema matching is a central challenge for data integration systems. Inspired by the popularity and the success of crowdsourcing platforms, we explore the use of crowdsourcing to reduce the uncertainty of schema matching. Since crowdsourcing platforms are most effective for simple questions, we assume that each Correspondence Correctness Question (CCQ) asks the crowd to decide whether a given correspondence should exist in the correct matching. Furthermore, members of a crowd may sometimes return incorrect answers with different probabilities. Accuracy rates of individual crowd workers are probabilities of returning correct answers which can be attributes of CCQs as well as evaluations of individual workers. We prove that uncertainty reduction equals to entropy of answers minus entropy of crowds and show how to obtain lower and upper bounds for it. We propose frameworks and efficient algorithms to dynamically manage the CCQs to maximize the uncertainty reduction within a limited budget of questions. We develop two novel approaches, namely `Single CCQ' and `Multiple CCQ', which adaptively select, publish and manage questions. We verify the value of our solutions with simulation and real implementation.


title: T-statistic for Autoregressive process

abstract: In this paper, we discuss the distribution of the t-statistic under the assumption of normal autoregressive distribution for the underlying discrete time process. This result generalizes the classical result of the traditional t-distribution where the underlying discrete time process follows an uncorrelated normal distribution. However, for AR(1), the underlying process is correlated. All traditional results break down and the resulting t-statistic is a new distribution that converges asymptotically to a normal. We give an explicit formula for this new distribution obtained as the ratio of two dependent distribution (a normal and the distribution of the norm of another independent normal distribution). We also provide a modified statistic that follows a non central t-distribution. Its derivation comes from finding an orthogonal basis for the the initial circulant Toeplitz covariance matrix. Our findings are consistent with the asymptotic distribution for the t-statistic derived for the asympotic case of large number of observations or zero correlation. This exact finding of this distribution has applications in multiple fields and in particular provides a way to derive the exact distribution of the Sharpe ratio under normal AR(1) assumptions.


title: Training and Prediction Data Discrepancies: Challenges of Text Classification with Noisy, Historical Data

abstract: Industry datasets used for text classification are rarely created for that purpose. In most cases, the data and target predictions are a by-product of accumulated historical data, typically fraught with noise, present in both the text-based document, as well as in the targeted labels. In this work, we address the question of how well performance metrics computed on noisy, historical data reflect the performance on the intended future machine learning model input. The results demonstrate the utility of dirty training datasets used to build prediction models for cleaner (and different) prediction inputs.


title: High-frequency cavity optomechanics using bulk acoustic phonons

abstract: To date, micro- and nano-scale optomechanical systems have enabled many proof-of-principle quantum operations through access to high-frequency (GHz) phonon modes that are readily cooled to their thermal ground state. However, minuscule amounts of absorbed light produce excessive heating that can jeopardize robust ground state operation within such microstructures. In contrast, we demonstrate an alternative strategy for accessing high-frequency ($13$ GHz) phonons within macroscopic systems (cm-scale). Counterintuitively, we show that these macroscopic systems, with motional masses that are $>20$ million times larger than those of micro-scale counterparts, offer a complementary path towards robust quantum operations. Utilizing bulk acoustic phonons to mediate resonant coupling between two distinct modes of an optical cavity, we demonstrate the ability to perform beam-splitter and entanglement operations at MHz rates on an array of phonon modes, opening doors to applications ranging from quantum memories and microwave-to-optical conversion to high-power laser oscillators.


title: Rho Meson spectral function in hot asymmetric nuclear matter

abstract: The rho meson spectral function in hot and dense asymmetric nuclear matter (number densities of proton and neutron different) is evaluated in an effective chiral SU(3) model within the mean field approximation (MFA). The dependence of the vector meson masses on density and temperature, their variation with the asymmetry parameter, the form of the spectral function when the p <-> n symmetry is broken are studied. One can observe clear splitting of the longitudinal and the transverse modes among the rho isospin multiplets. The role of a running tensor coupling on the spectral function is also studied.


title: Can LSTM Learn to Capture Agreement? The Case of Basque

abstract: Sequential neural networks models are powerful tools in a variety of Natural Language Processing (NLP) tasks. The sequential nature of these models raises the questions: to what extent can these models implicitly learn hierarchical structures typical to human language, and what kind of grammatical phenomena can they acquire? We focus on the task of agreement prediction in Basque, as a case study for a task that requires implicit understanding of sentence structure and the acquisition of a complex but consistent morphological system. Analyzing experimental results from two syntactic prediction tasks -- verb number prediction and suffix recovery -- we find that sequential models perform worse on agreement prediction in Basque than one might expect on the basis of a previous agreement prediction work in English. Tentative findings based on diagnostic classifiers suggest the network makes use of local heuristics as a proxy for the hierarchical structure of the sentence. We propose the Basque agreement prediction task as challenging benchmark for models that attempt to learn regularities in human language.


title: Hexagonal boron nitride cavity optomechanics

abstract: Hexagonal boron nitride (hBN) is an emerging layered material that plays a key role in a variety of two-dimensional devices, and has potential applications in nanophotonics and nanomechanics. Here, we demonstrate the first cavity optomechanical system incorporating hBN. Nanomechanical resonators consisting of hBN beams with predicted thickness between 8 nm and 51 nm were fabricated using electron beam induced etching and positioned in the optical nearfield of silicon microdisk cavities. A 160 fm/$\sqrt{\text{Hz}}$ sensitivity to the hBN nanobeam motion is demonstrated, allowing observation of thermally driven mechanical resonances with frequencies between 1 and 23 MHz, and mechanical quality factors reaching 1100 at room temperature in high vacuum. In addition, the role of air damping is studied via pressure dependent measurements. Our results constitute an important step towards realizing integrated optomechanical circuits employing hBN.


title: Production of Light Nuclei at Thermal Freezeout in Heavy-Ion Collisions

abstract: We revisit the problem of the production of light atomic nuclei in ultrarelativistic heavy-ion collisions. While their production systematics is well produced by hadro-chemical freezeout at temperatures near the QCD pseudo-critical temperature, their small binding energies of a few MeV per nucleon suggest that they cannot survive as bound states under these conditions. Here, we adopt the concept of effective chemical potentials in the hadronic evolution from chemical to thermal freezeout (at typically $T_{\rm fo}$$\simeq$100\,MeV), which, despite frequent elastic rescatterings in hadronic matter, conserves the effective numbers of particles which are stable under strong interactions, most notably pions, kaons and nucleons. It turns out that the large chemical potentials that build up for antibaryons result in thermal abundances of light nuclei and antinuclei, formed at thermal freezeout, which essentially agree with the ones evaluated at chemical freezeout. Together with their transverse-momentum spectra, which also indicate a kinetic freezeout near $T_{\rm fo}$, this provides a natural explanation for their production systematics without postulating their survival at high temperatures.


title: Stochastic growth rates for populations in random environments with rare migration

abstract: The growth of a population divided among spatial sites, with migration between the sites, is sometimes modelled by a product of random matrices, with each diagonal elements representing the growth rate in a given time period, and off-diagonal elements the migration rate. The randomness of the matrices then represents stochasticity of environmental conditions. We consider the case where the off-diagonal elements are small, representing a situation where migration has been introduced into an otherwise sessile meta-population. We examine the asymptotic behaviour of the long-term growth rate. When there is a single site with the highest growth rate, under the assumption of Gaussian log growth rates at the individual sites (or having Gaussian-like tails) we show that the behavior near zero is like a power of $\epsilon$, and derive upper and lower bounds for the power in terms of the difference in the growth rates and the distance between the sites. In particular, when the difference in mean log growth rate between two sites is sufficiently small, or the variance of the difference between the sites sufficiently large, migration will always be favored by natural selection, in the sense that introducing a small amount of migration will increase the growth rate of the population relative to the zero-migration case.


title: Precise Mirror Alignment and Basic Performance of the RICH Detector of the NA62 Experiment at CERN

abstract: The Ring Imaging Cherenkov detector is crucial for the identification of charged particles in the NA62 experiment at the CERN SPS. The detector commissioning was completed in 2016 by the precise alignment of mirrors using reconstructed tracks. The alignment procedure and measurement of the basic performance are described. Ring radius resolution, ring centre resolution, single hit resolution and mean number of hits per ring are evaluated for positron tracks. The contribution of the residual mirror misalignment to the performance is calculated.


title: Stability of fixed life histories to perturbation by rare diapause

abstract: We follow up on a companion work that considered growth rates of populations growing at different sites, with different randomly varying growth rates at each site, in the limit as migration between sites goes to 0. We extend this work here to the special case where the maximum average log growth rate is achieved at two different sites. The primary motivation is to cover the case where `sites' are understood as age classes for the same individuals. The theory then calculates the effect on growth rate of introducing a rare delay in development, a diapause, into an otherwise fixed-length semelparous life history. Whereas the increase in stochastic growth rate due to rare migrations was found to grow as a power of the migration rate, we show that under quite general conditions that in the diapause model --- or in the migration model with two or more sites having equal individual stochastic growth rates --- the increase in stochastic growth rate due to diapause at rate $\epsilon$ behaves like $(\log \epsilon^{-1})^{-1}$ as $\epsilon\downarrow 0$. In particular, this implies that a small random disruption to the deterministic life history will always be favored by natural selection, in the sense that it will increase the stochastic growth rate relative to the zero-delay deterministic life history.


title: p-Bits for Probabilistic Spin Logic

abstract: We introduce the concept of a probabilistic or p-bit, intermediate between the standard bits of digital electronics and the emerging q-bits of quantum computing. We show that low barrier magnets or LBM's provide a natural physical representation for p-bits and can be built either from perpendicular magnets (PMA) designed to be close to the in-plane transition or from circular in-plane magnets (IMA). Magnetic tunnel junctions (MTJ) built using LBM's as free layers can be combined with standard NMOS transistors to provide three-terminal building blocks for large scale probabilistic circuits that can be designed to perform useful functions. Interestingly, this three-terminal unit looks just like the 1T/MTJ device used in embedded MRAM technology, with only one difference: the use of an LBM for the MTJ free layer. We hope that the concept of p-bits and p-circuits will help open up new application spaces for this emerging technology. However, a p-bit need not involve an MTJ, any fluctuating resistor could be combined with a transistor to implement it, while completely digital implementations using conventional CMOS technology are also possible. The p-bit also provides a conceptual bridge between two active but disjoint fields of research, namely stochastic machine learning and quantum computing. First, there are the applications that are based on the similarity of a p-bit to the binary stochastic neuron (BSN), a well-known concept in machine learning. Three-terminal p-bits could provide an efficient hardware accelerator for the BSN. Second, there are the applications that are based on the p-bit being like a poor man's q-bit. Initial demonstrations based on full SPICE simulations show that several optimization problems including quantum annealing are amenable to p-bit implementations which can be scaled up at room temperature using existing technology.


title: Adaptive Density Matrix Renormalization Group for Disordered Systems

abstract: We propose a simple modification of the density matrix renormalization group (DMRG) method in order to tackle strongly disordered quantum spin chains. Our proposal, akin to the idea of the adaptive time-dependent DMRG, enables us to reach larger system sizes in the strong disorder limit by avoiding most of the metastable configurations which hinder the performance of the standard DMRG method. We benchmark our adaptive method by revisiting the random antiferromagnetic XXZ spin-1/2 chain for which we compute the random-singlet ground-state average spin-spin correlation functions and von Neumann entanglement entropy. We then apply our method to the bilinear-biquadratic random antiferromagnetic spin-1 chain tuned to the antiferromagnet and gapless highly symmetric SU(3) point. We find the new result that the mean correlation function decays algebraically with the same universal exponent $\phi=2$ as the spin-1/2 chain. We then perform numerical and analytical strong-disorder renormalization-group calculations which confirm this finding and generalize it for any highly symmetric SU($N$) random-singlet state.


title: Polygones fondamentaux d'une courbe modulaire

abstract: A few pages in Siegel describe how, starting with a fundamental polygon for a compact Riemann surface, one can construct a symplectic basis of its homology. This note retells that construction, specializing to the case where the surface is associated to a congruence subgroup $\Gamma$ of $SL_2(Z)$. One then obtains by classical procedures a generating system for $\Gamma$ with a minimal number of hyperbolic elements and a presentation of the $Z[\Gamma]$-module $Z[P^1(Q)]_0$.


title: Augmented Lagrangian for treatment of hanging nodes in hexahedral meshes

abstract: The surge of activity in the resolution of fine scale features in the field of earth sciences over the past decade necessitates the development of robust yet simple algorithms that can tackle the various drawbacks of in silico models developed hitherto. One such drawback is that of the restrictive computational cost of finite element method in rendering resolutions to the fine scale features, while at the same time keeping the domain being modeled sufficiently large. We propose the use of the augmented lagrangian method commonly used in the treatment of hanging nodes in contact mechanics in tackling the drawback. An interface is introduced in a typical finite element mesh across which an aggressive coarsening of the finite elements is possible. The method is based upon minimizing an augmented potential energy which factors in the constraint that exists at the hanging nodes on that interface. This allows for a significant reduction in the number of finite elements comprising the mesh with concomitant reduction in the computational expense.


title: Resilient Active Target Tracking with Multiple Robots

abstract: The problem of target tracking with multiple robots consists of actively planning the motion of the robots to track the targets. A major challenge for practical deployments is to make the robots resilient to failures. In particular, robots may be attacked in adversarial scenarios, or their sensors may fail or get occluded. In this paper, we introduce planning algorithms for multi-target tracking that are resilient to such failures. In general, resilient target tracking is computationally hard. Contrary to the case where there are no failures, no scalable approximation algorithms are known for resilient target tracking when the targets are indistinguishable, or unknown in number, or with unknown motion model. In this paper we provide the first such algorithm, that also has the following properties: First, it achieves maximal resiliency, since the algorithm is valid for any number of failures. Second, it is scalable, as our algorithm terminates with the same running time as state-of-the-art algorithms for (non-resilient) target tracking. Third, it provides provable approximation bounds on the tracking performance, since our algorithm guarantees a solution that is guaranteed to be close to the optimal. We quantify our algorithm's approximation performance using a novel notion of curvature for monotone set functions subject to matroid constraints. Finally, we demonstrate the efficacy of our algorithm through MATLAB and Gazebo simulations, and a sensitivity analysis; we focus on scenarios that involve a known number of distinguishable targets.


title: Collisions of cosmic strings with chiral currents

abstract: We present an analytic study of cosmic superconducting chiral string collisions in Minkowski space, applying the kinematic constraints that arise from the relevant generalization of the Nambu-Goto action. In particular, we revisit the solution for chiral superconducting cosmic strings and demonstrate that Y junction production for such strings is possible. We consider the collision of chiral current-carrying straight strings and obtain the region in angle-velocity space that allows the production of string junctions. This study contributes to the understanding of the complex evolution of chiral superconducting string networks.


title: Longitudinal Dynamics of High Baryon Density Matter in High Energy Heavy-Ion Collisions

abstract: In high energy heavy-ion collisions, the two colliding nuclei pass through each other leaving behind an almost baryon free central rapidity region. Most of the baryons are carried away by the nuclear remnants and are located in the so-called fragmentation regions. In previous papers \cite{Li:2016wzh,Li:2018ini}, it has been argued that very high baryon densities, more than ten times larger than the normal nuclear density, can be achieved in these fragmentation regions. In this paper, we assume the high baryon density matter is thermalized at the same time as the baryon-free quark-gluon plasma in the central rapidity region. We perform a 1+1D (temporal + longitudinal) hydrodynamic simulation covering both the fragmentation regions and the central rapidity region with the baryon diffusion equation included. Baryons are found to diffuse from the fragmentation regions to the central rapidity region driven by fugacity gradients. The baryon chemical potential at freezeout monotonically increases from the central rapidity region to the fragmentation regions, suggesting a rapidity scan in high energy heavy-ion collisions might be helpful in searching for the critical point of the QCD phase diagram.


title: Hyperbolic normal stochastic volatility model

abstract: For option pricing models and heavy-tailed distributions, this study proposes a continuous-time stochastic volatility model based on an arithmetic Brownian motion: a one-parameter extension of the normal stochastic alpha-beta-rho (SABR) model. Using two generalized Bougerol's identities in the literature, the study shows that our model has a closed-form Monte-Carlo simulation scheme and that the transition probability for one special case follows Johnson's $S_U$ distribution---a popular heavy-tailed distribution originally proposed without stochastic process. It is argued that the $S_U$ distribution serves as an analytically superior alternative to the normal SABR model because the two distributions are empirically similar.


title: Topological Zero-Line Modes in Folded Bilayer Graphene

abstract: We theoretically investigate a folded bilayer graphene structure as an experimentally realizable platform to produce the one-dimensional topological zero-line modes. We demonstrate that the folded bilayer graphene under an external gate potential enables tunable topologically conducting channels to be formed in the folded region, and that a perpendicular magnetic field can be used to enhance the conducting when external impurities are present. We also show experimentally that our proposed folded bilayer graphene structure can be fabricated in a controllable manner. Our proposed system greatly simplifies the technical difficulty in the original proposal by considering a planar bilayer graphene (i.e., precisely manipulating the alignment between vertical and lateral gates on bilayer graphene), laying out a new strategy in designing practical low-power electronics by utilizing the gate induced topological conducting channels.


title: Bit-Metric Decoding of Non-Binary LDPC Codes with Probabilistic Amplitude Shaping

abstract: A new approach for combining non-binary low-density parity-check (NB-LDPC) codes with higher-order modulation and probabilistic amplitude shaping (PAS) is presented. Instead of symbol-metric decoding (SMD), a bit-metric decoder (BMD) is used so that matching the field order of the non-binary code to the constellation size is not needed, which increases the flexibility of the coding scheme. Information rates, density evolution thresholds and finite-length simulations show that the flexibility comes at no loss of performance if PAS is used.


title: Polarization observables in $e^+e^-$ annihilation to a baryon-antibaryon pair

abstract: Using the helicity formalism of Jacob and Wick we derive spin density matrices of baryon antibaryon pairs produced in $e^+e^-$ annihilation. We consider the production of pairs with spins $1/2+\overline{1/2}$, $1/2+\overline{3/2}$ (+c.c.) and $3/2+\overline{3/2}$. We provide modular expressions to include chains of weak hadronic two-body decays of the produced hyperons. The expressions are suitable for the analysis of high statistics data from $J/\psi$ and $\psi(2S)$ decays at $e^+e^-$ colliders, by fits to the fully differential angular distributions of the measured particles. We illustrate the method by examples, such as the inclusive measurement of the $e^+e^-\to\psi(2S)\to\Omega^-\bar\Omega^+$ process where one decay chain $\Omega^-\to\Lambda K^-$ followed by $\Lambda\to p\pi^-$ is considered. Finally we show that the inclusive angular distributions can be used to test spin assignment of the produced baryons.


title: Small-Gain-Based Boundary Feedback Design for Global Exponential Stabilization of 1-D Semilinear Parabolic PDEs

abstract: This paper presents a novel methodology for the design of boundary feedback stabilizers for 1-D, semilinear, parabolic PDEs. The methodology is based on the use of small-gain arguments and can be applied to parabolic PDEs with nonlinearities that satisfy a linear growth condition. The nonlinearities may contain nonlocal terms. Two different types of boundary feedback stabilizers are constructed: a linear static boundary feedback and a nonlinear dynamic boundary feedback. It is also shown that there are fundamental limitations for feedback design in the parabolic case: arbitrary gain assignment is not possible by means of boundary feedback. An example with a nonlocal nonlinear term illustrates the applicability of the proposed methodology.


title: Solving Imperfect-Information Games via Discounted Regret Minimization

abstract: Counterfactual regret minimization (CFR) is a family of iterative algorithms that are the most popular and, in practice, fastest approach to approximately solving large imperfect-information games. In this paper we introduce novel CFR variants that 1) discount regrets from earlier iterations in various ways (in some cases differently for positive and negative regrets), 2) reweight iterations in various ways to obtain the output strategies, 3) use a non-standard regret minimizer and/or 4) leverage "optimistic regret matching". They lead to dramatically improved performance in many settings. For one, we introduce a variant that outperforms CFR+, the prior state-of-the-art algorithm, in every game tested, including large-scale realistic settings. CFR+ is a formidable benchmark: no other algorithm has been able to outperform it. Finally, we show that, unlike CFR+, many of the important new variants are compatible with modern imperfect-information-game pruning techniques and one is also compatible with sampling in the game tree.


title: Identifying Unmaintained Projects in GitHub

abstract: Background: Open source software has an increasing importance in modern software development. However, there is also a growing concern on the sustainability of such projects, which are usually managed by a small number of developers, frequently working as volunteers. Aims: In this paper, we propose an approach to identify GitHub projects that are not actively maintained. Our goal is to alert users about the risks of using these projects and possibly motivate other developers to assume the maintenance of the projects. Method: We train machine learning models to identify unmaintained or sparsely maintained projects, based on a set of features about project activity (commits, forks, issues, etc). We empirically validate the model with the best performance with the principal developers of 129 GitHub projects. Results: The proposed machine learning approach has a precision of 80%, based on the feedback of real open source developers; and a recall of 96%. We also show that our approach can be used to assess the risks of projects becoming unmaintained. Conclusions: The model proposed in this paper can be used by open source users and developers to identify GitHub projects that are not actively maintained anymore.


title: Statistical post-processing of ensemble forecasts of temperature in Santiago de Chile

abstract: Currently all major meteorological centres generate ensemble forecasts using their operational ensemble prediction systems; however, it is a general problem that the spread of the ensemble is too small, resulting in underdispersive forecasts, leading to a lack of calibration. In order to correct this problem, different statistical calibration techniques have been developed in the last two decades. In the present work different post-processing techniques are tested for calibrating 9 member ensemble forecast of temperature for Santiago de Chile, obtained by the Weather Research and Forecasting (WRF) model using different planetary boundary layer and land surface model parametrization. In particular, the ensemble model output statistics (EMOS) and Bayesian model averaging techniques are implemented and since the observations are characterized by large altitude differences, the estimation of model parameters is adapted to the actual conditions at hand. Compared to the raw ensemble all tested post-processing approaches significantly improve the calibration of probabilistic and the accuracy of point forecasts. The EMOS method using parameter estimation based on expert clustering of stations (according to their altitudes) shows the best forecast skill.


title: Status of kinematic cosmology with SN Ia: JLA, Pantheon and future constraints with LSST

abstract: In this work we derive state-of-the-art model-independent constraints on cosmology from SN Ia by measuring purely kinematical $\left( q,j \right)$ model parameters (where $q$ and $j$ are related to the first and second derivative of the Hubble parameter). For the JLA compilation of SN Ia an agreement within 2$\sigma$ of $\Lambda$CDM expectations is found, where best-fitting kinematical parameters are $q=-0.66 \pm 0.11$ and $j=0.41 ^{+0.32}_{-0.33}$. With $q=-0.73 \pm 0.13$ and $j=0.76 ^{+0.41}_{-0.43}$ the Pantheon sample shows even better agreement with the $\Lambda$CDM expectation of $j=1$ than JLA, hinting at less systematics and/or a higher number of SN Ia alleviating tensions. For the future we predict the precision achievable with SN Ia from the LSST deep survey as $\Delta q \sim 0.05$ and $\Delta j \sim 0.1$, which is systematics-limited and could lead to detect both deviations from $\Lambda$CDM (in $j$) or current expansion rates measured (in $q$). In comparison, for standard cosmological parameters we get $\Delta \Omega_\mathrm{m}=0.01$ and $\Delta w=0.07$ for LSST. Given the high number of SN Ia expected for LSST, kinematical parameters in up to 500 sky regions, each with their own individual Hubble diagram, can be constrained. For each region an individual precision at the 10s of percent level is within reach at current systematics-levels, comparable to present-day full-sky surveys. This will determine anisotropy in cosmic expansion, or the dark energy dipole, at the 10s of percent level at 10s of degree scales.


title: Revealing the role of nitrogen on hydride nucleation and stability in pure niobium using first principles calculations

abstract: Niobium provides the basis for all superconducting radio frequency (SRF) cavities in use, however, hydrogen is readily absorbed by niobium during cavity fabrication and subsequent niobium hydride precipitation when cooled to cryogenic temperatures degrades its superconducting properties. In the last few years the addition of dopant elements such as nitrogen has been experimentally shown to significantly improve the quality factor of niobium SRF cavities. One of the contributors to Q degradation can be presence of hydrides, however, the underlying mechanisms associated with the kinetics of hydrogen and the thermodynamic stability of hydride precipitates in the presence of dopants are not well known. Using first principles calculations, the effects of nitrogen on the energetic preference for hydrogen to occupy interstitial sites and hydride stability are examined. In particular, the presence of nitrogen significantly increased the energy barrier for hydrogen diffusion from one tetrahedral site to another interstitial site. Furthermore, the beta niobium hydride precipitate became energetically unstable upon addition of nitrogen in the niobium matrix. Through electronic density of states and valence charge transfer calculations, nitrogen showed a strong tendency to accumulate charge around itself, thereby decreasing the strength of covalent bonds between niobium and hydrogen atoms leading to a very unstable state for hydrogen and hydrides. These calculations show that the presence of nitrogen during processing plays a critical role in controlling hydride precipitation and subsequent SRF properties.


title: Spin structures and the divisibility of Euler classes

abstract: In this short article we give a geometric meaning of the divisibility of $KO$-theoretical Euler classes for given two spin modules. We are motivated by Furuta's 10/8-inequality for a closed spin $4$-manifold. The role of the reducibles is clarified in the monopole equations of Seiberg-Witten theory, as done by Donaldson and Taubes in Yang-Mills theory.


title: Dynamical invariants of mapping torus categories

abstract: This paper describes constructions in homological algebra that are part of a strategy whose goal is to understand and classify symplectic mapping tori. More precisely, given a dg category and an auto-equivalence, satisfying certain assumptions, we introduce a category $M_\phi$-called the mapping torus category that describes the wrapped Fukaya category of an open symplectic mapping torus. Then we define a family of bimodules on a natural deformation of $M_\phi$, uniquely characterize it and using this, we distinguish $M_\phi$ from the mapping torus category of the identity. The proof of the equivalence of $M_\phi$ with wrapped Fukaya category is proven in a different paper (arXiv:1907.01156).


title: AWE: Asymmetric Word Embedding for Textual Entailment

abstract: Textual entailment is a fundamental task in natural language processing. It refers to the directional relation between text fragments such that the "premise" can infer "hypothesis". In recent years deep learning methods have achieved great success in this task. Many of them have considered the inter-sentence word-word interactions between the premise-hypothesis pairs, however, few of them considered the "asymmetry" of these interactions. Different from paraphrase identification or sentence similarity evaluation, textual entailment is essentially determining a directional (asymmetric) relation between the premise and the hypothesis. In this paper, we propose a simple but effective way to enhance existing textual entailment algorithms by using asymmetric word embeddings. Experimental results on SciTail and SNLI datasets show that the learned asymmetric word embeddings could significantly improve the word-word interaction based textual entailment models. It is noteworthy that the proposed AWE-DeIsTe model can get 2.1% accuracy improvement over prior state-of-the-art on SciTail.


title: Accurate Tracking of Aggressive Quadrotor Trajectories using Incremental Nonlinear Dynamic Inversion and Differential Flatness

abstract: Autonomous unmanned aerial vehicles (UAVs) that can execute aggressive (i.e., high-speed and high-acceleration) maneuvers have attracted significant attention in the past few years. This paper focuses on accurate tracking of aggressive quadcopter trajectories. We propose a novel control law for tracking of position and yaw angle and their derivatives of up to fourth order, specifically, velocity, acceleration, jerk, and snap along with yaw rate and yaw acceleration. Jerk and snap are tracked using feedforward inputs for angular rate and angular acceleration based on the differential flatness of the quadcopter dynamics. Snap tracking requires direct control of body torque, which we achieve using closed-loop motor speed control based on measurements from optical encoders attached to the motors. The controller utilizes incremental nonlinear dynamic inversion (INDI) for robust tracking of linear and angular accelerations despite external disturbances, such as aerodynamic drag forces. Hence, prior modeling of aerodynamic effects is not required. We rigorously analyze the proposed control law through response analysis, and we demonstrate it in experiments. The controller enables a quadcopter UAV to track complex 3D trajectories, reaching speeds up to 12.9 m/s and accelerations up to 2.1g, while keeping the root-mean-square tracking error down to 6.6 cm, in a flight volume that is roughly 18 m by 7 m and 3 m tall. We also demonstrate the robustness of the controller by attaching a drag plate to the UAV in flight tests and by pulling on the UAV with a rope during hover.


title: On the structure of Ricci shrinkers

abstract: We develop a structure theory for non-collapsed Ricci shrinkers without any curvature condition. As applications, we obtain some curvature estimates of the Ricci shrinkers depending only on the non-collapsing constant.


title: How frequent are close supermassive binary black holes in powerful jet sources?

abstract: Supermassive black hole binaries may be detectable by an upcoming suite of gravitational wave experiments. Their binary nature can also be revealed by radio jets via a short-period precession driven by the orbital motion as well as the geodetic precession at typically longer periods. We have investigated Karl G. Jansky Very Large Array (VLA) and MERLIN radio maps of powerful jet sources for morphological evidence of geodetic precession. For perhaps the best studied source, Cygnus A, we find strong evidence for geodetic precession. Projection effects can enhance precession features, for which we find indications in strongly projected sources. For a complete sample of 33 3CR radio sources we find strong evidence for jet precession in 24 cases (73 per cent). The morphology of the radio maps suggests that the precession periods are of the order of 10^6 - 10^7 yr. We consider different explanations for the morphological features and conclude that geodetic precession is the best explanation. The frequently observed gradual jet angle changes in samples of powerful blazars can be explained by orbital motion. Both observations can be explained simultaneously by postulating that a high fraction of powerful radio sources have sub-parsec supermassive black hole binaries. We consider complementary evidence and discuss if any jetted supermassive black hole with some indication of precession could be detected as individual gravitational wave source in the near future. This appears unlikely, with the possible exception of M87.


title: On Rogers-Shephard type inequalities for general measures

abstract: In this paper we prove a series of Rogers-Shephard type inequalities for convex bodies when dealing with measures on the Euclidean space with either radially decreasing densities, or quasi-concave densities attaining their maximum at the origin. Functional versions of classical Rogers-Shephard inequalities are also derived as consequences of our approach.


title: Maximally Consistent Sampling and the Jaccard Index of Probability Distributions

abstract: We introduce simple, efficient algorithms for computing a MinHash of a probability distribution, suitable for both sparse and dense data, with equivalent running times to the state of the art for both cases. The collision probability of these algorithms is a new measure of the similarity of positive vectors which we investigate in detail. We describe the sense in which this collision probability is optimal for any Locality Sensitive Hash based on sampling. We argue that this similarity measure is more useful for probability distributions than the similarity pursued by other algorithms for weighted MinHash, and is the natural generalization of the Jaccard index.


title: Measurement of the ratio between g-factors of the ground states of $^{87}$Rb and $^{85}$Rb

abstract: The ratio between the Land\'e g-factors of the $^{87}$Rb $F=2$ and $^{85}$Rb $F=3$ ground state hyperfine levels is experimentally measured to be $g_F(87)/g_F(85) = 1.4988586(1)$, consistent with previous measurements. The g-factor ratio is determined by comparing the Larmor frequencies of overlapping ensembles of $^{87}$Rb and $^{85}$Rb atoms contained within an evacuated, antirelaxation-coated vapor cell. The atomic spins are polarized via synchronous optical pumping and the Larmor frequencies are measured by off-resonant probing using optical rotation of linearly polarized light. The accuracy of this measurement of $g_F(87)/g_F(85)$ exceeds that of previous measurements by a factor of $\approx 50$ and is sensitive to effects related to quantum electrodynamics.


title: Ultrafast intermolecular energy transfer from vibrations to electronic motion

abstract: It is discussed how vibrationally excited molecules in their electronic ground state can transfer their vibrational energy to the electronic motion of neighbors and ionize them. Based on explicit examples of vibrationally excited molecules and anionic neighbors, it is demonstrated that the transfer can be extremely efficient at intermolecular distances much beyond distances at which the molecule and its neighbor can form a bond.


title: Observation of many-body localization in a one-dimensional system with single-particle mobility edge

abstract: We experimentally study many-body localization (MBL) with ultracold atoms in a weak one-dimensional quasiperiodic potential, which in the noninteracting limit exhibits an intermediate phase that is characterized by a mobility edge. We measure the time evolution of an initial charge density wave after a quench and analyze the corresponding relaxation exponents. We find clear signatures of MBL, when the corresponding noninteracting model is deep in the localized phase. We also critically compare and contrast our results with those from a tight-binding Aubry-Andr\'{e} model, which does not exhibit a single-particle intermediate phase, in order to identify signatures of a potential many-body intermediate phase.

categories: cond-mat.quant-gas cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: On Hawking mass and Bartnik mass of CMC surfaces

abstract: Given a constant mean curvature surface that bounds a compact manifold with nonnegative scalar curvature, we obtain intrinsic conditions on the surface that guarantee the positivity of its Hawking mass. We also obtain estimates of the Bartnik mass of such surfaces, without assumptions on the integral of the squared mean curvature. If the ambient manifold has negative scalar curvature, our method also applies and yields estimates on the hyperbolic Bartnik mass of these surfaces.


title: The Effect of Inhomogeneous Surface Disorder on the Superheating Field of Superconducting RF Cavities

abstract: Recent advances in surface treatments of Niobium superconducting radio frequency (SRF) cavities have led to substantially increased Q-factors and maximum surface field. This poses theoretical challenges to identify the mechanisms responsible for such performance enhancements. We report theoretical results for the effects of inhomogeneous surface disorder on the superheating field --- the surface magnetic field above which the Meissner state is globally unstable. We find that inhomogeneous disorder, such as that introduced by infusion of Nitrogen into the surface layers of Niobium SRF cavities, can increase the superheating field above the maximum for superconductors in the clean limit or with homogeneously distributed disorder. Homogeneous disorder increases the penetration of screening current, but also suppresses the maximum supercurrent. Inhomogeneous disorder in the form of an impurity diffusion layer biases this trade-off by increasing the penetration of the screening currents into cleaner regions with larger critical currents, thus limiting the suppression of the screening current to a thin dirty region close to the surface. Our results suggest that the impurity diffusion layers play a role in enhancing the maximum accelerating gradient of Nitrogen treated Niobium SRF cavities.


title: Many-body quantum dynamics by the reduced density matrix based on the time-dependent density functional theory

abstract: We evaluate the density matrix of an arbitrary quantum mechanical system in terms of the quantities pertinent to the solution of the time-dependent density functional theory (TDDFT) problem. Our theory utilizes the adiabatic connection perturbation method of G\"{o}rling and Levy, from which the expansion of the many-body density matrix in powers of the coupling constant $\lambda$ naturally arises. We then find the reduced density matrix $\rho_\lambda({\bf r},{\bf r}',t)$, which, by construction, has the $\lambda$-independent diagonal elements $\rho_\lambda({\bf r},{\bf r},t)=n({\bf r},t)$, $n({\bf r},t)$ being the particle density. The off-diagonal elements of $\rho_\lambda({\bf r},{\bf r}',t)$ contribute importantly to the processes, which cannot be treated via the density, directly or by the use of the known TDDFT functionals. Of those, we consider the momentum-resolved photoemission, doing this to the first order in $\lambda$, i.e., on the level of the exact exchange theory. In illustrative calculations of photoemission from the quasi-2D electron gas and isolated atoms, we find quantitatively strong and conceptually far-reaching differences with the independent-particle Fermi's golden rule formula.


title: Neural-Augmented Static Analysis of Android Communication

abstract: We address the problem of discovering communication links between applications in the popular Android mobile operating system, an important problem for security and privacy in Android. Any scalable static analysis in this complex setting is bound to produce an excessive amount of false-positives, rendering it impractical. To improve precision, we propose to augment static analysis with a trained neural-network model that estimates the probability that a communication link truly exists. We describe a neural-network architecture that encodes abstractions of communicating objects in two applications and estimates the probability with which a link indeed exists. At the heart of our architecture are type-directed encoders (TDE), a general framework for elegantly constructing encoders of a compound data type by recursively composing encoders for its constituent types. We evaluate our approach on a large corpus of Android applications, and demonstrate that it achieves very high accuracy. Further, we conduct thorough interpretability studies to understand the internals of the learned neural networks.


title: Cubic hastatic order in the two-channel Kondo-Heisenberg model

abstract: Materials with non-Kramers doublet ground states naturally manifest the two-channel Kondo effect, as the valence fluctuations are from a non-Kramers doublet ground state to an excited Kramers doublet. Here, the development of a heavy Fermi liquid requires a channel symmetry breaking spinorial hybridization that breaks both single and double time-reversal symmetry, and is known as hastatic order. Motivated by cubic Pr-based materials with $\Gamma_3$ non-Kramers ground state doublets, this paper provides a survey of cubic hastatic order using the simple two-channel Kondo-Heisenberg model. Hastatic order necessarily breaks time-reversal symmetry, but the spatial arrangement of the hybridization spinor can be either uniform (ferrohastatic) or break additional lattice symmetries (antiferrohastatic). The experimental signatures of both orders are presented in detail, and include tiny conduction electron magnetic moments. Interestingly, there can be several distinct antiferrohastatic orders with the same moment pattern that break different lattice symmetries, revealing a potential experimental route to detect the spinorial nature of the hybridization. We employ an SU(N) fermionic mean-field treatment on square and simple cubic lattices, and examine how the nature and stability of hastatic order varies as we vary the Heisenberg coupling, conduction electron density, band degeneracies, and apply both channel and spin symmetry breaking fields. We find that both ferrohastatic and several types of antiferrohastatic orders are stabilized in different regions of the mean-field phase diagram, and evolve differently in strain and magnetic fields.


title: Physical properties and CNO abundances for high-mass stars in four main-sequence detached eclipsing binaries: V478 Cyg, AH Cep, V453 Cyg and V578 Mon

abstract: A prerequisite for probing theortical evolutionary models for high-mass stars is the determination of stellar physical properties with a high accuracy. We do this for three binary systems containing components with masses above 10 Msun: V478 Cyg, AH Cep and V453 Cyg. New high-resolution and high-S/N echelle spectra were secured and analysed using spectral disentangling, yielding improved orbital elements and the individual spectra for the component stars. In conjuction with a re-analysis of archival light curves, the stellar masses and radii were measured to accuracies of 1.5-2.5% and 1.0-1.9%, respectively. Detailed spectroscopic analysis then yielded atmospheric parameters and abundances for C, N, O, Mg and Si. Abundances were also deter- mined for V578 Mon. These results allowed a detailed comparison to the predictions of stellar evolutionary models. No star in our sample fits its position on the evolutionary track for its dynamical mass, leaving mass discrepancy (or alternatively overluminosity) an open problem in theoretical modelling. Moreover, the CNO abundances cluster around the initial values with mean values log(N/C) = -0.56 +/- 0.06 and log(N/O) = -1.01 +/- 0.06. No trend in the CNO abundances for single OB stars are found for the eight high-mass stars analysed here, as well in an extended sample including literature results. This opens an important question on the role of binarity in terms of tides on damping internal mixing in stars residing in binary systems.