title: Learning to Represent Programs with Graphs

abstract: Learning tasks on source code (i.e., formal languages) have been considered recently, but most work has tried to transfer natural language methods and does not capitalize on the unique opportunities offered by code's known syntax. For example, long-range dependencies induced by using the same variable or function in distant locations are often not considered. We propose to use graphs to represent both the syntactic and semantic structure of code and use graph-based deep learning methods to learn to reason over program structures. In this work, we present how to construct graphs from source code and how to scale Gated Graph Neural Networks training to such large graphs. We evaluate our method on two tasks: VarNaming, in which a network attempts to predict the name of a variable given its usage, and VarMisuse, in which the network learns to reason about selecting the correct variable that should be used at a given program location. Our comparison to methods that use less structured program representations shows the advantages of modeling known structure, and suggests that our models learn to infer meaningful names and to solve the VarMisuse task in many cases. Additionally, our testing showed that VarMisuse identifies a number of bugs in mature open-source projects.


title: A nucleobase-centered coarse-grained representation for structure prediction of RNA motifs

abstract: We introduce the SPlit-and-conQueR (SPQR) model, a coarse-grained representation of RNA designed for structure prediction and refinement. In our approach, the representation of a nucleotide consists of a point particle for the phosphate group and an anisotropic particle for the nucleoside. The interactions are, in principle, knowledge-based potentials inspired by the ESCORE function, a base-centered scoring function. However, a special treatment is given to base-pairing interactions and certain geometrical conformations which are lost in a raw knowledge-base model. This results in a representation able to describe planar canonical and non-canonical base pairs and base-phosphate interactions and to distinguish sugar puckers and glycosidic torsion conformations. The model is applied to the folding of several structures, including duplexes with internal loops of non-canonical base pairs, tetraloops, junctions and a pseudoknot. For the majority of these systems, experimental structures are correctly predicted at the level of individual contacts. We also propose a method for efficiently reintroducing atomistic detail from the coarse-grained representation.


title: The Fekete-Szego Coefficient Inequality For a New Class of m-Fold Symmetric Bi-Univalent Functions Satisfying Subordination Condition

abstract: In this paper, we investigate a new subclass of analytic and m-fold symmetric bi-univalent functions satisfying subordination in the open unit disk U. We consider the Fekete-Szeg\"o inequalities for this class. Also, we establish estimates for the coefficients for this subclas and several related classes are also considered and connections to earlier known results are made.


title: K-theory of rational quadratic forms

abstract: We compute the genus of a rational quadratic form in terms of the K-theory of a C*-algebra attached to the adelic orthogonal group of the form. As a corollary, one gets a higher composition law for the rational quadratic forms. As an illustration, we consider the Gauss composition of the binary quadratic forms.


title: Non-unital polygraphs form a presheaf category

abstract: We prove, as claimed by A.Carboni and P.T.Johnstone, that the category of non-unital polygraphs, i.e. polygraphs where the source and target of each generator are not identity arrows, is a presheaf category. More generally we develop a new criterion for proving that certain classes of polygraphs are presheaf categories. This criterion also applies to the larger class of polygraphs where only the source of each generator is not an identity, and to the class of "many-to-one polygraphs", producing a new, more direct, proof that this is a presheaf category. The criterion itself seems to be extendable to more general type of operads over possibly different combinatorics, but we leave this question for future work. In an appendix we explain why this result is relevant if one wants to fix the arguments of a famous paper of M.Kapranov and V.Voevodsky and make them into a proof of C.Simpson's semi-strictification conjecture. We present a program aiming at proving this conjecture, which will be continued in subsequent papers.


title: Stochastic Routing and Scheduling Policies for Energy Harvesting Communication Networks

abstract: In this paper, we study the joint routing-scheduling problem in energy harvesting communication networks. Our policies, which are based on stochastic subgradient methods on the dual domain, act as an energy harvesting variant of the stochastic family of backpresure algorithms. Specifically, we propose two policies: (i) the Stochastic Backpressure with Energy Harvesting (SBP-EH), in which a node's routing-scheduling decisions are determined by the difference between the Lagrange multipliers associated to their queue stability constraints and their neighbors'; and (ii) the Stochastic Soft Backpressure with Energy Harvesting (SSBP-EH), an improved algorithm where the routing-scheduling decision is of a probabilistic nature. For both policies, we show that given sustainable data and energy arrival rates, the stability of the data queues over all network nodes is guaranteed. Numerical results corroborate the stability guarantees and illustrate the minimal gap in performance that our policies offer with respect to classical ones which work with an unlimited energy supply.


title: Dirac operators with Lorentz scalar shell interactions

abstract: This paper deals with the massive three-dimensional Dirac operator coupled with a Lorentz scalar shell interaction supported on a compact smooth surface. The rigorous definition of the operator involves suitable transmission conditions along the surface. After showing the self-adjointness of the resulting operator we switch to the investigation of its spectral properties, in particular, to the existence and non-existence of eigenvalues. In the case of an attractive coupling, we study the eigenvalue asymptotics as the mass becomes large and show that the behavior of the individual eigenvalues and their total number are governed by an effective Schr\"odinger operator on the boundary with an external Yang-Mills potential and a curvature-induced potential.


title: Analysis of Driver's Head Tilt Using a Mathematical Model of Motion Sickness

abstract: It is known that car drivers tilt their head toward the center of a curve. In addition, drivers are generally less susceptible to carsickness than are the passengers. This paper uses a mathematical model to investigate the effect of the head-tilt strategy on motion sickness. It is shown that tilting the head in the centripetal direction reduces the estimated motion sickness incidence (MSI), defined as the percentage of subjects who vomited. In addition, the head movements of both drivers and passengers were measured in a real car. It is also shown that the estimated MSI of the drivers is smaller than that of the passengers. Experimental results presented in previous studies demonstrated that the severity of motion sickness was reduced when passengers imitated the head tilt of the driver. These results strongly suggest that the driver's head tilt reduces motion sickness, and this can be understood as a subjective vertical conflict.


title: Geometric k-nearest neighbor estimation of entropy and mutual information

abstract: Nonparametric estimation of mutual information is used in a wide range of scientific problems to quantify dependence between variables. The k-nearest neighbor (knn) methods are consistent, and therefore expected to work well for large sample size. These methods use geometrically regular local volume elements. This practice allows maximum localization of the volume elements, but can also induce a bias due to a poor description of the local geometry of the underlying probability measure. We introduce a new class of knn estimators that we call geometric knn estimators (g-knn), which use more complex local volume elements to better model the local geometry of the probability measures. As an example of this class of estimators, we develop a g-knn estimator of entropy and mutual information based on elliptical volume elements, capturing the local stretching and compression common to a wide range of dynamical systems attractors. A series of numerical examples in which the thickness of the underlying distribution and the sample sizes are varied suggest that local geometry is a source of problems for knn methods such as the Kraskov-St\"{o}gbauer-Grassberger (KSG) estimator when local geometric effects cannot be removed by global preprocessing of the data. The g-knn method performs well despite the manipulation of the local geometry. In addition, the examples suggest that the g-knn estimators can be of particular relevance to applications in which the system is large, but data size is limited.

categories: math.ST cs.IT math.DS math.IT stat.ME stat.TH


title: Constraints on the Sommerfeld-enhanced dark matter annihilation from the gamma rays of subhalos and dwarf galaxies

abstract: The substructures of the Galactic dark matter halo such as dark matter subhalos and dwarf galaxies have very low velocity dispersions, which makes them useful in constraining the scenario of Sommerfeld-enhanced dark matter annihilation. We calculate the velocity distribution of dark matter particles in dark matter halo substructures using the Eddington's formula with NFW density profile. We parametrize the effect of Sommerfeld enhancement of s-wave dark matter annihilation on the gamma-ray flux as the Sommerfeld-enhanced J-factors, and explicitly calculate their values for 15 known dwarf spheroidal galaxies. Using the Fermi-LAT 3FGL data on the unassociated point-sources and the N-body simulation results on the dark matter subhalo distribution, we derive upper limits on the dark matter annihilation cross sections with Sommerfeld enhacement. Similar upper limits are derived from the Ferm-LAT gamma-ray data on the dwarf spheroidal galaxies. We find that in a wide region of parameter space, the constraints can be a few orders of magnitude more stringent than that in the case without the Sommerfeld enhancement. For dark matter annihilation dominantly into $e^+e^-$, $\mu^+\mu^-$, $\tau^{+}\tau^{-}$ and $b\bar b$, those constraints can exclude thermal relic dark matter for the dark matter mass below about 1 TeV.


title: VEGAS-SSS II: Comparing the globular cluster systems in NGC3115 and NGC1399 using VEGAS and FDS survey data

abstract: We analyze the globular cluster (GC) systems in two very different galaxies, N3115 and N1399. With the papers of this series, we aim at highlighting common and different properties in the GC systems in galaxies covering a wide range of parameter space. We compare the GCs in N3115 and N1399 as derived from the analysis of u, g, and i band images taken with the VST telescope as part of the VEGAS and FDS surveys. We selected GC candidates using as reference the morpho-photometric and color properties of confirmed GCs. The surface density of GCs in N3115 reveal a morphology similar to the profile of field stars; the same is true when blue and red GCs are taken separately. The GC maps for N1399 are richer in structure and confirm the existence of an intracluster GC component. We confirm the presence of a spatial offset in the N1399 GC centroid and find that the centroid of the GCs for N3115 coincides well with the galaxy center. Both GC systems show unambiguous color bimodality in g-i and u-i. The azimuthal average of the radial density profiles in both galaxies reveals a larger spatial extent for the total GCs population with respect to the galaxy surface brightness profile. As for the specific frequency of GCs, Sn, we find it is a factor of two higher in N1399 than for N3115. By inspecting the radial behavior of the specific frequency, Sn(<r), for the total, blue, and red GCs, we find notable similarities between the trends for red GCs in the two targets. In spite of extremely different host environments, the red GCs in both cases appear closely linked to the light distribution of field stars. Blue GCs extend to larger galactocentric scales than red GCs, marking a significant difference between the two galaxies: the blue/red GCs and field stellar components of N3115 appear well thermalized with each other and the blue GCs in N1399 appear to fade into an unrelaxed intracluster GC population.


title: Weighted PBW degenerations and tropical flag varieties

abstract: We study algebraic, combinatorial and geometric aspects of weighted PBW-type degenerations of (partial) flag varieties in type $A$. These degenerations are labeled by degree functions lying in an explicitly defined polyhedral cone, which can be identified with a maximal cone in the tropical flag variety. Varying the degree function in the cone, we recover, for example, the classical flag variety, its abelian PBW degeneration, some of its linear degenerations and a particular toric degeneration.


title: Search for top squarks and dark matter particles in opposite-charge dilepton final states at $\sqrt{s}=$ 13 TeV

abstract: A search for new physics is presented in final states with two oppositely charged leptons (electrons or muons), jets identified as originating from b quarks, and missing transverse momentum ($p_\mathrm{T}^\text{miss}$). The search uses proton-proton collision data at $\sqrt{s}=$ 13 TeV amounting to 35.9 fb$^{-1}$ of integrated luminosity collected using the CMS detector in 2016. Hypothetical signal events are efficiently separated from the dominant $\mathrm{t}\overline{\mathrm{t}}$ background with requirements on $p_\mathrm{T}^\text{miss}$ and transverse mass variables. No significant deviation is observed from the expected background. Exclusion limits are set in the context of simplified supersymmetric models with pair-produced top squarks. For top squarks, decaying exclusively to a top quark and a neutralino, exclusion limits are placed at 95% confidence level on the mass of the lightest top squark up to 800 GeV and on the lightest neutralino up to 360 GeV. These results, combined with searches in the single-lepton and all-jet final states, raise the exclusion limits up to 1050 GeV for the lightest top squark and up to 500 GeV for the lightest neutralino. For top squarks undergoing a cascade decay through charginos and sleptons, the mass limits reach up to 1300 GeV for top squarks and up to 800 GeV for the lightest neutralino. The results are also interpreted in a simplified model with a dark matter (DM) particle coupled to the top quark through a scalar or pseudoscalar mediator. For light DM, mediator masses up to 100 (50) GeV are excluded for scalar (pseudoscalar) mediators. The result for the scalar mediator achieves some of the most stringent limits to date in this model.


title: Network-size independent covering number bounds for deep networks

abstract: We give a covering number bound for deep learning networks that is independent of the size of the network. The key for the simple analysis is that for linear classifiers, rotating the data doesn't affect the covering number. Thus, we can ignore the rotation part of each layer's linear transformation, and get the covering number bound by concentrating on the scaling part.


title: High-fidelity quantum gates in Si/SiGe double quantum dots

abstract: Motivated by recent experiments of Zajac et al. [arXiv:1708.03530], we theoretically describe high-fidelity two-qubit gates using the exchange interaction between the spins in neighboring quantum dots subject to a magnetic field gradient. We use a combination of analytical calculations and numerical simulations to provide the optimal pulse sequences and parameter settings for the gate operation. We present a novel synchronization method which avoids detrimental spin flips during the gate operation and provide details about phase mismatches accumulated during the two-qubit gates which occur due to residual exchange interaction, non-adiabatic pulses, and off-resonant driving. By adjusting the gate times, synchronizing the resonant and off-resonant transitions, and compensating these phase mismatches by phase control, the overall gate fidelity can be increased significantly.


title: Diversity, stability, and reproducibility in stochastically assembled microbial ecosystems

abstract: Microbial ecosystems are remarkably diverse, stable, and often consist of a balanced mixture of core and peripheral species. Here we propose a conceptual model exhibiting all these emergent properties in quantitative agreement with real ecosystem data, specifically species' abundance and prevalence distributions. Resource competition and metabolic commensalism drive stochastic ecosystem assembly in our model. We demonstrate that even when supplied with just one resource, ecosystems can exhibit high diversity, increasing stability, and partial reproducibility between samples.


title: Categorical formal punctured neighborhood of infinity, I

abstract: In this paper we introduce and study the formal punctured neighborhood of infinity, both in the algebro-geometric and in the DG categorical frameworks. For a smooth algebraic variety $X$ over a field of characteristic zero, one can take its smooth compactification $\bar{X}\supset X,$ and then take the DG category of perfect complexes on the formal punctured neighborhood of the infinity locus $\bar{X}-X.$ The result turns out to be independent of $\bar{X}$ (up to a quasi-equivalence) and we denote this DG category by $\operatorname{Perf}(\hat{X}_{\infty}).$ We show that this construction can be done purely DG categorically (hence of course also $A_{\infty}$-categorically). For any smooth DG category $\mathcal{B},$ we construct the DG category $\operatorname{Perf}_{top}(\hat{\mathcal{B}}_{\infty}),$ which we call the category of perfect complexes on the formal punctured neighborhood of infinity of $\mathcal{B}.$ The construction is closely related to the algebraic version of a Calkin algebra: endomorphisms of an infinite-dimensional vector space modulo endomorphisms of finite rank. We prove that the DG categorical construction is compatible with the algebro-geometric one. We study numerous examples. In particular, for the algebra of rational functions on a smooth complete connected curve $C$ we obtain the algebra of adeles $\mathbb{A}_C,$ and for $\mathcal{B}=D^b_{coh}(Y)$ for a proper singular scheme $Y$ we obtain the category $D_{sg}(Y)^{op}$ -- the opposite category of the Orlov's category of singularities. Among other things, we discuss the relation with the papers of Tate \cite{Ta} and Arbarello, de Concini, and Kac \cite{ACK}.


title: REAP: An Efficient Incentive Mechanism for Reconciling Aggregation Accuracy and Individual Privacy in Crowdsensing

abstract: Incentive mechanism plays a critical role in privacy-aware crowdsensing. Most previous studies on co-design of incentive mechanism and privacy preservation assume a trustworthy fusion center (FC). Very recent work has taken steps to relax the assumption on trustworthy FC and allows participatory users (PUs) to add well calibrated noise to their raw sensing data before reporting them, whereas the focus is on the equilibrium behavior of data subjects with binary data. Making a paradigm shift, this paper aim to quantify the privacy compensation for continuous data sensing while allowing FC to directly control PUs. There are two conflicting objectives in such scenario: FC desires better quality data in order to achieve higher aggregation accuracy whereas PUs prefer adding larger noise for higher privacy-preserving levels (PPLs). To achieve a good balance therein, we design an efficient incentive mechanism to REconcile FC's Aggregation accuracy and individual PU's data Privacy (REAP). Specifically, we adopt the celebrated notion of differential privacy to measure PUs' PPLs and quantify their impacts on FC's aggregation accuracy. Then, appealing to Contract Theory, we design an incentive mechanism to maximize FC's aggregation accuracy under a given budget. The proposed incentive mechanism offers different contracts to PUs with different privacy preferences, by which FC can directly control PUs. It can further overcome the information asymmetry, i.e., the FC typically does not know each PU's precise privacy preference. We derive closed-form solutions for the optimal contracts in both complete information and incomplete information scenarios. Further, the results are generalized to the continuous case where PUs' privacy preferences take values in a continuous domain. Extensive simulations are provided to validate the feasibility and advantages of our proposed incentive mechanism.


title: Benford analysis of quantum critical phenomena: First digit provides high finite-size scaling exponent while first two and further are not much better

abstract: Benford's law is an empirical edict stating that the lower digits appear more often than higher ones as the first few significant digits in statistics of natural phenomena and mathematical tables. A marked proportion of such analyses is restricted to the first significant digit. We employ violation of Benford's law, up to the first four significant digits, for investigating magnetization and correlation data of paradigmatic quantum many-body systems to detect cooperative phenomena, focusing on the finite-size scaling exponents thereof. We find that for the transverse field quantum XY model, behavior of the very first significant digit of an observable, at an arbitrary point of the parameter space, is enough to capture the quantum phase transition in the model with a relatively high scaling exponent. A higher number of significant digits do not provide an appreciable further advantage, in particular, in terms of an increase in scaling exponents. Since the first significant digit of a physical quantity is relatively simple to obtain in experiments, the results have potential implications for laboratory observations in noisy environments.


title: A reflection principle for minimal surfaces in smooth three manifolds

abstract: We prove a reflection principle for minimal surfaces in smooth (non necessarily analytic) three manifolds and we give an explicit application when the ambient space is just a smooth manifold.


title: How Do Software Startups Pivot? Empirical Results from a Multiple Case Study

abstract: In order to handle intense time pressure and survive in dynamic market, software startups have to make crucial decisions constantly on whether to change directions or stay on chosen courses, or in the terms of Lean Startup, to pivot or to persevere. The existing research and knowledge on software startup pivots are very limited. In this study, we focused on understanding the pivoting processes of software startups, and identified the triggering factors and pivot types. To achieve this, we employed a multiple case study approach, and analyzed the data obtained from four software startups. The initial findings show that different software startups make different types of pivots related to business and technology during their product development life cycle. The pivots are triggered by various factors including negative customer feedback.


title: A Statistical Distance Derived From The Kolmogorov-Smirnov Test: specification, reference measures (benchmarks) and example uses

abstract: Statistical distances quantifies the difference between two statistical constructs. In this article, we describe reference values for a distance between samples derived from the Kolmogorov-Smirnov statistic $D_{F,F'}$. Each measure of the $D_{F,F'}$ is a measure of difference between two samples. This distance is normalized by the number of observations in each sample to yield the $c'=D_{F,F'}\sqrt{\frac{n n'}{n+n'}}$ statistic, for which high levels favor the rejection of the null hypothesis (that the samples are drawn from the same distribution). One great feature of $c'$ is that it inherits the robustness of $D_{F,F'}$ and is thus suitable for use in settings where the underlying distributions are not known. Benchmarks are obtained by comparing samples derived from standard distributions. The supplied example applications of the $c'$ statistic for the distinction of samples in real data enables further insights about the robustness and power of such statistical distance.


title: Improved Lower Bounds for the Fourier Entropy/Influence Conjecture via Lexicographic Functions

abstract: Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this representation: the entropy roughly measures their spread, while the total influence measures their average level. The Fourier Entropy/Influence conjecture of Friedgut and Kalai from 1996 states that the entropy to influence ratio is bounded by a universal constant $C$. Using lexicographic Boolean functions, we present three explicit asymptotic constructions that improve upon the previously best known lower bound $C>6.278944$ by O'Donnell and Tan, obtained via recursive composition. The first uses their construction with the lexicographic function $\ell\left\langle 2/3\right\rangle $ of measure $2/3$ to demonstrate that $C\ge4+3\log_{4}3>6.377444$. The second generalizes their construction to biased functions and obtains $C>6.413846$ using $\ell\left\langle \Phi\right\rangle $, where $\Phi$ is the inverse golden ratio. The third, independent, construction gives $C>6.454784$, even for monotone functions. Beyond modest improvements to the value of $C$, our constructions shed some new light on the properties sought in potential counterexamples to the conjecture. Additionally, we prove a Lipschitz-type condition on the total influence and spectral entropy, which may be of independent interest.


title: Physics and observations of tidal disruption events

abstract: We describe a model of tidal disruption events (TDEs) with input physical parameters that include the black hole (BH) mass $M_{\bullet}$, the specific orbital energy $E$, the angular momentum $J$, the star mass $M_{\star}$ and radius $R_{\star}$. We calculate the rise time of the TDEs, the peak bolometric luminosity in terms of these physical parameters and a typical light curve of TDEs for various All Sky Survey (ASS) and Deep Sky Survey (DSS) missions. We then derive the expected detection rates and discuss the follow up of TDEs through observations in various spectral bands from X-rays to radio wavelengths.


title: Comment on "Strong Measurements Give a Better Direct Measurement of the Quantum Wave Function"

abstract: This is a comment on "Strong Measurements Give a Better Direct Measurement of the Quantum Wave Function" which was published as PRL 116, 040502 (2016). We show that there is crucial normalization error in this Letter which invalidates the proposal.


title: Approximation of Functions over Manifolds: A Moving Least-Squares Approach

abstract: We present an algorithm for approximating a function defined over a $d$-dimensional manifold utilizing only noisy function values at locations sampled from the manifold with noise. To produce the approximation we do not require any knowledge regarding the manifold other than its dimension $d$. We use the Manifold Moving Least-Squares approach of (Sober and Levin 2016) to reconstruct the atlas of charts and the approximation is built on-top of those charts. The resulting approximant is shown to be a function defined over a neighborhood of a manifold, approximating the originally sampled manifold. In other words, given a new point, located near the manifold, the approximation can be evaluated directly on that point. We prove that our construction yields a smooth function, and in case of noiseless samples the approximation order is $\mathcal{O}(h^{m+1})$, where $h$ is a local density of sample parameter (i.e., the fill distance) and $m$ is the degree of a local polynomial approximation, used in our algorithm. In addition, the proposed algorithm has linear time complexity with respect to the ambient-space's dimension. Thus, we are able to avoid the computational complexity, commonly encountered in high dimensional approximations, without having to perform non-linear dimension reduction, which inevitably introduces distortions to the geometry of the data. Additionaly, we show numerical experiments that the proposed approach compares favorably to statistical approaches for regression over manifolds and show its potential.


title: Entanglement and dynamical phase transition in a spin-orbit-coupled Bose-Einstein condensate

abstract: Characterizing quantum phase transitions through quantum correlations has been deeply developed for a long time, while the connections between dynamical phase transitions (DPTs) and quantum entanglement is not yet well understood. In this work, we show that the time-averaged two-mode entanglement in the spin space reaches a maximal value when it undergoes a DPT induced by external perturbation in a spin-orbit-coupled Bose-Einstein condensate. We employ the von Neumann entropy and a correlation-based entanglement criterion as entanglement measures and find that both of them can infer the existence of DPT. While the von Neumann entropy works only for a pure state at zero temperature and requires state tomography to reconstruct, the experimentally more feasible correlation-based entanglement criterion acts as an excellent proxy for entropic entanglement and can determine the existence of entanglement for a mixed state at finite temperature, making itself an excellent indicator for DPT. Our work provides a deeper understanding about the connection between DPTs and quantum entanglement, and may allow the detection of DPT via entanglement become accessible as the examined criterion is suitable for measuring entanglement.


title: Non-SUSY WIMPS: simplified models and Dark Matter at the LHC

abstract: I discuss the construction of Simplified Models for Dark Matter searches at the LHC. After reviewing the phylosophy and some simple example, I turn the attention to the aspect of the theoretical consistency of these models.


title: SRL4ORL: Improving Opinion Role Labeling using Multi-task Learning with Semantic Role Labeling

abstract: For over a decade, machine learning has been used to extract opinion-holder-target structures from text to answer the question "Who expressed what kind of sentiment towards what?". Recent neural approaches do not outperform the state-of-the-art feature-based models for Opinion Role Labeling (ORL). We suspect this is due to the scarcity of labeled training data and address this issue using different multi-task learning (MTL) techniques with a related task which has substantially more data, i.e. Semantic Role Labeling (SRL). We show that two MTL models improve significantly over the single-task model for labeling of both holders and targets, on the development and the test sets. We found that the vanilla MTL model which makes predictions using only shared ORL and SRL features, performs the best. With deeper analysis we determine what works and what might be done to make further improvements for ORL.


title: On certain commuting isometries, joint invariant subspaces and C*-algebras

abstract: In this paper, motivated by the Berger, Coburn and Lebow and Bercovici, Douglas and Foias theory for tuples of commuting isometries, we study analytic representations and joint invariant subspaces of a class of commuting $n$-isometries and prove that the $C^*$-algebra generated by the $n$-shift restricted to an invariant subspace of finite codimension in $H^2(\mathbb{D}^n)$ is unitarily equivalent to the $C^*$-algebra generated by the $n$-shift on $H^2(\mathbb{D}^n)$.


title: Scientific co-authorship networks

abstract: The paper addresses the stability of the co-authorship networks in time. The analysis is done on the networks of Slovenian researchers in two time periods (1991-2000 and 2001-2010). Two researchers are linked if they published at least one scientific bibliographic unit in a given time period. As proposed by Kronegger et al. (2011), the global network structures are examined by generalized blockmodeling with the assumed multi-core--semi-periphery--periphery blockmodel type. The term core denotes a group of researchers who published together in a systematic way with each other. The obtained blockmodels are comprehensively analyzed by visualizations and through considering several statistics regarding the global network structure. To measure the stability of the obtained blockmodels, different adjusted modified Rand and Wallace indices are applied. Those enable to distinguish between the splitting and merging of cores when operationalizing the stability of cores. Also, the adjusted modified indices can be used when new researchers occur in the second time period (newcomers) and when some researchers are no longer present in the second time period (departures). The research disciplines are described and clustered according to the values of these indices. Considering the obtained clusters, the sources of instability of the research disciplines are studied (e.g., merging or splitting of cores, newcomers or departures). Furthermore, the differences in the stability of the obtained cores on the level of scientific disciplines are studied by linear regression analysis where some personal characteristics of the researchers (e.g., age, gender), are also considered.


title: Neutrino-Oxygen CC0$\pi$ scattering in the SuSAv2-MEC model

abstract: We present the predictions of the SuSAv2-MEC model for the double differential charged-current muonic neutrino (antineutrino) cross section on water for the T2K neutrino (antineutrino) beam. We validate our model by comparing with the available inclusive electron scattering data on oxygen and compare our predictions with the recent T2K $\nu_\mu$-$^{16}$O data, finding good agreement at all kinematics. We show that the results are very similar to those obtained for $\nu_\mu-^{12}$C scattering, except at low energies, and we comment on the origin of this difference. A factorized spectral function model of $^{16}$O is also included for purposes of comparison.


title: Frequency Combs in a Lumped-Element Josephson-Junction Circuit

abstract: We investigate the dynamics of a microwave-driven Josephson junction capacitively coupled to a lumped element LC oscillator. In the regime of driving where the Josephson junction can be approximated as a Kerr oscillator, this minimal nonlinear system has been previously shown to exhibit a bistability in phase and amplitude. In the present study, we characterize the full phase diagram and show that besides a parameter regime exhibiting bistability, there is also a regime of self-oscillations characterized by a frequency comb in its spectrum. We discuss the mechanism of comb generation which appears to be different from those studied in microcavity frequency combs and mode-locked lasers. We then address the fate of the comb-like spectrum in the regime of strong quantum fluctuations, reached when nonlinearity becomes the dominant scale with respect to dissipation. We find that the nonlinearity responsible for the emergence of the frequency combs also leads to its dephasing, leading to broadening and ultimate disappearance of sharp spectral peaks. Our study explores the fundamental question of the impact of quantum fluctuations for quantum systems which do not possess a stable fixed point in the classical limit.


title: Effect of passengers' active head tilt and opening/closure of eyes on motion sickness in lateral acceleration environment of cars

abstract: This study examined the effect of passengers' active head-tilt and eyes-open/closed conditions on the severity of motion sickness in the lateral acceleration environment of cars. In the centrifugal head-tilt condition, participants intentionally tilted their heads towards the centrifugal force, whereas in the centripetal head-tilt condition, the participants tilted their heads against the centrifugal acceleration. The eyes-open and eyes-closed cases were investigated for each head-tilt condition. In the experimental runs, the sickness rating in the centripetal head-tilt condition was significantly lower than that in the centrifugal head-tilt condition. Moreover, the sickness rating in the eyes-open condition was significantly lower than that in the eyes-closed condition. The results suggest that an active head-tilt motion against the centrifugal acceleration reduces the severity of motion sickness both in the eyes-open and eyes-closed conditions. They also demonstrate that the eyes-open condition significantly reduces the motion sickness even when the head-tilt strategy is used.


title: Quantum Programming Made Easy

abstract: We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative programming with high-order features, mediated by a simple type theory. IQu mildly merges its quantum features with the classical programming style that we can experiment through Idealized Algol, the aim being to ease a transition towards the quantum programming world. The proposed extension is done along two main directions. First, IQu makes the access to quantum co-processors by means of quantum stores. Second, IQu includes some support for the direct manipulation of quantum circuits, in accordance with recent trends in the development of quantum programming languages. Finally, we show that IQu is quite effective in expressing well-known quantum algorithms.


title: A Paradox about Likelihood Ratios?

abstract: We consider whether the asymptotic distributions for the log-likelihood ratio test statistic are expected to be Gaussian or chi-squared. Two straightforward examples provide insight on the difference.


title: Classification of positive solutions to a nonlinear biharmonic equation with critical exponent

abstract: For $n \geq 5$, we consider positive solutions $u$ of the biharmonic equation \[ \Delta^2 u = u^\frac{n+4}{n-4} \qquad \text{on}\ \mathbb R^n \setminus \{0\} \] with a non-removable singularity at the origin. We show that $|x|^{\frac{n-4}{2}} u$ is a periodic function of $\ln |x|$ and we classify all periodic functions obtained in this way. This result is relevant for the description of the asymptotic behavior near singularities and for the $Q$-curvature problem in conformal geometry.


title: Constraining planet structure and composition from stellar chemistry: trends in different stellar populations

abstract: The chemical composition of stars that have orbiting planets provides important clues about the frequency, architecture, and composition of exoplanet systems. We explore the possibility that stars from different galactic populations that have different intrinsic abundance ratios may produce planets with a different overall composition. We compiled abundances for Fe, O, C, Mg, and Si in a large sample of solar neighbourhood stars that belong to different galactic populations. We then used a simple stoichiometric model to predict the expected iron-to-silicate mass fraction and water mass fraction of the planet building blocks, as well as the summed mass percentage of all heavy elements in the disc. Assuming that overall the chemical composition of the planet building blocks will be reflected in the composition of the formed planets, we show that according to our model, discs around stars from different galactic populations, as well as around stars from different regions in the Galaxy, are expected to form rocky planets with significantly different iron-to-silicate mass fractions. The available water mass fraction also changes significantly from one galactic population to another. The results may be used to set constraints for models of planet formation and chemical composition. Furthermore, the results may have impact on our understanding of the frequency of planets in the Galaxy, as well as on the existence of conditions for habitability.


title: Asymptotic behaviour of a network of oscillators coupled to thermostats of finite energy

abstract: We study the asymptotic behaviour of a finite network of oscillators (harmonic or anharmonic) coupled to a number of deterministic Lagrangian thermostats of finite energy. In particular, we consider a chain of oscillators interacting with two thermostats situated at the boundary of the chain. Under appropriate assumptions we prove that the vector $(p,q)$ of moments and coordinates of the oscillators in the network satisfies $(p,q)(t)\to (0,q_c)$ when $t\to\infty$, where $q_c$ is a critical point of some effective potential, so that the oscillators just stop. Moreover, we argue that the energy transport in the system stops as well without reaching the thermal equilibrium. This result is in contrast to the situation when the energies of the thermostats are infinite, studied for a similar system in [14] and subsequent works, where the convergence to a non-trivial limiting regime was established. The proof is based on a method developed in [22], where it was observed that the thermostats produce some effective dissipation despite the Lagrangian nature of the system.


title: Many-body renormalization of Landau levels in graphene due to screened Coulomb interaction

abstract: Renormalization of Landau level energies in graphene in strong magnetic field due to Coulomb interaction is studied theoretically, and calculations are compared with two experiments on carrier-density dependent scanning tunneling spectroscopy. An approximate preservation of the square-root dependence of the energies of Landau levels on their numbers and magnetic field in the presence of the interaction is examined. Many-body calculations of the renormalized Fermi velocity with the statically screened interaction taken in the random-phase approximation show good agreement with both experiments. The crucial role of the screening in achieving quantitative agreement is found. The main contribution to the observed rapid logarithmic growth of the renormalized Fermi velocity on approach to the charge neutrality point turned out to be caused not by mere exchange interaction effects, but by weakening of the screening at decreasing carrier density. The importance of a self-consistent treatment of the screening is also demonstrated.


title: Cores of graded algebras with triangular decomposition

abstract: We consider self-injective finite-dimensional graded algebras admitting a triangular decomposition. In a preceding paper, we have shown that the graded module category of such an algebra is a highest weight category and has tilting objects in the sense of Ringel. In this paper we focus on the degree zero part of the algebra, the core of the algebra. We show that the core captures essentially all relevant information about the graded representation theory. Using tilting theory, we show that the core is cellular. We then describe a canonical construction of a highest weight cover, in the sense of Rouquier, of this cellular algebra using a finite subquotient of the highest weight category. Thus, beginning with a self-injective graded algebra admitting a triangular decomposition, we canonically construct a quasi-hereditary algebra which encodes key information, such as graded multiplicities, of the original algebra. Our results are general and apply to a wide variety of examples, including restricted enveloping algebras, Lusztig's small quantum groups, hyperalgebras, finite quantum groups, and restricted rational Cherednik algebras. We expect that the cell modules and quasi-hereditary algebras introduced here will provide a new way of understanding these important examples.


title: Star formation in a high-pressure environment: An SMA view of the Galactic centre dust ridge

abstract: The star formation rate in the Central Molecular Zone (CMZ) is an order of magnitude lower than predicted according to star formation relations that have been calibrated in the disc of our own and nearby galaxies. Understanding how and why star formation appears to be different in this region is crucial if we are to understand the environmental dependence of the star formation process. Here, we present the detection of a sample of high-mass cores in the CMZ's "dust ridge" that have been discovered with the Submillimeter Array as part of the CMZoom survey. These cores range in mass from ~ 50 - 2150 Msun within radii of 0.1 - 0.25 pc. All appear to be young (pre-UCHII), meaning that they are prime candidates for representing the initial conditions of high-mass stars and sub-clusters. We report that at least two of these cores ('c1' and 'e1') contain young, high-mass protostars. We compare all of the detected cores with high-mass cores in the Galactic disc and find that they are broadly similar in terms of their masses and sizes, despite being subjected to external pressures that are several orders of magnitude greater - ~ 10^8 K/cm^3, as opposed to ~ 10^5 K/cm^3. The fact that > 80% of these cores do not show any signs of star-forming activity in such a high-pressure environment leads us to conclude that this is further evidence for an increased critical density threshold for star formation in the CMZ due to turbulence.


title: A non-local problem for the Fokker-Planck equation related to the Becker-D\"{o}ring model

abstract: This paper concerns a Fokker-Planck equation on the positive real line modeling nucleation and growth of clusters. The main feature of the equation is the dependence of the driving vector field and boundary condition on a non-local order parameter related to the excess mass of the system. The first main result concerns the well-posedness and regularity of the Cauchy problem. The well-posedness is based on a fixed point argument, and the regularity on Schauder estimates. The first a priori estimates yield H\"older regularity of the non-local order parameter, which is improved by an iteration argument. The asymptotic behavior of solutions depends on some order parameter $\rho$ depending on the initial data. The system shows different behavior depending on a value $\rho_s>0$, determined from the potentials and diffusion coefficient. For $\rho \leq \rho_s$, there exists an equilibrium solution $c^{\text{eq}}_{(\rho)}$. If $\rho\le\rho_s$ the solution converges strongly to $c^{\text{eq}}_{(\rho)}$, while if $\rho > \rho_s$ the solution converges weakly to $c^{\text{eq}}_{(\rho_s)}$. The excess $\rho - \rho_s$ gets lost due to the formation of larger and larger clusters. In this regard, the model behaves similarly to the classical Becker-D\"oring equation. The system possesses a free energy, strictly decreasing along the evolution, which establishes the long time behavior. In the subcritical case $\rho<\rho_s$ the entropy method, based on suitable weighted logarithmic Sobolev inequalities and interpolation estimates, is used to obtain explicit convergence rates to the equilibrium solution. The close connection of the presented model and the Becker-D\"oring model is outlined by a family of discrete Fokker-Planck type equations interpolating between both of them. This family of models possesses a gradient flow structure, emphasizing their commonality.


title: Knee Motion Generation Method for Transfemoral Prosthesis based on Kinematic Synergy and Inertial Motion

abstract: Previous research has shown that the effective use of inertial motion (i.e., less or no torque input at the knee joint) plays an important role in achieving a smooth gait of transfemoral prostheses in the swing phase. In our previous research, a method for generating a timed knee trajectory close to able-bodied individuals, which leads to sufficient clearance between the foot and the floor and the knee extension, was proposed using the inertial motion. Limb motions are known to correlate with each other during walking. This phenomenon is called kinematic synergy. In the present study, we measure gaits in level walking of able-bodied individuals with a wide range of walking velocities. We show that this kinematic synergy also exists between the motions of the intact limbs and those of the knee as determined by the inertial motion technique. We then propose a new method for generating the motion of the knee joint using its inertial motion close to the able-bodied individuals in mid-swing based on its kinematic synergy, such that the method can adapt to the changes in the motion velocity. The numerical simulation results show that the proposed method achieves prosthetic walking similar to that of able-bodied individuals with a wide range of constant walking velocities and termination of walking from steady-state walking. Further investigations have found that a kinematic synergy also exists at the start of walking. Overall, our method successfully achieves knee motion generation from the initiation of walking through steady-state walking with different velocities until termination of walking.


title: Scalable Approximation Algorithm for Network Immunization

abstract: The problem of identifying important players in a given network is of pivotal importance for viral marketing, public health management, network security and various other fields of social network analysis. In this work we find the most important vertices in a graph G = (V,E) to immunize so as the chances of an epidemic outbreak is minimized. This problem is directly relevant to minimizing the impact of a contagion spread (e.g. flu virus, computer virus and rumor) in a graph (e.g. social network, computer network) with a limited budget (e.g. the number of available vaccines, antivirus software, filters). It is well known that this problem is computationally intractable (it is NP-hard). In this work we reformulate the problem as a budgeted combinational optimization problem and use techniques from spectral graph theory to design an efficient greedy algorithm to find a subset of vertices to be immunized. We show that our algorithm takes less time compared to the state of the art algorithm. Thus our algorithm is scalable to networks of much larger sizes than best known solutions proposed earlier. We also give analytical bounds on the quality of our algorithm. Furthermore, we evaluate the efficacy of our algorithm on a number of real world networks and demonstrate that the empirical performance of algorithm supplements the theoretical bounds we present, both in terms of approximation guarantees and computational efficiency.


title: Underlying Event Measurements at CMS

abstract: Measurements of Underlying Event activity using proton-proton collision data collected by the CMS detector will be presented. To check the energy dependence of the underlying event activity, results are compared with previous measurements from different experiments at different centre-of-mass energies.


title: A variational method for analyzing stochastic limit cycle oscillators

abstract: We introduce a variational method for analyzing limit cycle oscillators in $\mathbb{R}^d$ driven by Gaussian noise. This allows us to derive exact stochastic differential equations (SDEs) for the amplitude and phase of the solution, which are accurate over times over order $\exp\big(Cb\epsilon^{-1}\big)$, where $\epsilon$ is the amplitude of the noise and $b$ the magnitude of decay of transverse fluctuations. Within the variational framework, different choices of the amplitude-phase decomposition correspond to different choices of the inner product space $\mathbb{R}^d$. For concreteness, we take a weighted Euclidean norm, so that the minimization scheme determines the phase by projecting the full solution on to the limit cycle using Floquet vectors. Since there is coupling between the amplitude and phase equations, even in the weak noise limit, there is a small but non-zero probability of a rare event in which the stochastic trajectory makes a large excursion away from a neighborhood of the limit cycle. We use the amplitude and phase equations to bound the probability of it doing this: finding that the typical time the system takes to leave a neighborhood of the oscillator scales as $\exp\big(Cb\epsilon^{-1}\big)$.


title: Absence of even-integer $\zeta$-function values in Euclidean physical quantities in QCD

abstract: At order $\alpha_s^4$ in perturbative quantum chromodynamics, even-integer $\zeta$-function values are present in Euclidean physical correlation functions like the scalar quark correlation function or the scalar gluonium correlator. We demonstrate that these contributions cancel when the perturbative expansion is expressed in terms of the so-called $C$-scheme coupling $\hat\alpha_s$ which has recently been introduced in Ref. [1]. It is furthermore conjectured that a $\zeta_4$ term should arise in the Adler function at order $\alpha_s^5$ in the $\overline{\rm MS}$-scheme, and that this term is expected to disappear in the $C$-scheme as well.


title: On the complexity of optimal homotopies

abstract: In this article, we provide new structural results and algorithms for the Homotopy Height problem. In broad terms, this problem quantifies how much a curve on a surface needs to be stretched to sweep continuously between two positions. More precisely, given two homotopic curves $\gamma_1$ and $\gamma_2$ on a combinatorial (say, triangulated) surface, we investigate the problem of computing a homotopy between $\gamma_1$ and $\gamma_2$ where the length of the longest intermediate curve is minimized. Such optimal homotopies are relevant for a wide range of purposes, from very theoretical questions in quantitative homotopy theory to more practical applications such as similarity measures on meshes and graph searching problems. We prove that Homotopy Height is in the complexity class NP, and the corresponding exponential algorithm is the best one known for this problem. This result builds on a structural theorem on monotonicity of optimal homotopies, which is proved in a companion paper. Then we show that this problem encompasses the Homotopic Fr\'echet distance problem which we therefore also establish to be in NP, answering a question which has previously been considered in several different settings. We also provide an O(log n)-approximation algorithm for Homotopy Height on surfaces by adapting an earlier algorithm of Har-Peled, Nayyeri, Salvatipour and Sidiropoulos in the planar setting.


title: Learning Asymmetric and Local Features in Multi-Dimensional Data through Wavelets with Recursive Partitioning

abstract: Effective learning of asymmetric and local features in images and other data observed on multi-dimensional grids is a challenging objective critical for a wide range of image processing applications involving biomedical and natural images. It requires methods that are sensitive to local details while fast enough to handle massive numbers of images of ever increasing sizes. We introduce a probabilistic model-based framework that achieves these objectives by incorporating adaptivity into discrete wavelet transforms (DWT) through Bayesian hierarchical modeling, thereby allowing wavelet bases to adapt to the geometric structure of the data while maintaining the high computational scalability of wavelet methods---linear in the sample size (e.g., the resolution of an image). We derive a recursive representation of the Bayesian posterior model which leads to an exact message passing algorithm to complete learning and inference. While our framework is applicable to a range of problems including multi-dimensional signal processing, compression, and structural learning, we illustrate its work and evaluate its performance in the context of image reconstruction using real images from the ImageNet database, two widely used benchmark datasets, and a dataset from retinal optical coherence tomography and compare its performance to state-of-the-art methods based on basis transforms and deep learning.


title: Grove arctic curves from periodic cluster modular transformations

abstract: Groves are spanning forests of a finite region of the triangular lattice that are in bijection with Laurent monomials that arise in solutions of the cube recurrence. We introduce a large class of probability measures on groves for which we can compute exact generating functions for edge probabilities. Using the machinery of asymptotics of multivariate generating functions, this lets us explicitly compute arctic curves, generalizing the arctic circle theorem of Petersen and Speyer. Our class of probability measures is sufficiently general that the limit shapes exhibit all solid and gaseous phases expected from the classification of EGMs in the resistor network model.


title: Spectral Methods for Immunization of Large Networks

abstract: Given a network of nodes, minimizing the spread of a contagion using a limited budget is a well-studied problem with applications in network security, viral marketing, social networks, and public health. In real graphs, virus may infect a node which in turn infects its neighbor nodes and this may trigger an epidemic in the whole graph. The goal thus is to select the best k nodes (budget constraint) that are immunized (vaccinated, screened, filtered) so as the remaining graph is less prone to the epidemic. It is known that the problem is, in all practical models, computationally intractable even for moderate sized graphs. In this paper we employ ideas from spectral graph theory to define relevance and importance of nodes. Using novel graph theoretic techniques, we then design an efficient approximation algorithm to immunize the graph. Theoretical guarantees on the running time of our algorithm show that it is more efficient than any other known solution in the literature. We test the performance of our algorithm on several real world graphs. Experiments show that our algorithm scales well for large graphs and outperforms state of the art algorithms both in quality (containment of epidemic) and efficiency (runtime and space complexity).


title: Ion Implantation for Deterministic Single Atom Devices

abstract: We demonstrate a capability of deterministic doping at the single atom level using a combination of direct write focused ion beam and solid-state ion detectors. The focused ion beam system can position a single ion to within 35 nm of a targeted location and the detection system is sensitive to single low energy heavy ions. This platform can be used to deterministically fabricate single atom devices in materials where the nanostructure and ion detectors can be integrated, including donor-based qubits in Si and color centers in diamond.


title: 3D Mobile Localization Using Distance-only Measurements

abstract: For a group of cooperating UAVs, localizing each other is often a key task. This paper studies the localization problem for a group of UAVs flying in 3D space with very limited information, i.e., when noisy distance measurements are the only type of inter-agent sensing that is available, and when only one UAV knows a global coordinate basis, the others being GPS-denied. Initially for a two-agent problem, but easily generalized to some multi-agent problems, constraints are established on the minimum number of required distance measurements required to achieve the localization. The paper also proposes an algorithm based on semidefinite programming (SDP), followed by maximum likelihood estimation using a gradient descent initialized from the SDP calculation. The efficacy of the algorithm is verified with experimental noisy flight data.


title: Higher zigzag algebras

abstract: Given any Koszul algebra of finite global dimension one can define a new algebra, which we call a higher zigzag algebra, as a twisted trivial extension of the Koszul dual of our original algebra. If our original algebra is the path algebra of a quiver whose underlying graph is a tree, this construction recovers the zigzag algebras of Huerfano and Khovanov. We study examples of higher zigzag algebras coming from Iyama's iterative construction of type A higher representation finite algebras. We give presentations of these algebras by quivers and relations, and describe relations between spherical twists acting on their derived categories. We then make a connection to the McKay correspondence in higher dimensions: if G is a finite abelian subgroup of the special linear group acting on affine space, then the skew group algebra which controls the category of G-equivariant sheaves is Koszul dual to a higher zigzag algebra. Using this, we show that our relations between spherical twists appear naturally in examples from algebraic geometry.


title: Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response

abstract: Considerable delays often exist between the discovery of a vulnerability and the issue of a patch. One way to mitigate this window of vulnerability is to use a configuration workaround, which prevents the vulnerable code from being executed at the cost of some lost functionality -- but only if one is available. Since program configurations are not specifically designed to mitigate software vulnerabilities, we find that they only cover 25.2% of vulnerabilities. To minimize patch delay vulnerabilities and address the limitations of configuration workarounds, we propose Security Workarounds for Rapid Response (SWRRs), which are designed to neutralize security vulnerabilities in a timely, secure, and unobtrusive manner. Similar to configuration workarounds, SWRRs neutralize vulnerabilities by preventing vulnerable code from being executed at the cost of some lost functionality. However, the key difference is that SWRRs use existing error-handling code within programs, which enables them to be mechanically inserted with minimal knowledge of the program and minimal developer effort. This allows SWRRs to achieve high coverage while still being fast and easy to deploy. We have designed and implemented Talos, a system that mechanically instruments SWRRs into a given program, and evaluate it on five popular Linux server programs. We run exploits against 11 real-world software vulnerabilities and show that SWRRs neutralize the vulnerabilities in all cases. Quantitative measurements on 320 SWRRs indicate that SWRRs instrumented by Talos can neutralize 75.1% of all potential vulnerabilities and incur a loss of functionality similar to configuration workarounds in 71.3% of those cases. Our overall conclusion is that automatically generated SWRRs can safely mitigate 2.1x more vulnerabilities, while only incurring a loss of functionality comparable to that of traditional configuration workarounds.


title: Resistivity scaling model for metals with conduction band anisotropy

abstract: It is generally understood that the resistivity of metal thin films scales with film thickness mainly due to grain boundary and boundary surface scattering. Recently, several experiments and ab initio simulations have demonstrated the impact of crystal orientation on resistivity scaling. The crystal orientation cannot be captured by the commonly used resistivity scaling models and a qualitative understanding of its impact is currently lacking. In this work, we derive a resistivity scaling model that captures grain boundary and boundary surface scattering as well as the anisotropy of the band structure. The model is applied to Cu and Ru thin films, whose conduction bands are (quasi-)isotropic and anisotropic respectively. After calibrating the anisotropy with ab initio simulations, the resistivity scaling models are compared to experimental resistivity data and a renormalization of the fitted grain boundary reflection coefficient can be identified for textured Ru.


title: Matricial Canonical Moments and Parametrization of Matricial Hausdorff Moment Sequences

abstract: In this paper we study moment sequences of matrix-valued measures on compact intervals. A complete parametrization of such sequences is obtained via a symmetric version of matricial canonical moments. Furthermore, distinguished extensions of finite moment sequences are characterized in this framework. The results are applied to the underlying matrix-valued measures, generalizing some results from the scalar theory of canonical moments.


title: The [CII] 158 micron line emission in high-redshift galaxies

abstract: The [CII] fine structure transition at 158 microns is the dominant cooling line of cool interstellar gas, and is the brightest of emission lines from star forming galaxies from FIR through meter wavelengths. With the advent of ALMA and NOEMA, capable of detecting [CII]-line emission in high-redshift galaxies, there has been a growing interest in using the [CII] line as a probe of the physical conditions of the gas in galaxies, and as a SFR indicator at z>4. In this paper, we use a semi-analytical model of galaxy evolution (G.A.S.) combined with the code CLOUDY to predict the [CII] luminosity of a large number of galaxies at 4< z<8. At such high redshift, the CMB represents a strong background and we discuss its effects on the luminosity of the [CII] line. We study the LCII-SFR and LCII-Zg relations and show that they do not strongly evolve with redshift from z=4 and to z=8. Galaxies with higher [CII] luminosities tend to have higher metallicities and higher star formation rates but the correlations are very broad, with a scatter of about 0.5 dex for LCII-SFR. Our model reproduces the LCII-SFR relations observed in high-redshift star-forming galaxies, with [CII] luminosities lower than expected from local LCII-SFR relations. Accordingly, the local observed LCII-SFR relation does not apply at high-z. Our model naturally produces the [CII] deficit, which appears to be strongly correlated with the intensity of the radiation field in our simulated galaxies. We then predict the [CII] luminosity function, and show that it has a power law form in the range of LCII probed by the model with a slope alpha=1. The slope is not evolving from z=4 to z=8 but the number density of [CII]-emitters decreases by a factor of 20x. We discuss our predictions in the context of current observational estimates on both the differential and cumulative luminosity functions.


title: Deep Recurrent Gaussian Process with Variational Sparse Spectrum Approximation

abstract: Modeling sequential data has become more and more important in practice. Some applications are autonomous driving, virtual sensors and weather forecasting. To model such systems so called recurrent models are used. In this article we introduce two new Deep Recurrent Gaussian Process (DRGP) models based on the Sparse Spectrum Gaussian Process (SSGP) and the improved variational version called Variational Sparse Spectrum Gaussian Process (VSSGP). We follow the recurrent structure given by an existing DRGP based on a specific sparse Nystr\"om approximation. Therefore, we also variationally integrate out the input-space and hence can propagate uncertainty through the layers. We can show that for the resulting lower bound an optimal variational distribution exists. Training is realized through optimizing the variational lower bound. Using Distributed Variational Inference (DVI), we can reduce the computational complexity. We improve over current state of the art methods in prediction accuracy for experimental data-sets used for their evaluation and introduce a new data-set for engine control, named Emission. Furthermore, our method can easily be adapted for unsupervised learning, e.g. the latent variable model and its deep version.


title: Estimating Under Five Mortality in Space and Time in a Developing World Context

abstract: Accurate estimates of the under-5 mortality rate (U5MR) in a developing world context are a key barometer of the health of a nation. This paper describes new models to analyze survey data on mortality in this context. We are interested in both spatial and temporal description, that is, wishing to estimate U5MR across regions and years, and to investigate the association between the U5MR and spatially-varying covariate surfaces. We illustrate the methodology by producing yearly estimates for subnational areas in Kenya over the period 1980 - 2014 using data from demographic health surveys (DHS). We use a binomial likelihood with fixed effects for the urban/rural stratification to account for the complex survey design. We carry out smoothing using Bayesian hierarchical models with continuous spatial and temporally discrete components. A key component of the model is an offset to adjust for bias due to the effects of HIV epidemics. Substantively, there has been a sharp decline in U5MR in the period 1980 - 2014, but large variability in estimated subnational rates remains. A priority for future research is understanding this variability. Temperature, precipitation and a measure of malaria infection prevalence were candidates for inclusion in the covariate model.


title: Linear Programming Based Optimality Conditions and Approximate Solution of a Deterministic Infinite Horizon Discounted Optimal Control Problem in Discrete Time

abstract: It has been recently established that a deterministic infinite horizon discounted optimal control problem in discrete time is closely related to a certain infinite dimensional linear programming problem and its dual. In the present paper, we use these results to establish necessary and sufficient optimality conditions for this optimal control problem and apply them to construct a near optimal control.


title: Magnitude homology of enriched categories and metric spaces

abstract: Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,\infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories, which we call magnitude homology (in fact, it is a special sort of Hochschild homology), whose graded Euler characteristic is the magnitude. Magnitude homology of metric spaces generalizes the Hepworth--Willerton magnitude homology of graphs, and detects geometric information such as convexity.


title: A conjecture of Antoni Zygmund

abstract: In this paper we establish an exponential covering theorem implying a conjecture formulated by A. Zygmund circa 1935 whose three-dimensional case was obtained by the first named author in 1978.


title: Framework for evaluation of sound event detection in web videos

abstract: The largest source of sound events is web videos. Most videos lack sound event labels at segment level, however, a significant number of them do respond to text queries, from a match found using metadata by search engines. In this paper we explore the extent to which a search query can be used as the true label for detection of sound events in videos. We present a framework for large-scale sound event recognition on web videos. The framework crawls videos using search queries corresponding to 78 sound event labels drawn from three datasets. The datasets are used to train three classifiers, and we obtain a prediction on 3.7 million web video segments. We evaluated performance using the search query as true label and compare it with human labeling. Both types of ground truth exhibited close performance, to within 10%, and similar performance trend with increasing number of evaluated segments. Hence, our experiments show potential for using search query as a preliminary true label for sound event recognition in web videos.


title: A VST and VISTA study of globular clusters in NGC253

abstract: Aims. We analyze the properties of the sources in the NGC253 to define an up to date catalog of GC candidates in the galaxy. Methods. Our analysis is based on the science verification data of two ESO survey telescopes, VST and VISTA. Using ugri photometry from VST and JKs from VISTA, GC candidates were selected using the morpho-photometric and color properties of spectroscopically confirmed GCs available in the literature. The strength of the results was verified against available archival HST/ACS data from the GHOSTS survey. Results. The adopted GC selection leads to the definition of a sample of ~350 GC candidates. At visual inspection, we find that 82 objects match all the requirements for selecting GC candidates and 155 are flagged as uncertain GC candidate; 110 are unlikely GCs, most likely background galaxies. Furthermore, our analysis shows that four of the previously spectroscopically confirmed GCs, i.e., ~20% of the total spectroscopic sample, are more likely either background galaxies or high-velocity Milky Way stars. The radial density profile of the selected best candidates shows the typically observed r1/4-law radial profile. The analysis of the color distributions reveals only marginal evidence of the presence of color bimodality, which is normally observed in galaxies of similar luminosity. The GC luminosity function does not show the typical symmetry, mainly because of the lack of bright GCs. Part of the bright GCs missing might be at very large galactocentric distances or along the line of sight of the galaxy dusty disk. Conclusions. Using ugriJKs photometry we purged the list of GCs with spectroscopic membership and photometric GC candidates in NGC 253. Our results show that the use of either spectroscopic or photometric data only does not generally ensure a contaminant-free sample and a combination of both spectroscopy and photometry is preferred.


title: Two-dimensional locally $\mathbb{K}$-Nash groups

abstract: We give a classification of connected abelian locally (real) Nash groups of dimension two. We first consider Painlev\'e's description of meromorphic maps admitting an Algebraic Addition Theorem and analyse the algebraic dependence of such maps. We then give a classification of connected abelian locally complex Nash groups of dimension two, from which we deduce the corresponding real classification.


title: The dimension-free structure of nonhomogeneous random matrices

abstract: Let $X$ be a symmetric random matrix with independent but non-identically distributed centered Gaussian entries. We show that $$ \mathbf{E}\|X\|_{S_p} \asymp \mathbf{E}\Bigg[ \Bigg(\sum_i\Bigg(\sum_j X_{ij}^2\Bigg)^{p/2}\Bigg)^{1/p} \Bigg] $$ for any $2\le p\le\infty$, where $S_p$ denotes the $p$-Schatten class and the constants are universal. The right-hand side admits an explicit expression in terms of the variances of the matrix entries. This settles, in the case $p=\infty$, a conjecture of the first author, and provides a complete characterization of the class of infinite matrices with independent Gaussian entries that define bounded operators on $\ell_2$. Along the way, we obtain optimal dimension-free bounds on the moments $(\mathbf{E}\|X\|_{S_p}^p)^{1/p}$ that are of independent interest. We develop further extensions to non-symmetric matrices and to nonasymptotic moment and norm estimates for matrices with non-Gaussian entries that arise, for example, in the study of random graphs and in applied mathematics.


title: An Optimal Choice Dictionary

abstract: A choice dictionary is a data structure that can be initialized with a parameter $n\in\{1,2,\ldots\}$ and subsequently maintains an initially empty subset $S$ of $\{1,\ldots,n\}$ under insertion, deletion, membership queries and an operation 'choice' that returns an arbitrary element of $S$. The choice dictionary is fundamental in space-efficient computing and has numerous applications. The best previous choice dictionary can be initialized with $n$ and a second parameter $t\in\{1,2,\ldots\}$ in constant time and subsequently executes all operations in $O(t)$ time and occupies $n+O(n({t/w})^t+\log n)$ bits on a word RAM with a word length of $w=\Omega(\log n)$ bits. We describe a new choice dictionary that, following a constant-time initialization, executes all operations in constant time and, in addition to the space needed to store $n$, occupies only $n+1$ bits, which is shown to be optimal if $w=o(n)$. Allowed $\lceil\log_2(n+1)\rceil$ bits of additional space, the new data structure also supports iteration over the set $S$ in constant time per element.


title: An exploration of Nathanson's $g$-adic representations of integers

abstract: We use Nathanson's $g$-adic representation of integers to relate metric properties of Cayley graphs of the integers with respect to various infinite generating sets $S$ to problems in additive number theory. If $S$ consists of all powers of a fixed integer $g$, we find explicit formulas for the smallest positive integer of a given length. This is related to finding the smallest positive integer expressible as a fixed number of sums and differences of powers of $g$. We also consider $S$ to be the set of all powers of all primes and bound the diameter of Cayley graph by relating it to Goldbach's conjecture.


title: The Structure of the Radio Recombination Line Maser Emission in the Envelope of MWC349A

abstract: The Submillimeter Array (SMA) has been used to image the emission from radio recombination lines of hydrogen at subarcsecond angular resolution from the young high-mass star MWC349A in the H26$\alpha$, H30$\alpha$, and H31$\alpha$ transitions at 353, 232, and 211 GHz, respectively. Emission was seen over a range of 80 kms-1 in velocity and 50~mas (corresponding to 60~AU for a distance of 1200 pc). The emission at each frequency has two distinct components, one from gas in a nearly edge-on annular disk structure in Keplerian motion, and another from gas lifted off the disk at distances of up to about 25~AU from the star. The slopes of the position-velocity (PV) curves for the disk emission show a monotonic progression of the emission radius with frequency with relative radii of $0.85\pm0.04$, 1, and $1.02\pm0.01$ for the H26$\alpha$, H30$\alpha$, and H31$\alpha$ transitions, respectively. This trend is consistent with theoretical excitation models of maser emission from a region where the density decreases with radius and the lower transitions are preferentially excited at higher densities. The mass is difficult to estimate from the PV diagrams because the wind components dominate the emission at the disk edges. The mass estimate is constrained to be only in the range of 10--30 solar masses. The distribution of the wind emission among the transitions is surprisingly different, which reflects its sensitivity to excitation conditions. The wind probably extracts significant angular momentum from the system.


title: Expressive power of recurrent neural networks

abstract: Deep neural networks are surprisingly efficient at solving practical tasks, but the theory behind this phenomenon is only starting to catch up with the practice. Numerous works show that depth is the key to this efficiency. A certain class of deep convolutional networks -- namely those that correspond to the Hierarchical Tucker (HT) tensor decomposition -- has been proven to have exponentially higher expressive power than shallow networks. I.e. a shallow network of exponential width is required to realize the same score function as computed by the deep architecture. In this paper, we prove the expressive power theorem (an exponential lower bound on the width of the equivalent shallow network) for a class of recurrent neural networks -- ones that correspond to the Tensor Train (TT) decomposition. This means that even processing an image patch by patch with an RNN can be exponentially more efficient than a (shallow) convolutional network with one hidden layer. Using theoretical results on the relation between the tensor decompositions we compare expressive powers of the HT- and TT-Networks. We also implement the recurrent TT-Networks and provide numerical evidence of their expressivity.


title: Channel masking for multivariate time series shapelets

abstract: Time series shapelets are discriminative sub-sequences and their similarity to time series can be used for time series classification. Initial shapelet extraction algorithms searched shapelets by complete enumeration of all possible data sub-sequences. Research on shapelets for univariate time series proposed a mechanism called shapelet learning which parameterizes the shapelets and learns them jointly with a prediction model in an optimization procedure. Trivial extension of this method to multivariate time series does not yield very good results due to the presence of noisy channels which lead to overfitting. In this paper we propose a shapelet learning scheme for multivariate time series in which we introduce channel masks to discount noisy channels and serve as an implicit regularization.


title: Bootstrapping Exchangeable Random Graphs

abstract: We introduce two new bootstraps for exchangeable random graphs. One, the "empirical graphon bootstrap", is based purely on resampling, while the other, the "histogram bootstrap", is a model-based "sieve" bootstrap. We show that both of them accurately approximate the sampling distributions of motif densities, i.e., of the normalized counts of the number of times fixed subgraphs appear in the network. These densities characterize the distribution of (infinite) exchangeable networks. Our bootstraps therefore give a valid quantification of uncertainty in inferences about fundamental network statistics, and so of parameters identifiable from them.


title: Measuring Quantum Entropy

abstract: The entropy of a quantum system is a measure of its randomness, and has applications in measuring quantum entanglement. We study the problem of measuring the von Neumann entropy, $S(\rho)$, and R\'enyi entropy, $S_\alpha(\rho)$ of an unknown mixed quantum state $\rho$ in $d$ dimensions, given access to independent copies of $\rho$. We provide an algorithm with copy complexity $O(d^{2/\alpha})$ for estimating $S_\alpha(\rho)$ for $\alpha<1$, and copy complexity $O(d^{2})$ for estimating $S(\rho)$, and $S_\alpha(\rho)$ for non-integral $\alpha>1$. These bounds are at least quadratic in $d$, which is the order dependence on the number of copies required for learning the entire state $\rho$. For integral $\alpha>1$, on the other hand, we provide an algorithm for estimating $S_\alpha(\rho)$ with a sub-quadratic copy complexity of $O(d^{2-2/\alpha})$. We characterize the copy complexity for integral $\alpha>1$ up to constant factors by providing matching lower bounds. For other values of $\alpha$, and the von Neumann entropy, we show lower bounds on the algorithm that achieves the upper bound. This shows that we either need new algorithms for better upper bounds, or better lower bounds to tighten the results. For non-integral $\alpha$, and the von Neumann entropy, we consider the well known Empirical Young Diagram (EYD) algorithm, which is the analogue of empirical plug-in estimator in classical distribution estimation. As a corollary, we strengthen a lower bound on the copy complexity of the EYD algorithm for learning the maximally mixed state by showing that the lower bound holds with exponential probability (which was previously known to hold with a constant probability). For integral $\alpha>1$, we provide new concentration results of certain polynomials that arise in Kerov algebra of Young diagrams.


title: Topological superconductor in quasi-one-dimensional Tl2-xMo6Se6

abstract: We propose that the quasi-one-dimensional molybdenum selenide compound Tl2-xMo6Se6 is a time-reversal-invariant topological superconductor induced by inter-sublattice pairing, even in the absence of spin-orbit coupling (SOC). No noticeable change in superconductivity is observed in Tl-deficient (0<=x<=0.1) compounds. At weak SOC, the superconductor prefers the triplet d vector lying perpendicular to the chain direction and two-dimensional E2u symmetry, which is driven to a nematic order by spontaneous rotation symmetry breaking. The locking energy of the d vector is estimated to be weak and hence the proof of its direction would rely on tunnelling or phase-sensitive measurements.


title: Johari-Goldstein relaxation far below Tg: Experimental evidence for the Gardner transition in structural glasses?

abstract: Experimental evidence for the Gardner transition, theoretically predicted to arise deep in the glassy state of matter, is scarce. At this transition, the energy landscape sensed by the particles forming the glass is expected to become more complex. In the present work, we report the dielectric response of two typical glass formers with well-pronounced Johari-Goldstein beta relaxation following this response down to unprecedented low temperatures, far below the glass transition. As the Johari-Goldstein process is believed to arise from the local structure of the energy landscape, its investigation seems an ideal tool to seek evidence for the Gardner transition. Indeed, we find an unusual broadening of the beta relaxation below TG ~ 110 K for sorbitol and TG ~ 100 K for xylitol, in excess of the expected broadening arising from a distribution of energy barriers. Thus, these results provide hints at the presence of the Gardner transition in canonical structural glass formers.


title: Medoids in almost linear time via multi-armed bandits

abstract: Computing the medoid of a large number of points in high-dimensional space is an increasingly common operation in many data science problems. We present an algorithm Med-dit which uses O(n log n) distance evaluations to compute the medoid with high probability. Med-dit is based on a connection with the multi-armed bandit problem. We evaluate the performance of Med-dit empirically on the Netflix-prize and the single-cell RNA-Seq datasets, containing hundreds of thousands of points living in tens of thousands of dimensions, and observe a 5-10x improvement in performance over the current state of the art. Med-dit is available at https://github.com/bagavi/Meddit


title: Free-boundary minimal surfaces with connected boundary in the $3$-ball by tripling the equatorial disc

abstract: In the Euclidean unit three-ball, we construct compact, embedded, two-sided free boundary minimal surfaces with connected boundary and prescribed high genus, by a gluing construction tripling the equatorial disc. Aside from the equatorial disc itself, these are the first examples in the three-ball of compact free boundary minimal surfaces with connected boundary.


title: The Steklov Problem on Rectangles and Cuboids

abstract: This paper is a brief account of the Steklov eigenvalue problem on a 2-dimensional rectangular domain, and then on a 3-dimensional rectangular box. It is divided into four sections. Section 1 relies heavily on real analytic methods to show the existence of an eigenfunction class which always produces the first non-trivial Steklov eigenvalue on a rectangle. Section 2 lists all possible Steklov eigenfunctions on a cuboid. The very brief section 3 gives the 3-dimensional analogue of the analytic results in Section 1. The analogue is given as conjecture, but is expected to derivate from standard (albeit tedious) real analysis methods, should one wish to expound on these calculations. Section 4 deals with the special cases of the square and the cube.


title: Modeling interactions of photons with pseudoscalar and vector mesons

abstract: We model interaction of photons, pseudoscalars and vector mesons within the resonance chiral symmetric theory with the SU(3) breaking. The couplings of the model are fitted to the experimental data. Within the developed model we predict the light-by-light contributions to the muon anomalous magnetic moment $a_{\mu}^P = (82.8 \pm 3.4)\times 10^{-11}$. The error covers also the model dependence within the class of models considered in this paper. The model was implemented into the Monte Carlo event generator Ekhara to simulate the reactions $e^+e^-\to e^+e^- P$, $P=\pi^0,\eta,\eta'$ and into the Monte Carlo event generator Phokhara to simulate the reactions $e^+e^-\to P\gamma(\gamma)$.


title: Minor-free graphs have light spanners

abstract: We show that every $H$-minor-free graph has a light $(1+\epsilon)$-spanner, resolving an open problem of Grigni and Sissokho and proving a conjecture of Grigni and Hung. Our lightness bound is \[O\left(\frac{\sigma_H}{\epsilon^3}\log \frac{1}{\epsilon}\right)\] where $\sigma_H = |V(H)|\sqrt{\log |V(H)|}$ is the sparsity coefficient of $H$-minor-free graphs. That is, it has a practical dependency on the size of the minor $H$. Our result also implies that the polynomial time approximation scheme (PTAS) for the Travelling Salesperson Problem (TSP) in $H$-minor-free graphs by Demaine, Hajiaghayi and Kawarabayashi is an efficient PTAS whose running time is $2^{O_H\left(\frac{1}{\epsilon^4}\log \frac{1}{\epsilon}\right)}n^{O(1)}$ where $O_H$ ignores dependencies on the size of $H$. Our techniques significantly deviate from existing lines of research on spanners for $H$-minor-free graphs, but build upon the work of Chechik and Wulff-Nilsen for spanners of general graphs.


title: Scattering from infinity for semilinear wave equations satisfying the null condition or the weak null condition

abstract: We show global existence backwards from scattering data at infinity for semilinear wave equations satisfying the null condition or the weak null condition. Semilinear terms satisfying the weak null condition appear in many equations in physics. The scattering data is given in terms of the radiation field, although in the case of the weak null condition there is an additional logarithmic term in the asymptotic behaviour that has to be taken into account. Our results are sharp in the sense that the solution has the same spatial decay as the radiation field does along null infinity, which is assumed to decay at a rate that is consistent with the forward problem. The proof uses a higher order asymptotic expansion together with a new fractional Morawetz estimate with strong weights at infinity.


title: Uniqueness of convex ancient solutions to mean curvature flow in $\mathbb{R}^3$

abstract: A well-known question of Perelman concerns the classification of noncompact ancient solutions to the Ricci flow in dimension $3$ which have positive sectional curvature and are $\kappa$-noncollapsed. In this paper, we solve the analogous problem for mean curvature flow in $\mathbb{R}^3$, and prove that the rotationally symmetric bowl soliton is the only noncompact ancient solution of mean curvature flow in $\mathbb{R}^3$ which is strictly convex and noncollapsed.


title: $\beta$-Ga$_2$O$_3$ Nano-membrane Negative Capacitance Field-effect Transistor with Steep Subthreshold Slope for Wide Bandgap Logic Applications

abstract: Steep-slope $\beta$-Ga$_2$O$_3$ nano-membrane negative capacitance field-effect transistors (NC-FETs) are demonstrated with ferroelectric hafnium zirconium oxide in gate dielectric stack. Subthreshold slope less than 60 mV/dec at room temperature is obtained for both forward and reverse gate voltage sweeps with a minimum value of 34.3 mV/dec at reverse gate voltage sweep and 53.1 mV/dec at forward gate voltage sweep at $V_{DS}$=0.5 V. Enhancement-mode operation with threshold voltage ~0.4 V is achieved by tuning the thickness of $\beta$-Ga$_2$O$_3$ membrane. Low hysteresis of less than 0.1 V is obtained. The steep-slope, low hysteresis and enhancement-mode $\beta$-Ga$_2$O$_3$ NC-FETs are promising as nFET candidate for future wide bandgap CMOS logic applications.


title: Polarization spectroscopy of atomic erbium in a hollow cathode lamp

abstract: In this work we perform polarization spectroscopy of erbium atoms in a hollow cathode lamp (HCL) for the stabilization of a diode laser to the 401-nm transition. We review the theory behind Doppler-free polarization spectroscopy, theoretically model the expected erbium polarization spectra, and compare the numerically calculated spectra to our experimental data. We further analyze the dependence of the measured spectra on the HCL current and the peak intensities of our pump and probe lasers to determine conditions for optimal laser stabilization.


title: ISR corrections to associated $HZ$ production at future Higgs factories

abstract: We evaluate the QED corrections due to initial state radiation (ISR) to associated Higgs boson production in electron-positron ($e^+ e^-$) annihilation at typical energies of interest for the measurement of the Higgs properties at future $e^+ e^-$ colliders, such as CEPC and FCC-ee. We apply the QED Structure Function approach to the four-fermion production process $e^+ e^- \to \mu^+ \mu^- b \bar b$, including both signal and background contributions. We emphasize the relevance of the ISR corrections particularly near threshold and show that finite third order collinear contributions are mandatory to meet the expected experimental accuracy. We analyze in turn the r\^ole played by a full four-fermion calculation and beam energy spread in precision calculations for Higgs physics at future $e^+ e^-$ colliders.


title: High-Precision Half-life Measurement for the Superallowed Fermi $\beta^+$ Emitter $^{22}$Mg

abstract: A high-precision half-life measurement for the superallowed Fermi $\beta^+$ emitter $^{22}$Mg was performed at the TRIUMF-ISAC facility using a 4$\pi$ proportional gas counter. The result of $T_{1/2} = 3.87400 \pm 0.00079$ s is a factor of 3 more precise than the previously adopted world average and resolves a discrepancy between the two previously published $^{22}$Mg half-life measurements.


title: Noisy Spins and the Richardson-Gaudin Model

abstract: We study a system of spins (qubits) coupled to a common noisy environment, each precessing at its own frequency. The correlated noise experienced by the spins implies long-lived correlations that relax only due to the differing frequencies. We use a mapping to a non-Hermitian integrable Richardson-Gaudin model to find the exact spectrum of the quantum master equation in the high-temperature limit, and hence determine the decay rate. Our solution can be used to evaluate the effect of inhomogeneous splittings on a system of qubits coupled to a common bath.


title: Strong lensing modeling in galaxy clusters as a promising method to test cosmography I. Parametric dark energy models

abstract: In this paper we probe five cosmological models for which the dark energy equation of state parameter, $w(z)$, is parameterized as a function of redshift using strong lensing data in the galaxy cluster Abell 1689. We constrain the parameters of the $w(z)$ functions by reconstructing the lens model under each one of these cosmologies with strong lensing measurements from two galaxy clusters: Abell 1689 and a mock cluster, Ares, from the Hubble Frontier Fields Comparison Challenge, to validate our methodology. To quantify how the cosmological constraints are biased due to systematic effects in the strong lensing modeling, we carry out three runs considering the following uncertainties for the multiple images positions: 0.25", 0.5", and 1.0". With Ares, we find that larger errors decrease the systematic bias on the estimated cosmological parameters. With real data, our strong-lensing constraints on $w(z)$ are consistent those derived from other cosmological probes. We confirm that strong lensing cosmography with galaxy clusters is a promising method to constrain $w(z)$ parameterizations. A better understanding of galaxy clusters and their environment is however needed to improve the SL modeling and hence to estimate stringent cosmological parameters in alternatives cosmologies.


title: BinPro: A Tool for Binary Source Code Provenance

abstract: Enforcing open source licenses such as the GNU General Public License (GPL), analyzing a binary for possible vulnerabilities, and code maintenance are all situations where it is useful to be able to determine the source code provenance of a binary. While previous work has either focused on computing binary-to-binary similarity or source-to-source similarity, BinPro is the first work we are aware of to tackle the problem of source-to-binary similarity. BinPro can match binaries with their source code even without knowing which compiler was used to produce the binary, or what optimization level was used with the compiler. To do this, BinPro utilizes machine learning to compute optimal code features for determining binary-to-source similarity and a static analysis pipeline to extract and compute similarity based on those features. Our experiments show that on average BinPro computes a similarity of 81% for matching binaries and source code of the same applications, and an average similarity of 25% for binaries and source code of similar but different applications. This shows that BinPro's similarity score is useful for determining if a binary was derived from a particular source code.


title: Adaptive Network Flow with $k$-Arc Destruction

abstract: When a flow is not allowed to be reoriented the Maximum Residual Flow Problem with $k$-Arc Destruction is known to be $NP$-hard for $k=2$. We show that when a flow is allowed to be adaptive the problem becomes polynomial for every fixed $k$.


title: A Unified Game-Theoretic Approach to Multiagent Reinforcement Learning

abstract: To achieve general intelligence, agents must learn how to interact with others in a shared environment: this is the challenge of multiagent reinforcement learning (MARL). The simplest form is independent reinforcement learning (InRL), where each agent treats its experience as part of its (non-stationary) environment. In this paper, we first observe that policies learned using InRL can overfit to the other agents' policies during training, failing to sufficiently generalize during execution. We introduce a new metric, joint-policy correlation, to quantify this effect. We describe an algorithm for general MARL, based on approximate best responses to mixtures of policies generated using deep reinforcement learning, and empirical game-theoretic analysis to compute meta-strategies for policy selection. The algorithm generalizes previous ones such as InRL, iterated best response, double oracle, and fictitious play. Then, we present a scalable implementation which reduces the memory requirement using decoupled meta-solvers. Finally, we demonstrate the generality of the resulting policies in two partially observable settings: gridworld coordination games and poker.