title: Overcharging black holes and cosmic censorship in Eddington-inspired Born-Infeld gravity

abstract: The Eddington-inspired Born-Infeld (EiBI) gravity is a modification of the theory of general relativity inspired by the nonlinear Born-Infeld electrodynamics. The theory is described by a series of higher curvature terms added to the Einstein-Hilbert action with the parameter $\kappa$. The EiBI gravity has several interesting exact neutral and charged black hole solutions. We study the problem of overcharging extremal black hole solutions of EiBI gravity using a charged test particle to create naked singularity. We show that unlike general relativity, the overcharging could be possible for a charged extremal black hole in EiBI gravity as long as the matter sector is described by usual Maxwell's electrodynamics. Once the matter sector is also modified in accordance to the Born-Infeld prescription with the parameter $b$, the overcharging is not possible as long as the parameters obey the condition $4 \kappa b^2 \leq 1$.


title: Updated evaluation of $\varepsilon_K$ in the Standard Model with lattice QCD inputs

abstract: We report a strong tension in $\varepsilon_K$ at the $4\sigma$ level between the experimental value and the theoretical value calculated directly from the standard model using lattice QCD inputs such as $\hat{B}_K$, $|V_{cb}|$, $|V_{us}|$, $\xi_0$, $\xi_2$, $\xi_\text{LD}$, $F_K$, and $m_c$. The standard model with lattice QCD inputs describes only 70% of the experimental value of $\varepsilon_K$, and does not explain its remaining 30%. We also find that this tension disappears when we use the inclusive value of $|V_{cb}|$ (results of the heavy quark expansion based on QCD sum rules) to determine $\varepsilon_K$. This tension is highly correlated with the present discrepancy between the exclusive and inclusive values of $|V_{cb}|$. In order to resolve, in part, the issue with $|V_{cb}|$, it would be highly desirable to have a comprehensive re-analysis over the entire set of experimental data on the $\bar{B} \to D^* \ell \bar{\nu}$ decays using an alternative parametrization of the form factors, such as the BGL parametrization, and a comparison with results of the CLN method.


title: APRIL: Interactively Learning to Summarise by Combining Active Preference Learning and Reinforcement Learning

abstract: We propose a method to perform automatic document summarisation without using reference summaries. Instead, our method interactively learns from users' preferences. The merit of preference-based interactive summarisation is that preferences are easier for users to provide than reference summaries. Existing preference-based interactive learning methods suffer from high sample complexity, i.e. they need to interact with the oracle for many rounds in order to converge. In this work, we propose a new objective function, which enables us to leverage active learning, preference learning and reinforcement learning techniques in order to reduce the sample complexity. Both simulation and real-user experiments suggest that our method significantly advances the state of the art. Our source code is freely available at https://github.com/UKPLab/emnlp2018-april.


title: Analysis of $L^p$-type estimates of Poisson transform on Homogeneous Trees

abstract: In this article we prove the restriction theorem for Helgason-Fourier transform on homogeneous tree. Our proof is based on the duality argument and the norm estimates of Poisson transform. We also characterize all eigenfunctions of the laplacian on homogeneous tree which are Poisson transform of $L^p$ functions defined on the boundary.


title: Electric Vehicle Charging Station Placement Method for Urban Areas

abstract: For accommodating more electric vehicles (EVs) to battle against fossil fuel emission, the problem of charging station placement is inevitable and could be costly if done improperly. Some researches consider a general setup, using conditions such as driving ranges for planning. However, most of the EV growths in the next decades will happen in the urban area, where driving ranges is not the biggest concern. For such a need, we consider several practical aspects of urban systems, such as voltage regulation cost and protection device upgrade resulting from the large integration of EVs. Notably, our diversified objective can reveal the trade-off between different factors in different cities worldwide. To understand the global optimum of large-scale analysis, we add constraint one-by-one to see how to preserve the problem convexity. Our sensitivity analysis before and after convexification shows that our approach is not only universally applicable but also has a small approximation error for prioritizing the most urgent constraint in a specific setup. Finally, numerical results demonstrate the trade-off, the relationship between different factors and the global objective, and the small approximation error. A unique observation in this study shows the importance of incorporating the protection device upgrade in urban system planning on charging stations.


title: The factor type of dissipative KMS weights on graph C*-algebras

abstract: We calculate the S-invariant of Connes for the von Neumann algebra factors arising from KMS-weights of a generalized gauge action on a simple graph C*-algebra when the associated measure on the infinite path space of the graph is dissipative under the action of the shift.


title: Foam evaluation and Kronheimer--Mrowka theories

abstract: We introduce and study combinatorial equivariant analogues of the Kronheimer--Mrowka homology theory of planar trivalent graphs.


title: Context Mover's Distance & Barycenters: Optimal Transport of Contexts for Building Representations

abstract: We present a framework for building unsupervised representations of entities and their compositions, where each entity is viewed as a probability distribution rather than a vector embedding. In particular, this distribution is supported over the contexts which co-occur with the entity and are embedded in a suitable low-dimensional space. This enables us to consider representation learning from the perspective of Optimal Transport and take advantage of its tools such as Wasserstein distance and barycenters. We elaborate how the method can be applied for obtaining unsupervised representations of text and illustrate the performance (quantitatively as well as qualitatively) on tasks such as measuring sentence similarity, word entailment and similarity, where we empirically observe significant gains (e.g., 4.1% relative improvement over Sent2vec, GenSen). The key benefits of the proposed approach include: (a) capturing uncertainty and polysemy via modeling the entities as distributions, (b) utilizing the underlying geometry of the particular task (with the ground cost), (c) simultaneously providing interpretability with the notion of optimal transport between contexts and (d) easy applicability on top of existing point embedding methods. The code, as well as prebuilt histograms, are available under https://github.com/context-mover/.


title: Interactions between vector mesons and dynamically generated resonances

abstract: The $\rho\rho$ interaction and the corresponding dynamically generated bound states are revisited. We demonstrate that an improved unitarization method is necessary to study the pole structures of amplitudes outside the near-threshold region. In this work, we extend the study of the covariant $\rho\rho$ scattering in a unitarized chiral theory to the $S$-wave interactions for the whole vector-meson nonet. We demonstrate that there are unphysical left-hand cuts in the on-shell factorization approach of the Bethe-Salpeter equation. This is in conflict with the correct analytic behavior and makes the so-obtained poles, corresponding to possible bound states or resonances, unreliable. To avoid this difficulty, we employ the first iterated solution of the $N/D$ method and investigate the possible dynamically generated resonances from vector-vector interactions. A comparison with the results from the nonrelativistic calculation is provided as well.


title: Revisiting Relative Indicators and Provisional Truths

abstract: Following discussions in 2010 and 2011, scientometric evaluators have increasingly abandoned relative indicators in favor of comparing observed with expected citation ratios. The latter method provides parameters with error values allowing for the statistical testing of differences in citation scores. A further step would be to proceed to non-parametric statistics (e.g., the top-10%) given the extreme skewness (non-normality) of the citation distributions. In response to a plea for returning to relative indicators in the previous issue of this newsletter, we argue in favor of further progress in the development of citation impact indicators.


title: Analytic Moments for GARCH Processes

abstract: For a GJR-GARCH specification with a generic innovation distribution we derive analytic expressions for the first four conditional moments of the forward and aggregated returns and variances. Moment for the most commonly used GARCH models are stated as special cases. We also the limits of these moments as the time horizon increases, establishing regularity conditions for the moments of aggregated returns to converge to normal moments. Our empirical study yields excellent approximate predictive distributions from these analytic moments, thus precluding the need for time-consuming simulations.


title: Moduli of Hyperelliptic Curves and Multiple Dirichlet Series

abstract: In this paper we provide an explicit construction of a $distinctive$ multiple Dirichlet series associated to products of quadratic Dirichlet L-series, which we believe should be tightly connected to a generalized metaplectic Whittaker function on the double cover of a Kac-Moody group. To do so, we first impose a set of axioms, independent of any group of functional equations, which the aforementioned object should satisfy. As a consequence, we deduce that the coefficients of the $p$-parts of the multiple Dirichlet series satisfy certain recurrence relations. These relations lead to a family of identities, which turns out to be $encoded$ in the combinatorial structure of certain moduli spaces of admissible double covers. Finally, via this crucial connection, we apply Deligne's theory of weights to express inductively the coefficients of the $p$-parts in terms of the eigenvalues of Frobenius acting on the $\ell$-adic \'etale cohomology of local systems on the moduli $\mathscr{H}_{g}[2]$ of hyperelliptic curves of genus $g$ with level 2 structure.


title: Transport in quantum multi-barrier systems as random walks on a lattice

abstract: A quantum finite multi-barrier system, with a periodic potential, is considered and exact expressions for its plane wave amplitudes are obtained using the Transfer Matrix method [10]. This quantum model is then associated with a stochastic process of independent random walks on a lattice, by properly relating the wave amplitudes with the hopping probabilities of the particles moving on the lattice and with the injection rates from external particle reservoirs. Analytical and numerical results prove that the stationary density profile of the particle system overlaps with the quantum mass density profile of the stationary Schrodinger equation, when the parameters of the two models are suitably matched. The equivalence between the quantum model and a stochastic particle system would mainly be fruitful in a disordered setup. Indeed, we also show, here, that this connection, analytically proven to hold for periodic barriers, holds even when the width of the barriers and the distance between barriers are randomly chosen.


title: Recent progress on scaling algorithms and applications

abstract: Scaling problems have a rich and diverse history, and thereby have found numerous applications in several fields of science and engineering. For instance, the matrix scaling problem has had applications ranging from theoretical computer science to telephone forecasting, economics, statistics, optimization, among many other fields. Recently, a generalization of matrix scaling known as operator scaling has found applications in non-commutative algebra, invariant theory, combinatorics and algebraic complexity; and a further generalization (tensor scaling) has found more applications in quantum information theory, geometric complexity theory and invariant theory. In this survey, we will describe in detail the scaling problems mentioned above, showing how alternating minimization algorithms naturally arise in this setting, and we shall present a general framework to rigorously analyze such algorithms. These simple problems and algorithms are not just applicable to diverse mathematical and CS areas, but also serve to bring out deep connections between them. As this framework makes extensive use of concepts from invariant theory, we also provide a very gentle introduction to basic concepts of invariant theory and how they are used to analyze alternating minimization algorithms for the scaling problems. This survey is intended for a general computer science audience, and the only background required is basic knowledge of calculus and linear algebra, thereby making it accessible to graduate students and even to advanced undergraduates.


title: Proximal boosting: aggregating weak learners to minimize non-differentiable losses

abstract: Gradient boosting is a prediction method that iteratively combines weak learners to produce a complex and accurate model. From an optimization point of view, the learning procedure of gradient boosting mimics a gradient descent on a functional variable. This paper proposes to build upon the proximal point algorithm, when the empirical risk to minimize is not differentiable, in order to introduce a novel boosting approach, called proximal boosting. It comes with a companion algorithm inspired by [1] and called residual proximal boosting, which is aimed at better controlling the approximation error. Theoretical convergence is proved for these two procedures under different hypotheses on the empirical risk and advantages of leveraging proximal methods for boosting are illustrated by numerical experiments on simulated and real-world data. In particular, we exhibit a favorable comparison over gradient boosting regarding convergence rate and prediction accuracy.


title: Fuel Pellet Alignment in Heavy-Ion Inertial Fusion Reactor

abstract: In inertial confinement fusion, the scientific issues include the generation and transport of driver energy, the pellet design, the uniform target implosion physics, the realistic nuclear fusion reactor design, etc. In this paper, we present a pellet injection into a power reactor in heavy ion inertial fusion. We employ a magnetic correction method to reduce the pellet alignment error in heavy ion inertial fusion reactor chamber, including the gravity, the reactor gas drag force and the injection errors. We found that the magnetic correction device proposed in this paper is effective to construct a robust pellet injection system with a sufficiently small pellet alignment error.


title: On the minimum number of facets of a 2-neighborly polytope

abstract: Let $\mu_{\text{2n}}(d,v)$ (respectively, $\mu^{\text{s}}_{\text{2n}}(d,v)$) be the minimal number of facets of a (simplicial) 2-neighborly $d$-polytope with $v$ vertices, $v > d \ge 4$. It is known that $\mu_{\text{2n}}(4,v) = v (v-3)/2$, $\mu_{\text{2n}}(d, d+2) = d+5$, $\mu_{\text{2n}}(d,d+3) = d+7$ for $d \ge 5$, and $\mu_{\text{2n}}(d,d+4) \in [d+5, d+8]$ for $d \ge 6$. We show that $\mu_{\text{2n}}(5, v) = \Omega(v^{4/3})$, $\mu_{\text{2n}}(6, v) \ge v$, and the equality $\mu_{\text{2n}}(6, v) = v$ holds only for a simplex and for a dual 2-neighborly 6-polytope (if it exists) with $v \ge 27$. By using $g$-theorem, we get $\mu^{\text{s}}_{\text{2n}}(d, v) = \Delta (\Delta(d-3) + 3d - 5)/2 + d + 1$, where $\Delta = v - d - 1$. Also we show that $\mu_{\text{2n}}(d, v) \ge d+7$ for $v \ge d+4$.


title: The interaction of multiple stellar winds in stellar clusters: potential flow

abstract: While several studies have investigated large-scale cluster winds resulting from an intra-cluster interaction of multiple stellar winds, as yet they have not provided details of the bordering flows inside a given cluster. The present work explores the principal structure of the combined flow resulting from the interaction of multiple stellar winds inside stellar clusters. The theory of complex potentials is applied to analytically investigate stagnation points, boundaries between individual outflows, and the hydrodynamic structure of the asymptotic large-scale cluster wind. In a second part, these planar considerations are extended to fully three-dimensional, asymmetric configurations of wind-driving stars. We find (i) that one can distinguish regions in the large-scale cluster wind that are determined by the individual stellar winds, (ii) that there are comparatively narrow outflow channels, and (iii) that the large-scale cluster wind asymptotically approaches spherical symmetry at large distances. The combined flow inside a stellar cluster resulting from the interaction of multiple stellar winds is highly structured.


title: Modular forms and q-analogues of modified double zeta values

abstract: We present explicit formulas for Hecke eigenforms as linear combinations of q-analogues of modified double zeta values. As an application, we obtain period polynomial relations and sum formulas for these modified double zeta values. These relations have similar shapes as the period polynomial relations of Gangl, Kaneko and Zagier and the usual sum formulas for classical double zeta values.


title: Spectroscopic orbits of subsystems in multiple stars. IV. Double-lined pairs

abstract: Spectroscopic orbits are computed for inner pairs in 9 hierarchical multiple systems (HIP 19639, 60845, 75663, 76816, 78163, 78416, 80448, 84789, and HD 105080) and for one simple binary HIP 61840. All subsystems are double-lined, and their periods range from 2.27 to 30.4 days. Five spectroscopic binaries are twins with equal masses. Each hierarchical system is discussed individually, providing estimates of outer periods, masses, orbital inclination, and axial rotation. For systems with three resolved visual components (HIP 60845 and 80448), the outer and inner visual orbits are determined, complementing the description of their architecture. The radial velocities of HIP 75663A, 76816B, and 78163B are found to be variable with long periods, implying that these hierarchies are 2+2 quadruples. The period-eccentricity relation for spectroscopic subsystems is discussed.


title: Joint Doppler and Channel Estimation with Nested Arrays for Millimeter Wave Communications

abstract: Channel estimation is essential for precoding/combining in millimeter wave (mmWave) communications. However, accurate estimation is usually difficult because the receiver can only observe the low-dimensional projection of the received signals due to the hybrid architecture. We take the high speed scenario into consideration where the Doppler effect caused by fast-moving users can seriously deteriorate the channel estimation accuracy. In this paper, we propose to incorporate the nested array into analog array architecture by using RF switch networks with an objective of reducing the complexity and power consumption of the system. Based on the covariance fitting criterion, a joint Doppler and channel estimation method is proposed without need of discretizing the angle space, and thus the model mismatch effect can be totally eliminated. We also present an algorithmic implementation by solving the dual problem of the original one in order to reduce the computational complexity. Numerical simulations are provided to demonstrate the effectiveness and superiority of our proposed method.


title: How does latent liquidity get revealed in the limit order book?

abstract: Latent order book models have allowed for significant progress in our understanding of price formation in financial markets. In particular they are able to reproduce a number of stylized facts, such as the square-root impact law. An important question that is raised -- if one is to bring such models closer to real market data -- is that of the connection between the latent (unobservable) order book and the real (observable) order book. Here we suggest a simple, consistent mechanism for the revelation of latent liquidity that allows for quantitative estimation of the latent order book from real market data. We successfully confront our results to real order book data for over a hundred assets and discuss market stability. One of our key theoretical results is the existence of a market instability threshold, where the conversion of latent order becomes too slow, inducing liquidity crises. Finally we compute the price impact of a metaorder in different parameter regimes.


title: Tail indices for AX+B recursion with triangular matrices

abstract: Multivariate stochastic recurrence equations (SREs) are investigated when coefficients are triangular matrices. If coefficient matrices of SREs have all strictly positive elements, the Kesten's classical result yields solutions with regularly varying tails such that the tail indices of solutions are the same through coordinates. This framework is too restrictive for applications. In order to widen the applicability of the SREs, we study SREs with triangular matrix coefficients and prove that they have regularly varying solutions which may exhibit coordinate-wisely different tail exponents. We also specify the coefficients for regularly varying tails. Several applications are suggested for GARCH models.


title: Image-based Survival Analysis for Lung Cancer Patients using CNNs

abstract: Traditional survival models such as the Cox proportional hazards model are typically based on scalar or categorical clinical features. With the advent of increasingly large image datasets, it has become feasible to incorporate quantitative image features into survival prediction. So far, this kind of analysis is mostly based on radiomics features, i.e. a fixed set of features that is mathematically defined a priori. To capture highly abstract information, it is desirable to learn the feature extraction using convolutional neural networks. However, for tomographic medical images, model training is difficult because on the one hand, only few samples of 3D image data fit into one batch at once and on the other hand, survival loss functions are essentially ordering measures that require large batch sizes. In this work, we show that by simplifying survival analysis to median survival classification, convolutional neural networks can be trained with small batch sizes and learn features that predict survival equally well as end-to-end hazard prediction networks. Our approach outperforms the previous state of the art in a publicly available lung cancer dataset.


title: Observation of the decay $D^0\rightarrow K^-\pi^+e^+e^-$

abstract: We report the observation of the rare charm decay $D^0\rightarrow K^-\pi^+e^+e^-$, based on $468$ fb$^{-1}$ of $e^+e^-$ annihilation data collected at or close to the center-of-mass energy of the $Y(4S)$ resonance with the BaBar detector at the SLAC National Accelerator Laboratory. We find the branching fraction in the invariant mass range $0.675< m(e^+e^-) < 0.875 GeV/c^2$ of the electron-positron pair to be ${\cal B}(D^0\rightarrow K^-\pi^+e^+e^-) = (4.0\pm0.5\pm0.2\pm0.1) \times 10^{-6}$, where the first uncertainty is statistical, the second systematic, and the third due to the uncertainty in the branching fraction of the decay $D^0\rightarrow K^-\pi^+\pi^+\pi^-$ used as a normalization mode. The significance of the observation corresponds to 9.7 standard deviations including systematic uncertainties. This result is consistent with the recently reported $D^0\rightarrow K^-\pi^+\mu^+\mu^-$ branching fraction, measured in the same invariant mass range, and with the value expected in the Standard Model. In a set of regions of $m(e^+e^-)$ where long-distance effects are potentially small, we determine a 90% confidence level upper limit on the branching fraction ${\cal B}(D^0\rightarrow K^-\pi^+e^+e^-) < 3.1 \times 10^{-6}$.


title: Siloxane-based 6LiF composites for flexible thermal neutron scintillation sensors with high efficiency: effects of 6LiF crystals size and dispersion homogeneity

abstract: The production of flexible and robust thermal neutron detectors with improved properties as compared to the commercial ZnS:Ag based phosphors is here pursued, exploiting a siloxane binder, whose intrinsic properties as related to the chemical features of the functional groups and to the optical properties are investigated and tailored in correlation with the final performances of the detectors. Two different siloxanes either with pendant phenyl groups or with aliphatic groups have been used, the former being intrinsically fluorescent and with higher polarizability than the latter. Moreover, 6LiF crystals have been synthesized by co-precipitation method and the solvent/co-solvent ratio has been changed in order to tune the crystal size. Then, the size effect on the detector efficiency to thermal neutrons has been investigated as related to the energy loss of thermal neutron reaction products inside the crystal and the dispersion homogeneity of the crystals into the composite. To complete the characterization of the produced flexible detectors, the response to {\gamma}-rays has been measured and compared to a commercial detector. The careful choice of both the base resin and the 6LiF crystals size allows to produce flexible detector for thermal neutrons with performances comparable to the commercial standard and with higher mechanical robustness and stability.


title: Fair Marketplace for Secure Outsourced Computations

abstract: The cloud computing paradigm offers clients ubiquitous and on demand access to a shared pool of computing resources, enabling the clients to provision scalable services with minimal management effort. Such a pool of resources, however, is typically owned and controlled by a single service provider, making it a single-point-of-failure. This paper presents Kosto - a framework that provisions a fair marketplace for secure outsourced computations, wherein the pool of computing resources aggregates resources offered by a large cohort of independent compute nodes. Kosto protects the confidentiality of clients' inputs as well as the integrity of the outsourced computations and their results using trusted hardware's enclave execution, in particular Intel SGX. Furthermore, Kosto warrants fair exchanges between the clients' payments for the execution of an outsourced computations and the compute nodes' work in servicing the clients' requests. Empirical evaluation on the prototype implementation of Kosto shows that performance overhead incurred by enclave execution is as small as 3% for computation-intensive operations, and 1.5x for IO-intensive operations.


title: Attractor Dimensions of Three-Dimensional Navier-Stokes-$\alpha$ Model for Fast Rotating Fluids on Generic-Period Domains: Comparison with Navier-Stokes Equations

abstract: The three-dimensional Navier-Stokes-$\alpha$ model for fast rotating geophysical fluids is considered. The Navier-Stokes-$\alpha$ model is a nonlinear dispersive regularization of the exact Navier-Stokes equations obtained by Lagrangian averaging and tend to the Navier-Stokes equations as $\alpha\rightarrow 0^+$. We estimate upper bounds for the dimensions of global attractors and study the dependence of the dimensions on the parameter $\alpha$. All the estimates are uniform in $\alpha$, and our estimate of attractor dimensions remain finite when $\alpha\rightarrow 0^+$.


title: On principal frequencies and inradius in convex sets

abstract: We generalize to the case of the $p-$Laplacian an old result by Hersch and Protter. Namely, we show that it is possible to estimate from below the first eigenvalue of the Dirichlet $p-$Laplacian of a convex set in terms of its inradius. We also prove a lower bound in terms of isoperimetric ratios and we briefly discuss the more general case of Poincar\'e-Sobolev embedding constants. Eventually, we highlight an open problem.


title: Smile Modelling in Commodity Markets

abstract: We present a stochastic-local volatility model for derivative contracts on commodity futures able to describe forward-curve and smile dynamics with a fast calibration to liquid market quotes. A parsimonious parametrization is introduced to deal with the limited number of options quoted in the market. Cleared commodity markets for futures and options are analyzed to include in the pricing framework specific trading clauses and margining procedures. Numerical examples for calibration and pricing are provided for different commodity products.


title: Switching Cost Models as Hypothesis Tests

abstract: We relate models based on costs of switching beliefs (e.g. due to inattention) to hypothesis tests. Specifically, for an inference problem with a penalty for mistakes and for switching the inferred value, a band of inaction is optimal. We show this band is equivalent to a confidence interval, and therefore to a two-sided hypothesis test.


title: Minimality for unions of 2-dimensional minimal cones with non-isolated singularities

abstract: In this article we prove that for a large class of 2-dimensional minimal cones (including almost all 2-dimensional minimal cones that we know), the almost orthogonal union of any two of them is still a minimal cone. Comparing to existing results for minimality of almost orthogonal union of planes \cite{2p,2ptopo}, here we are dealing with unions of cones with non isolated singularities, which results in a series of essential difficulties, and new ideas are required. The proof in this article can be generalized to other types of minimalities, e.g. topological minimality, Reifenberg minimality, etc..


title: An Operation Sequence Model for Explainable Neural Machine Translation

abstract: We propose to achieve explainable neural machine translation (NMT) by changing the output representation to explain itself. We present a novel approach to NMT which generates the target sentence by monotonically walking through the source sentence. Word reordering is modeled by operations which allow setting markers in the target sentence and move a target-side write head between those markers. In contrast to many modern neural models, our system emits explicit word alignment information which is often crucial to practical machine translation as it improves explainability. Our technique can outperform a plain text system in terms of BLEU score under the recent Transformer architecture on Japanese-English and Portuguese-English, and is within 0.5 BLEU difference on Spanish-English.


title: Accelerating, guiding, and compressing skyrmions by defect rails

abstract: Magnetic skyrmions are promising candidates as information carriers in spintronic devices. The transport of individual skyrmions in a fast and controlled way is a key issue in this field. Here we introduce a novel platform for accelerating, guiding and compressing skyrmions along predefined paths. The guiding mechanism is based on two parallel defect-lines (rails), one attractive and the other repulsive. Numerical simulations, using parameters from state-of-the-art experiments, show that the speed of the skyrmions along the rails is increased up to a factor of ten with respect to the non-defect case whereas the distance between rails can be as small as the initial radius of the skyrmions. In this way, the flux of information that can be coded and transported with magnetic skyrmions could be significantly increased.


title: An integral that counts the zeros of a function

abstract: Given a real function $f$ on an interval $[a,b]$ satisfying mild regularity conditions, we determine the number of zeros of $f$ by evaluating a certain integral. The integrand depends on $f, f'$ and $f''$. In particular, by approximating the integral with the trapezoidal rule on a fine enough grid, we can compute the number of zeros of $f$ by evaluating finitely many values of $f,f'$ and $f''$. A variant of the integral even allows to determine the number of the zeros broken down by their multiplicity.


title: Measure and sliding stability for 2-dimensional minimal cones in Euclidean spaces

abstract: In this article we prove the measure stability for all 2-dimensional Almgren minimal cones in $\mathbb{R}^n$, and the Almgren (resp. topological) sliding stability for the 2-dimensional Almgren (resp. topological) minimal cones in $\mathbb{R}^3$. As proved in \cite{2T}, when several 2-dimensional Almgren (resp. topological) minimal cones are measure and Almgren (resp. topological) sliding stable, and Almgren (resp. topological) unique, the almost orthogonal union of them stays minimal. As consequence, the results of this article, together with the uniqueness properties proved in \cite{uniquePYT}, permit us to use all 2-dimensional minimal cones in $\mathbb{R}^3$ to generate new families of minimal cones by taking their almost orthogonal unions.


title: Improved one-sided deviation inequalities under regularity assumptions for product measures

abstract: This note is concerned with lower tail estimates for product measures. Some improved deviation inequalities are obtained for functions satisfying some regularity and monotonicity assumptions. The arguments are based on semigroup interpolation together with Harris's negative association inequality and hypercontractive estimates.


title: PCR-Pro: 3D Sparse and Different Scale Point Clouds Registration and Robust Estimation of Information Matrix For Pose Graph SLAM

abstract: For both indoor and outdoor environments, we propose an efficient and novel method for different scales and sparse 3D point clouds registration that cannot be handled by the current popular ICP approaches. Our algorithm efficiently detects the scale difference between point clouds and uses the keyframes to estimate the relative pose for calculating the scale difference. The algorithm applies a filter and computes the final transformation which coverages to a global minimum. The good estimation of transform and scale helps in the calculation of the covariance matrix using a closed form solution efficiently. This covariance between point clouds helps in the estimation of information matrix for pose-graph SLAM.


title: Absolute Quantum Theory (after Chang, Lewis, Minic and Takeuchi), and a road to quantum deletion

abstract: In a recent paper [2], Chang et al. have proposed studying "Quantum $\mathbb{F}_{un}$": the $q \mapsto 1$ limit of Modal Quantum Theories over finite fields $\mathbb{F}_q$, motivated by the fact that such limit theories can be naturally interpreted in classical Quantum Theory. In this letter, we first make a number of rectifications of statements made in [2]. For instance, we show that Quantum Theory over $\mathbb{F}_1$ {\em does} have a natural analogon of an inner product, and so orthogonality is a well-defined notion, contrary to what is claimed in [2]. Starting from that formalism, we introduce time evolution operators and observables in Quantum $\mathbb{F}_{un}$, and we determine the corresponding unitary group. Next, we obtain a typical no-cloning in the general realm of Quantum $\mathbb{F}_{un}$. Finally, we obtain a no-deletion result as well. Remarkably, we show that we {\em can} perform quantum deletion by {\em almost unitary operators}, with a probability tending to $1$. Although we develop the construction in Quantum $\mathbb{F}_{un}$, it is also valid in any other Quantum Theory (and thus also in classical Quantum Theory).


title: Uniqueness of 2-dimensional minimal cones in $\mathbb{R}^3$

abstract: In this article we treat two closely related problems: 1) the upper semi continuity property for Almgren minimal sets in regions with regular boundary, which guanrantees that the uniqueness property is well defined; and 2) the Almgren (resp. topological) uniqueness property for all the 2-dimensional Almgren (resp. topological) minimal cones in $\mathbb{R}^3$. As proved in \cite{2T}, when several 2-dimensional Almgren (resp. topological) minimal cones are measure and Almgren (resp. topological) sliding stable, and Almgren (resp. topological) unique, the almost orthogonal union of them stays minimal. As consequence, the results of this article, together with the measure and sliding stability properties proved in \tb{\cite{stablePYT} and \cite{stableYXY}}, permit us to use all known 2-dimensional minimal cones in $\mathbb{R}^n$ to generate new families of minimal cones by taking their almost orthogonal unions. The upper semi continuity property is also helpful in various circumstances: when we have to carry on arguments using Hausdorff limits and some properties do not pass to the limit, the upper semi continuity can serve as a link. As an example, it plays a very important role throughout \cite{2T}.


title: The Shoda-completion of a Banach algebra

abstract: In stark contrast to the case of finite rank operators on a Banach space, the socle of a general, complex, semisimple, and unital Banach algebra $A$ may exhibit the `pathological' property that not all traceless elements of the socle of $A$ can be expressed as the commutator of two elements belonging to the socle. The aim of this paper is to show how one may develop an extension of $A$ which removes the aforementioned problem. A naive way of achieving this is to simply embed $A$ in the algebra of bounded linear operators on $A$, i.e. the natural embedding of $A$ into $\mathcal L(A)$. But this extension is so large that it may not preserve the socle of $A$ in the extended algebra $\mathcal L(A)$. Our proposed extension, which we shall call the Shoda-completion of $A$, is natural in the sense that it is small enough for the socle of $A$ to retain the status of socle elements in the extension.


title: Fractional Multiscale Fusion-based De-hazing

abstract: This report presents the results of a proposed multi-scale fusion-based single image de-hazing algorithm, which can also be used for underwater image enhancement. Furthermore, the algorithm was designed for very fast operation and minimal run-time. The proposed scheme is the faster than existing algorithms for both de-hazing and underwater image enhancement and amenable to digital hardware implementation. Results indicate mostly consistent and good results for both categories of images when compared with other algorithms from the literature.


title: Non-exchangeability of copulas arising from shock models

abstract: When choosing the right copula for our data a key point is to distinguish the family that describes it at the best. In this respect, a better choice of the copulas could be obtained through the information about the (non)symmetry of the data. Exchangeability as a probability concept (first next to independence) has been studied since 1930's, copulas have been studied since 1950's, and even the most important class of copulas from the point of view of applications, i.e. the ones arising from shock models s.a. Marshall's copulas, have been studied since 1960's. However, the point of non-exchangeability of copulas was brought up only in 2006 and has been intensively studied ever since. One of the main contributions of this paper is the maximal asymmetry function for a family of copulas. We compute this function for the major families of shock-based copulas, i.e. Marshall, maxmin and reflected maxmin (RMM for short) copulas and also for some other important families. We compute the sharp bound of asymmetry measure $\mu_\infty$, the most important of the asymmetry measures, for the family of Marshall copulas and the family of maxmin copulas, which both equal to $\frac{4}{27}\ (\approx 0.148)$. One should compare this bound to the one for the class of PQD copulas to which they belong, which is $3-2\sqrt{2}\ \approx 0.172)$, and to the general bound for all copulas that is $\frac13$. Furthermore, we give the sharp bound of the same asymmetry measure for RMM copulas which is $3-2\sqrt{2}$, compared to the same bound for NQD copulas, where they belong, which is $\sqrt{5}-2\ (\approx 0.236)$. One of our main results is also the statistical interpretation of shocks in a given model at which the maximal asymmetry measure bound is attained. These interpretations for the three families studied are illustrated by examples that should be helpful to practitioners when choosing the model for their data.


title: Observational evidence for a dry dust-wind origin of Mars seasonal dark flows

abstract: Seasonal flows on warm slopes, or recurring slope lineae ("RSL"), have been presented as strong evidence for currently flowing water on Mars. This assumption was supported by a correlation between activity and warm temperatures, and by the spectral identification of hydrated salts. Here we first demonstrate that salts spectral identification is not robust, and that flow activity occurs on a wider range of seasons and slope orientations than previously thought, ruling out liquid water as a probable contributor. We then show that morphology, location and timing of flow activity is fully consistent with the removal and deposition of bright dust above darker underlying surfaces occurring notably in relation with seasonal dust storm activity. Mars recurring slope lineae are thus consistent with dust movements typical of present-day dry planet Mars.


title: Evaluating Fuzz Testing

abstract: Fuzz testing has enjoyed great success at discovering security critical bugs in real software. Recently, researchers have devoted significant effort to devising new fuzzing techniques, strategies, and algorithms. Such new ideas are primarily evaluated experimentally so an important question is: What experimental setup is needed to produce trustworthy results? We surveyed the recent research literature and assessed the experimental evaluations carried out by 32 fuzzing papers. We found problems in every evaluation we considered. We then performed our own extensive experimental evaluation using an existing fuzzer. Our results showed that the general problems we found in existing experimental evaluations can indeed translate to actual wrong or misleading assessments. We conclude with some guidelines that we hope will help improve experimental evaluations of fuzz testing algorithms, making reported results more robust.


title: Comparison of Two Theorem Provers: Isabelle/HOL and Coq

abstract: The need for formal definition of the very basis of mathematics arose in the last century. The scale and complexity of mathematics, along with discovered paradoxes, revealed the danger of accumulating errors across theories. Although, according to G\"odel's incompleteness theorems, it is not possible to construct a single formal system which will describe all phenomena in the world, being complete and consistent at the same time, it gave rise to rather practical areas of logic, such as the theory of automated theorem proving. This is a set of techniques used to verify mathematical statements mechanically using logical reasoning. Moreover, it can be used to solve complex engineering problems as well, for instance, to prove the security properties of a software system or an algorithm. This paper compares two widespread tools for automated theorem proving, Isabelle/HOL and Coq, with respect to expressiveness, limitations and usability. For this reason, it firstly gives a brief introduction to the bases of formal systems and automated deduction theory, their main problems and challenges, and then provides detailed comparison of most notable features of the selected theorem provers with support of illustrative proof examples.


title: Surface and bulk superconductivity at ambient pressure in the Weyl semimetal TaP

abstract: The motivation to search for signatures of superconductivity in Weyl semi-metals and other topological phases lies in their potential for hosting exotic phenomena such as nonzero-momentum pairing or the Majorana fermion, a viable candidate for the ultimate realization of a scalable quantum computer. Until now, however, all known reports of superconductivity in Weyl semimetals have arisen through surface contact with a sharp tip, focused ion-beam surface treatment or the application of high pressures. Here, we demonstrate the observation of superconductivity in single crystals, even an as-grown crystal, of the Weyl semi-metal tantalum phosphide (TaP), at ambient pressure. A superconducting transition temperature, $Tc$, varying between 1.7 and 5.3 K, is observed in different samples, both as-grown and microscopic samples processed with focused ion beam (FIB) etching. Our data show that the superconductivity present in the as-grown crystal is inhomogeneous yet exists in the bulk. For samples fabricated with FIB, we observe, in addition to the bulk superconductivity, a second superconducting state that resides on the sample surface. Through measurements of the characteristic fields as a function of temperature and angle, we are able to confirm the dimensionality of the two distinct superconducting phases.


title: Large Deviations for dynamical fluctuations of Open Markov processes, with application to random cascades on trees

abstract: The large deviations at 'Level 2.5 in time' for time-dependent ensemble-empirical-observables, introduced by C. Maes, K. Netocny and B. Wynants [Markov Proc. Rel. Fields. 14, 445 (2008)] for the case of $N$ independent Markov jump processes, are extended to the case of open Markov processes with reservoirs : explicit formulas are given for the joint probability of empirical occupation numbers and empirical flows, both for discrete-time dynamics and for continuous-time jump dynamics, with possibly time-dependent dynamical rules and/or time-dependent driving of the reservoirs. This general formalism is then applied to random cascades on trees, where particles are injected at the root via a 'source reservoir', while the particles are removed at the leaves of the last generation of the tree via 'sink reservoirs'.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP


title: Leakage and dephasing in $^{28}$Si-based exchange-only spin qubits

abstract: Exchange-only spin qubits hosted in $^{28}$Si-based triple quantum dots do not suffer from decoherence caused by randomly fluctuating nuclear-spin ensembles and can be relatively robust against electrical noise when operated at a sweet spot. Remaining sources of decoherence are qubit relaxation, leakage out of the qubit subspace, and dephasing due to residual effects of charge noise, the latter two of which are the focus of this work. We investigate spin-orbit-mediated leakage rates to the three-spin ground state accompanied by virtual (i) tunneling, (ii) orbital excitation, and (iii) valley excitation of an electron. We find different power-law dependencies on the applied magnetic field $B$ for the three mechanisms as well as for the two leakage rates, ranging from $\propto B^5$ to $\propto B^{11}$, and identify the sweet spot as a point of minimal leakage. We also revisit the role of electrical noise at the sweet spot, and show that it causes a decay of coherent qubit oscillations that follows a power law $\propto 1/t$ (as opposed to the more common exponential decay) and introduces a $\pi/2$ phase shift.


title: Faithful permutation representations of toroidal regular maps

abstract: In this paper we list all possible degrees of a faithful transitive permutation representation of the group of symmetries of a regular map of types $\{4,4\}$ and $\{3,6\}$ and we give examples of graphs, called CPR-graphs, representing some of these permutation representations.


title: Inflation, (P)reheating and Neutrino Anomalies: Production of Sterile Neutrinos with Secret Interactions

abstract: A number of experimental anomalies involving neutrinos hint towards the existence of at least an extra (a very light) sterile neutrino. However, such a species, appreciably mixing with the active neutrinos, is disfavored by different cosmological observations like Big Bang Nucleosynthesis (BBN), Cosmic Microwave Background (CMB) and Large Scale Structure (LSS). Recently, it was shown that the presence of additional interactions in the sterile neutrino sector via light bosonic mediators can make the scenario cosmologically viable by suppressing the production of the sterile neutrinos from active neutrinos via matter-like effect caused by the mediator. This mechanism works assuming the initial population of this sterile sector to be negligible with respect to that of the Standard Model (SM) particles, before the production from active neutrinos. However, there is fair chance that such bosonic mediators may couple to the inflaton and can be copiously produced during (p)reheating epoch. Consequently, they may ruin this assumption of initial small density of the sterile sector. In this article we, starting from inflation, investigate the production of such a sterile sector during (p)reheating in a large field inflationary scenario and identify the parameter region that allows for a viable early Universe cosmology.


title: An exact solution of the partition function for mean-field quantum spin systems without the static approximation

abstract: Suzuki-Trotter decomposition is a well-known technique used to calculate the partition function of quantum spin systems, in which the imaginary-time dependence of the partition function occurs inevitably. Since it is very difficult to explicitly treat the imaginary-time dependence of the partition function, we usually neglect the imaginary-time dynamical effect, which is called the static approximation. Although the static approximation is the first approach, it is not even clear when the static approximation is justified for mean-field quantum spin systems, that is, mean-field quantum spin systems have not been solved exactly so far. In this study, we solve exactly the partition function for a particular class of mean-field quantum spin systems including randomness without the static approximation. The partition function can be regarded as a result of time evolution in the imaginary-time Schr\"odinger equation, and solving the exact solution of the partition function is equivalent to solving the optimal control problem in the imaginary-time Schr\"odinger equation. As the result, the solution of the optimal control problem coincides exactly with the static approximate solution of the partition function and, therefore, the static approximation is exact for the particular class of mean-field quantum spin systems including randomness in general. Furthermore, we prove that the analysis of the previous study in quantum annealing is exact where the non-stoquastic interaction and the inhomogeneous transverse field accelerate the computational time exponentially for mean-field quantum spin systems.


title: Quantum carpets from Gaussian sum theory

abstract: In many closed quantum systems, an interesting phenomenon, called quantum carpet, can be observed, where the evolution of wave function exhibits a carpet-like pattern. The mechanism of quantum carpet is similar to the classical interference pattern of light. Although the origin of quantum carpets has been studied previously, there are still many interesting details worth exploring. Here, we presented a unified framework for a simultaneous analyzing on three features of quantum carpets, namely full revival, fractional revival and diagonal canal. For fractional revival, a complete formula is presented to explain its generation through "Gaussian sum theory", in which all the essential features, including the phases and amplitudes, of this phenomenon could be captured analytically. Moreover, we also revealed the relations between the interference terms of the diagonal canals and their geometric interpretations, providing a better understanding in the formation of diagonal canals.


title: Manipulation of Cooper pair entanglement in hybrid topological Josephson junctions

abstract: In this work we investigate the supercurrent in a hybrid topological Josephson junction consisting of two planes of topological insulator (TI) in a specific configuration, which allows both local (LAR) and crossed (CAR) Andreev processes at the interfaces with two conventional s-wave superconductors. We describe the effects of gate voltage and magnetic flux controls applied to the edge states of each TI. In particular, we demonstrate that the voltage gating allows the manipulation of the entaglement symmetry of non-local Cooper pairs associated to the CAR process. We establish a connection between the Josephson current-phase relationship of the system and the action of the two external fields, finding that they selectively modify the LAR or the CAR contributions. Remarkably, we find that the critical current of the junction takes a very simple form which reflects the change in the symmetry occurred to the entangled state and allows to determine the microscopic parameters of the junction.

categories: cond-mat.mes-hall cond-mat.str-el cond-mat.supr-con quant-ph


title: A theorem of Levinson for Riemannian symmetric spaces of noncompact type

abstract: A classical result of N. Levinson characterizes the existence of a nonzero integrable function vanishing on a nonempty open subset of the real line in terms of the pointwise decay of its Fourier transform. We prove an analogue of this result for Riemannian symmetric spaces of noncompact type.


title: Fine properties of functions with bounded variation in Carnot-Carath\'eodory spaces

abstract: We study properties of functions with bounded variation in Carnot-Ca\-ra\-th\'eo\-do\-ry spaces. We prove their almost everywhere approximate differentiability and we examine their approximate discontinuity set and the decomposition of their distributional derivatives. Under an additional assumption on the space, called property $\mathcal R$, we show that almost all approximate discontinuities are of jump type and we study a representation formula for the jump part of the derivative.


title: A local fingerprint for hydrophobicity and hydrophilicity: from methane to peptides

abstract: An important characteristic that determines the behavior of a solute in water is whether it is hydrophobic or hydrophilic. The traditional classification is based on chemical experience and heuristics. However, this does not reveal how the local environment modulates this important property. We present a local fingerprint for hydrophobicity and hydrophilicity inspired by the two body contribution to the entropy. This fingerprint is an inexpensive, quantitative and physically meaningful way of studying hydrophilicity and hydrophobicity that only requires as input the water-solute radial distribution functions. We apply our fingerprint to octanol, benzene and the 20 proteinogenic amino acids. Our measure of hydrophilicity is coherent with chemical experience and, moreover, it also shows how the character of an atom can change as its environment is changed. Lastly, we use the fingerprint as collective variable in a funnel metadynamics simulation of a host-guest system. The fingerprint serves as a desolvation collective variable that enhances transitions between the bound and unbound states.


title: Regularity of structure sheaves of varieties with isolated singularities

abstract: Let $X\subseteq \mathbb{P}^N$ be a non-degenerate normal projective variety of codimension $e$ and degree $d$ with isolated $\mathbb{Q}$-Gorenstein singularities. We prove that the Castelnuovo-Mumford regularity $\text{reg}(\mathcal{O}_{X})\le d-e$, as predicted by the Eisenbud-Goto regularity conjecture. Such a bound fails for general projective varieties. The main techniques are Noma's classification of non-degenerated projective varieties and Nadel vanishing for multiplier ideals. We also classify the extremal and the next to extremal cases.


title: Camera-based Image Forgery Localization using Convolutional Neural Networks

abstract: Camera fingerprints are precious tools for a number of image forensics tasks. A well-known example is the photo response non-uniformity (PRNU) noise pattern, a powerful device fingerprint. Here, to address the image forgery localization problem, we rely on noiseprint, a recently proposed CNN-based camera model fingerprint. The CNN is trained to minimize the distance between same-model patches, and maximize the distance otherwise. As a result, the noiseprint accounts for model-related artifacts just like the PRNU accounts for device-related non-uniformities. However, unlike the PRNU, it is only mildly affected by residuals of high-level scene content. The experiments show that the proposed noiseprint-based forgery localization method improves over the PRNU-based reference.


title: Phase transitions in persistent and run-and-tumble walks

abstract: We calculate the large deviation function of the end-to-end distance and the corresponding extension-versus-force relation for (isotropic) random walks, on and off-lattice, with and without persistence, and in any spatial dimension. For off-lattice random walks with persistence, the large deviation function undergoes a first order phase transition in dimension $d> 5$. In the corresponding force-versus-extension relation, the extension becomes independent of the force beyond a critical value. The transition is anticipated in dimensions $d=4$ and $d=5$, where full extension is reached at a finite value of the applied stretching force. Full analytic details are revealed in the run-and-tumble limit. Finally, on-lattice random walks with persistence display a softening phase in dimension $d=3$ and above, preceding the usual stiffening appearing beyond a critical value of the force.


title: What can we learn from Semantic Tagging?

abstract: We investigate the effects of multi-task learning using the recently introduced task of semantic tagging. We employ semantic tagging as an auxiliary task for three different NLP tasks: part-of-speech tagging, Universal Dependency parsing, and Natural Language Inference. We compare full neural network sharing, partial neural network sharing, and what we term the learning what to share setting where negative transfer between tasks is less likely. Our findings show considerable improvements for all tasks, particularly in the learning what to share setting, which shows consistent gains across all tasks.


title: Bound and continuum state $\beta^-$ decay of bare atoms: enhancement of decay rate and changes in $\beta^{-}$ decay branching

abstract: We have calculated rates of $\beta^{-}$ decay to both continuum and bound states separately for some fully ionized (bare) atoms in the mass range A $\approx$ 60-240. One of the motivations of this work is that the previous theoretical calculations were very old and/or informatically incomplete. Probably no theoretical study on this subject has been done in the last three decades. For the calculation, we have derived a framework from the usual $\beta^{-}$ decay theory used by previous authors. Dependence of the calculated rates on the nuclear radius and neutral atom Q-value have been examined. We have used the latest experimental data for nuclear and atomic observables, such as $\beta^{-}$ decay Q-value, ionization energy, neutral atom $\beta^{-}$ decay branchings, neutral atom half-lives etc. Results of $\beta^{-}$ decay rates for decay to continuum and bound states and the enhancement factor due to the bound state decay for a number of nuclei have been tabulated and compared with the previously calculated values, if available. The effective rate or half-life calculated for bare atom might be helpful to set a limit for the maximum enhancement due to bound state decay. Finally, $\beta^{-}$ decay branching for bare atom has been calculated. The changes in branching in bare atom compared to that in the neutral atom and for the first time branching flip for a few cases have been obtained. Reason for this branching change has been understood in terms of Q-values of the transitions in the neutral and bare atoms. Verification of this branching change / flip phenomenon in bare atom decay might be of interest for future experiments.


title: Characterizing the Influence of Features on Reading Difficulty Estimation for Non-native Readers

abstract: In recent years, the number of people studying English as a second language (ESL) has surpassed the number of native speakers. Recent work have demonstrated the success of providing personalized content based on reading difficulty, such as information retrieval and summarization. However, almost all prior studies of reading difficulty are designed for native speakers, rather than non-native readers. In this study, we investigate various features for ESL readers, by conducting a linear regression to estimate the reading level of English language sources. This estimation is based not only on the complexity of lexical and syntactic features, but also several novel concepts, including the age of word and grammar acquisition from several sources, word sense from WordNet, and the implicit relation between sentences. By employing Bayesian Information Criterion (BIC) to select the optimal model, we find that the combination of the number of words, the age of word acquisition and the height of the parsing tree generate better results than alternative competing models. Thus, our results show that proposed second language reading difficulty estimation outperforms other first language reading difficulty estimations.


title: Testing the transcendence conjectures of a modular involution of the real line and its continued fraction statistics

abstract: We study the values of the recently introduced involution J (jimm) of the real line, which is equivariant with the action of the group PGL(2,Z). We test our conjecture that this involution sends algebraic numbers of degree at least three to transcendental values. We also deduce some theoretical results concerning the continued fraction statistics of the generic values of this involution and compare them with the experimental results.


title: Stochastic Collocation with Non-Gaussian Correlated Process Variations: Theory, Algorithms and Applications

abstract: Stochastic spectral methods have achieved great success in the uncertainty quantification of many engineering problems, including electronic and photonic integrated circuits influenced by fabrication process variations. Existing techniques employ a generalized polynomial-chaos expansion, and they almost always assume that all random parameters are mutually independent or Gaussian correlated. However, this assumption is rarely true in real applications. How to handle non-Gaussian correlated random parameters is a long-standing and fundamental challenge. A main bottleneck is the lack of theory and computational methods to perform a projection step in a correlated uncertain parameter space. This paper presents an optimization-based approach to automatically determinate the quadrature nodes and weights required in a projection step, and develops an efficient stochastic collocation algorithm for systems with non-Gaussian correlated parameters. We also provide some theoretical proofs for the complexity and error bound of our proposed method. Numerical experiments on synthetic, electronic and photonic integrated circuit examples show the nearly exponential convergence rate and excellent efficiency of our proposed approach. Many other challenging uncertainty-related problems can be further solved based on this work.


title: Resistive and multi-fluid RMHD on graphics processing units

abstract: In this work we present a proof of concept of CUDA-capable, resistive, multi-fluid models of relativistic magnetohydrodynamics (RMHD). Resistive and multi-fluid codes for simulating models of RMHD suffer from stiff source terms, so it is common to implement a set of semi-implicit time integrators to maintain numerical stability. We show, for the first time, that finite volume IMEX schemes for resistive and two-fluid models of RMHD can be accelerated by execution on graphics processing units, significantly reducing the demand set by these kinds of problems. We report parallel speed-ups of over 21$\times$ using double precision floating-point accuracy, and highlight the optimisation strategies required for these schemes, and how they differ from ideal RMHD models. The impact of these results is discussed in the context of the next-generation simulations of neutron star mergers.


title: Identifying the sentiment styles of YouTube's vloggers

abstract: Vlogs provide a rich public source of data in a novel setting. This paper examined the continuous sentiment styles employed in 27,333 vlogs using a dynamic intra-textual approach to sentiment analysis. Using unsupervised clustering, we identified seven distinct continuous sentiment trajectories characterized by fluctuations of sentiment throughout a vlog's narrative time. We provide a taxonomy of these seven continuous sentiment styles and found that vlogs whose sentiment builds up towards a positive ending are the most prevalent in our sample. Gender was associated with preferences for different continuous sentiment trajectories. This paper discusses the findings with respect to previous work and concludes with an outlook towards possible uses of the corpus, method and findings of this paper for related areas of research.


title: Effect of pinning on the yielding transition of amorphous solids

abstract: Using numerical simulations, we have studied the yielding response, in the athermal quasi static limit, of a model amorphous material having inclusions in the form of randomly pinned particles. We show that, with increasing pinning concentration, the plastic activity becomes more spatially localized, resulting in smaller stress drops, and corresponding increase in the magnitude of strain where yielding occurs. We demonstrate that, unlike the spatially heterogeneous and avalanche led yielding in the case of the unpinned glass, for the case of large pinning concentration, yielding takes place via a spatially homogeneous proliferation of localized events.


title: Arithmetic representations of real numbers in terms of self-similar sets

abstract: Suppose $n\geq 2$ and $\mathcal{A}_{i}\subset \{0,1,\cdots ,(n-1)\}$ for $ i=1,\cdots ,l,$ let $K_{i}=\bigcup\nolimits_{a\in \mathcal{A}_{i}}n^{-1}(K_{i}+a)$ be self-similar sets contained in $[0,1].$ Given $ m_{1},\cdots ,m_{l}\in \mathbb{Z}$ with $\prod\nolimits_{i}m_{i}\neq 0,$ we let \begin{equation*} S_{x}=\left\{ \mathbf{(}y_{1},\cdots ,y_{l}\mathbf{)}:m_{1}y_{1}+\cdots +m_{l}y_{l}=x\text{ with }y_{i}\in K_{i}\text{ }\forall i\right\} . \end{equation*} In this paper, we analyze the Hausdorff dimension and Hausdorff measure of the following set \begin{equation*} U_{r}=\{x:\mathbf{Card}(S_{x})=r\}, \end{equation*} where $\mathbf{Card}(S_{x})$ denotes the cardinality of $S_{x}$, and $r\in \mathbb{N}^{+}$. We prove under the so-called covering condition that the Hausdorff dimension of $U_{1}$ can be calculated in terms of some matrix. Moreover, if $r\geq 2$, we also give some sufficient conditions such that the Hausdorff dimension of $U_{r}$ takes only finite values, and these values can be calculated explicitly. Furthermore, we come up with some sufficient conditions such that the dimensional Hausdorff measure of $U_{r}$ is infinity. Various examples are provided. Our results can be viewed as the exceptional results for the classical slicing problem in geometric measure theory.


title: An Updated Catalog of 4680 Northern Eclipsing Binaries with Algol-Type light curve morphology in the Catalina Sky Surveys

abstract: We present an updated catalog of 4680 northern eclipsing binaries (EBs) with Algol-type light curve morphology (i.e., with well-defined beginning and end of primary and secondary eclipses), using data from the Catalina Sky Surveys. Our work includes revised period determinations, phenomenological parameters of the light curves, and system morphology classification based on machine learning techniques. While most of the new periods are in excellent agreement with those provided in the original Catalina catalogs, improved values are now available for ~10% of the stars. A total of 3456 EBs were classified as detached and 449 as semi-detached, while 145 cannot be classified unambiguously into either subtype. The majority of the SD systems seems to be comprised of short-period Algols. By applying color criteria, we searched for K- and M-type dwarfs in these data, and present a subsample of 609 EB candidates for further investigation. We report 119 EBs (2.5% of the total sample) that show maximum quadrature light variations over long timescales, with periods bracketing the range 4.5-18 yrs and fractional luminosity variance of 0.04-0.13. We discuss possible causes for this, making use of models of variable starspot activity in our interpretation of the results.


title: Microwave signature of robust topological Andreev-level crossings in superconducting proximitized crystalline Bi nanowires

abstract: Demonstrating the topological protection of Andreev states in Josephson junctions is an experimental challenge. In particular the telltale $4\pi$ periodicity expected for the current phase relation of topological Josephson junctions has remained elusive, because of fast parity breaking processes. It was predicted that low temperature ac susceptibility measurements related to the current thermal noise could reveal the topological protection of quantum Spin Hall edge states \cite{Fu2009}, by probing their low energy Andreev spectrum.% of QSH-based Josephson junctions. We have performed such a microwave probing of the Andreev spectrum of a phase biased Josephson junction built around a bismuth nanowire, which was previously shown to host one-dimensional ballistic edge states. We find absorption peaks at the Andreev level crossings, whose temperature and frequency dependences point to protected topological crossings with an accuracy limited by the electronic temperature of our experiment.


title: Towards Massively Parallel Computations in Algebraic Geometry

abstract: Introducing parallelism and exploring its use is still a fundamental challenge for the computer algebra community. In high performance numerical simulation, on the other hand, transparent environments for distributed computing which follow the principle of separating coordination and computation have been a success story for many years. In this paper, we explore the potential of using this principle in the context of computer algebra. More precisely, we combine two well-established systems: The mathematics we are interested in is implemented in the computer algebra system Singular, whose focus is on polynomial computations, while the coordination is left to the workflow management system GPI-Space, which relies on Petri nets as its mathematical modeling language, and has been successfully used for coordinating the parallel execution (autoparallelization) of academic codes as well as for commercial software in application areas such as seismic data processing. The result of our efforts is a major step towards a framework for massively parallel computations in the application areas of Singular, specifically in commutative algebra and algebraic geometry. As a first test case for this framework, we have modeled and implemented a hybrid smoothness test for algebraic varieties which combines ideas from Hironaka's celebrated desingularization proof with the classical Jacobian criterion. Applying our implementation to two examples originating from current research in algebraic geometry, one of which cannot be handled by other means, we illustrate the behavior of the smoothness test within our framework, and investigate how the computations scale up to 256 cores.


title: Fermiophobic gauge boson phenomenology in 221 Models

abstract: Models with extra gauge symmetry are well-motivated extensions of the Standard Model. In this paper, we study an extended gauge model with a heavy neutral gauge boson $Z'$ which is fermiophobic. Thus, the production of such particles can occur via vector boson fusion, with subsequent decays into $WW$ or $Zh$. We investigate the collider phenomenology of such $Z'$s in the context of both the 14 TeV LHC and the future CLIC. We find that looking at $\ell\ell b b$ final states provides a rich opportunity to discover such new vector bosons where conventional search strategies in the dilepton channel would fail. In particular, we optimize our analysis by putting in kinematic cuts deriving model-independent values of $\sigma\times$BR needed for a 5$\sigma$ discovery at the LHC. We then translate this into the parameter space of a specific model for illustration purpose -- our results show that fermiophobic $Z'$s are discoverable in the $\ell\ell b b$ channel for wide range of parameter values.


title: Short Plane Supports for Spatial Hypergraphs

abstract: A graph $G=(V,E)$ is a support of a hypergraph $H=(V,S)$ if every hyperedge induces a connected subgraph in $G$. Supports are used for certain types of hypergraph visualizations. In this paper we consider visualizing spatial hypergraphs, where each vertex has a fixed location in the plane. This is the case, e.g., when modeling set systems of geospatial locations as hypergraphs. By applying established aesthetic quality criteria we are interested in finding supports that yield plane straight-line drawings with minimum total edge length on the input point set $V$. We first show, from a theoretical point of view, that the problem is NP-hard already under rather mild conditions as well as a negative approximability results. Therefore, the main focus of the paper lies on practical heuristic algorithms as well as an exact, ILP-based approach for computing short plane supports. We report results from computational experiments that investigate the effect of requiring planarity and acyclicity on the resulting support length. Further, we evaluate the performance and trade-offs between solution quality and speed of several heuristics relative to each other and compared to optimal solutions.


title: Extended playing techniques: The next milestone in musical instrument recognition

abstract: The expressive variability in producing a musical note conveys information essential to the modeling of orchestration and style. As such, it plays a crucial role in computer-assisted browsing of massive digital music corpora. Yet, although the automatic recognition of a musical instrument from the recording of a single "ordinary" note is considered a solved problem, automatic identification of instrumental playing technique (IPT) remains largely underdeveloped. We benchmark machine listening systems for query-by-example browsing among 143 extended IPTs for 16 instruments, amounting to 469 triplets of instrument, mute, and technique. We identify and discuss three necessary conditions for significantly outperforming the traditional mel-frequency cepstral coefficient (MFCC) baseline: the addition of second-order scattering coefficients to account for amplitude modulation, the incorporation of long-range temporal dependencies, and metric learning using large-margin nearest neighbors (LMNN) to reduce intra-class variability. Evaluating on the Studio On Line (SOL) dataset, we obtain a precision at rank 5 of 99.7% for instrument recognition (baseline at 89.0%) and of 61.0% for IPT recognition (baseline at 44.5%). We interpret this gain through a qualitative assessment of practical usability and visualization using nonlinear dimensionality reduction.


title: The first exit time of fractional Brownian motion from a parabolic domain

abstract: We study the first exit time of a multi-dimensional fractional Brownian motion from unbounded domains. In particular, we are interested in the upper tail of the corresponding distribution when the domain is parabola-shaped.


title: Development and Evaluation of a Personalized Computer-aided Question Generation for English Learners to Improve Proficiency and Correct Mistakes

abstract: In the last several years, the field of computer assisted language learning has increasingly focused on computer aided question generation. However, this approach often provides test takers with an exhaustive amount of questions that are not designed for any specific testing purpose. In this work, we present a personalized computer aided question generation that generates multiple choice questions at various difficulty levels and types, including vocabulary, grammar and reading comprehension. In order to improve the weaknesses of test takers, it selects questions depending on an estimated proficiency level and unclear concepts behind incorrect responses. This results show that the students with the personalized automatic quiz generation corrected their mistakes more frequently than ones only with computer aided question generation. Moreover, students demonstrated the most progress between the pretest and post test and correctly answered more difficult questions. Finally, we investigated the personalizing strategy and found that a student could make a significant progress if the proposed system offered the vocabulary questions at the same level of his or her proficiency level, and if the grammar and reading comprehension questions were at a level lower than his or her proficiency level.


title: Distant Supervision from Disparate Sources for Low-Resource Part-of-Speech Tagging

abstract: We introduce DsDs: a cross-lingual neural part-of-speech tagger that learns from disparate sources of distant supervision, and realistically scales to hundreds of low-resource languages. The model exploits annotation projection, instance selection, tag dictionaries, morphological lexicons, and distributed representations, all in a uniform framework. The approach is simple, yet surprisingly effective, resulting in a new state of the art without access to any gold annotated data.


title: Thurston's metric on Teichm\"uller space of semi-translation surfaces

abstract: The present paper is composed of two parts. In the first one we define two pseudo-metrics $L_F$ and $K_F$ on the Teichmu\"uller space of semi-translation surfaces $\mathcal{TQ}_g(\underline k,\epsilon)$, which are the symmetric counterparts to the metrics defined by William Thurston on $\mathcal{T}_g^n$. We prove some nice properties of $L_F$ and $K_F$, most notably that they are complete pseudo-metrics. In the second part we define their asymmetric analogues $L_F^a$ and $K_F^a$ on $\mathcal{T Q}_g^{(1)}(k, \epsilon)$ and prove that their equality depends on two statements regarding 1-Lipschitz maps between polygons. We are able to prove the first statement, but the second one remains a conjecture: nonetheless, we explain why we believe it is true.


title: Bringing personalized learning into computer-aided question generation

abstract: This paper proposes a novel and statistical method of ability estimation based on acquisition distribution for a personalized computer aided question generation. This method captures the learning outcomes over time and provides a flexible measurement based on the acquisition distributions instead of precalibration. Compared to the previous studies, the proposed method is robust, especially when an ability of a student is unknown. The results from the empirical data show that the estimated abilities match the actual abilities of learners, and the pretest and post-test of the experimental group show significant improvement. These results suggest that this method can serves as the ability estimation for a personalized computer-aided testing environment.


title: Fast spin exchange between two distant quantum dots

abstract: The Heisenberg exchange interaction between neighboring quantum dots allows precise voltage control over spin dynamics, due to the ability to precisely control the overlap of orbital wavefunctions by gate electrodes. This allows the study of fundamental electronic phenomena and finds applications in quantum information processing. Although spin-based quantum circuits based on short-range exchange interactions are possible, the development of scalable, longer-range coupling schemes constitutes a critical challenge within the spin-qubit community. Approaches based on capacitative coupling and cavity-mediated interactions effectively couple spin qubits to the charge degree of freedom, making them susceptible to electrically-induced decoherence. The alternative is to extend the range of the Heisenberg exchange interaction by means of a quantum mediator. Here, we show that a multielectron quantum dot with 50-100 electrons serves as an excellent mediator, preserving speed and coherence of the resulting spin-spin coupling while providing several functionalities that are of practical importance. These include speed (mediated two-qubit rates up to several gigahertz), distance (of order of a micrometer), voltage control, possibility of sweet spot operation (reducing susceptibility to charge noise), and reversal of the interaction sign (useful for dynamical decoupling from noise).


title: Weak values and quantum properties

abstract: We investigate in this work the meaning of weak values through the prism of property ascription in quantum systems. Indeed, the weak measurements framework contains only ingredients of the standard quantum formalism, and as such weak measurements are from a technical point of view uncontroversial. However attempting to describe properties of quantum systems through weak values -- the output of weak measurements -- goes beyond the usual interpretation of quantum mechanics, that relies on eigenvalues. We first recall the usual form of property ascription, based on the eigenstate-eigenvalue link and the existence of "elements of reality". We then describe against this backdrop the different meanings that have been given to weak values. We finally argue that weak values can be related to a specific form of property ascription, weaker than the eigenvalues case but still relevant to a partial description of a quantum system.


title: A characterisation of the category of compact Hausdorff spaces

abstract: We provide a characterisation of the category KH of compact Hausdorff spaces and continuous maps by means of categorical properties only. To this aim we introduce a notion of filtrality for coherent categories, relating certain lattices of subobjects to their Boolean centers. Our main result reads as follows: Up to equivalence, KH is the unique non-trivial well-pointed pretopos which is filtral and admits all set-indexed copowers of its terminal object.


title: Detecting Radio Frequency Interference in radio-antenna arrays with the Recurrent Neural Network algorithm

abstract: Signal artefacts due to Radio Frequency Interference (RFI) are a common nuisance in radio astronomy. Conventionally, the RFI-affected data are tagged by an expert data analyst in order to warrant data quality. In view of the increasing data rates obtained with interferometric radio telescope arrays, automatic data filtering procedures are mandatory. Here, we present results from the implementation of a RFI-detecting recurrent neural network (RNN) employing long-short term memory (LSTM) cells. For the training of the algorithm, a discrete model was used that distinguishes RFI and non-RFI data, respectively, based on the amplitude information from radio interferometric observations with the GMRT at $610\, \mathrm{MHz}$. The performance of the RNN is evaluated by analyzing a confusion matrix. The true positive and true negative rates of the network are $\approx 99.9\,\%$ and $\approx 97.9\,\%$, respectively. However, the overall efficiency of the network is $\approx 30\%$ due to the fact that a large amount non-RFI data are classified as being contaminated by RFI. Matthews correlation coefficient is ~0.42 suggesting that a still more refined training model is required.


title: Cross-Domain Collaborative Learning via Cluster Canonical Correlation Analysis and Random Walker for Hyperspectral Image Classification

abstract: This paper introduces a novel heterogenous domain adaptation (HDA) method for hyperspectral image classification with a limited amount of labeled samples in both domains. The method is achieved in the way of cross-domain collaborative learning (CDCL), which is addressed via cluster canonical correlation analysis (C-CCA) and random walker (RW) algorithms. To be specific, the proposed CDCL method is an iterative process of three main stages, i.e. twice of RW-based pseudolabeling and cross domain learning via C-CCA. Firstly, given the initially labeled target samples as training set ($\mathbf{TS}$), the RW-based pseudolabeling is employed to update $\mathbf{TS}$ and extract target clusters ($\mathbf{TCs}$) by fusing the segmentation results obtained by RW and extended RW (ERW) classifiers. Secondly, cross domain learning via C-CCA is applied using labeled source samples and $\mathbf{TCs}$. The unlabeled target samples are then classified with the estimated probability maps using the model trained in the projected correlation subspace. Thirdly, both $\mathbf{TS}$ and estimated probability maps are used for updating $\mathbf{TS}$ again via RW-based pseudolabeling. When the iterative process finishes, the result obtained by the ERW classifier using the final $\mathbf{TS}$ and estimated probability maps is regarded as the final classification map. Experimental results on four real HSIs demonstrate that the proposed method can achieve better performance compared with the state-of-the-art HDA and ERW methods.


title: Inter-laboratory nanoamp current comparison with sub-part-per-million uncertainty

abstract: An ultrastable low-noise current amplifier (ULCA) has been transferred between two laboratories, NPL and PTB, four times, with three of the transfers yielding a relative change in the trans-resistance gain of less than $2 \times 10^{-7}$. This is a new bench-mark for inter-laboratory transfer of small current. We describe in detail the use of a cryogenic current comparator to calibrate the ULCA at NPL, and the use of the ULCA to measure $1$ G$\Omega$ resistors with relative uncertainties at the $10^{-7}$ level.


title: Weak sensitivity of three-body ($d,p$) reactions to $np$ force models

abstract: Adiabatic distorted-wave approximation (ADWA) study of three-body $(d,p)$ transfer reactions [G.W. Bailey, N.K. Timofeyuk, and J.A. Tostevin, Phys. Rev. Lett. 117, 162502 (2016)] reported strong sensitivity of cross sections to the neutron-proton $(np)$ interaction model when the nucleon-nucleus optical potential is nonlocal. The verification of this unusual finding using more reliable methods is aimed for in the present work. A rigorous Faddeev-type three-body scattering theory is applied to the study of $(d,p)$ transfer reactions. The equations for transition operators are solved in the momentum-space partial-wave framework. Differential cross sections for $^{26}$Al$(d,p)^{27}$Al reactions are calculated using nonlocal nuclear optical potentials and a number of realistic $np$ potentials. Only a weak dependence on the $np$ force model is observed, typically one order of magnitude lower than in the previous ADWA study. The shape of the angular distribution of the experimental data is well reproduced. Cross sections of $(d,p)$ transfer reactions calculated using a rigorous three-body method show little sensitivity to the $np$ interaction model. This indicates a failure of the ADWA in the context of nonlocal potentials. Some evident shortcomings of the ADWA are pointed out.


title: Measuring our velocity from fluctuations in number counts

abstract: Our velocity relative to the cosmic microwave background (CMB) generates a dipole from the CMB monopole, which was accurately measured by COBE. The relative velocity also modulates and aberrates the CMB fluctuations, generating a small signature of statistical isotropy violation in the covariance matrix. This signature was first measured by Planck 2013. Galaxy surveys are similarly affected by a Doppler boost. The dipole generated from the number count monopole has been extensively discussed, and measured (at very low accuracy) in the NVSS and TGSS radio continuum surveys. For the first time, we present an analysis of the Doppler imprint on the number count fluctuations, using the bipolar spherical harmonic formalism to quantify these effects. Next-generation wide-area surveys with a high redshift range are needed to detect the small Doppler signature in number count fluctuations. We show that radio continuum surveys with the SKA should enable a detection at $\gtrsim 3 \sigma$ in Phase 2, with marginal detection possible in Phase 1.


title: Rule induction for global explanation of trained models

abstract: Understanding the behavior of a trained network and finding explanations for its outputs is important for improving the network's performance and generalization ability, and for ensuring trust in automated systems. Several approaches have previously been proposed to identify and visualize the most important features by analyzing a trained network. However, the relations between different features and classes are lost in most cases. We propose a technique to induce sets of if-then-else rules that capture these relations to globally explain the predictions of a network. We first calculate the importance of the features in the trained network. We then weigh the original inputs with these feature importance scores, simplify the transformed input space, and finally fit a rule induction model to explain the model predictions. We find that the output rule-sets can explain the predictions of a neural network trained for 4-class text classification from the 20 newsgroups dataset to a macro-averaged F-score of 0.80. We make the code available at https://github.com/clips/interpret_with_rules.


title: Estimation of Entanglement Negativity of a Two-Qubit Quantum System With Two Measurements

abstract: Numerous work had been done to quantify the entanglement of a two-qubit quantum state, but it can be seen that previous works were based on joint measurements on two copies or more than two copies of a quantum state under consideration. In this work, we show that a single copy and two measurements are enough to estimate the entanglement quantifier like entanglement negativity and concurrence. To achieve our aim, we establish a relationship between the entanglement negativity and the minimum eigenvalue of structural physical approximation of partial transpose of an arbitrary two-qubit state. The derived relation make possible to estimate entanglement negativity experimentally by Hong-Ou-Mandel interferometry with only two detectors. Also, we derive the upper bound of the concurrence of an arbitrary two-qubit state and have shown that the upper bound can be realized in experiment. We will further show that the concurrence of (i) an arbitrary pure two-qubit states and (ii) a particular class of mixed states, namely, rank-2 quasi-distillable mixed states, can be exactly estimated with two measurements.


title: The MIT Bag Model as an infinite mass limit

abstract: The Dirac operator, acting in three dimensions, is considered. Assuming that a large mass $m>0$ lies outside a smooth and bounded open set $\Omega\subset\R^3$, it is proved that its spectrum is approximated by the one of the Dirac operator on $\Omega$ with the MIT bag boundary condition. The approximation, which is developed up to and error of order $o(1/\sqrt m)$, is carried out by introducing tubular coordinates in a neighborhood of $\partial\Omega$ and analyzing the corresponding one dimensional optimization problems in the normal direction.


title: Exotic Vortex Lattices in Binary Repulsive Superfluids

abstract: We investigate a mixture of two repulsively interacting superfluids with different constituent particle masses: $m_1\ne m_2$. Solutions to the Gross-Pitaevskii equation for homogeneous infinite vortex lattices predict the existence of rich vortex lattice configurations, a number of which correspond to Platonic and Archimedean planar tilings. Some notable geometries include the snub-square, honeycomb, kagome, and herringbone lattice configurations. We present a full phase diagram for the case $m_2/m_1 = 2$ and list a number of geometries that are found for higher integer mass ratios.


title: On spike and slab empirical Bayes multiple testing

abstract: This paper explores a connection between empirical Bayes posterior distributions and false discovery rate (FDR) control. In the Gaussian sequence model, this work shows that empirical Bayes-calibrated spike and slab posterior distributions allow a correct FDR control under sparsity. Doing so, it offers a frequentist theoretical validation of empirical Bayes methods in the context of multiple testing. Our theoretical results are illustrated with numerical experiments.


title: Relevance of tidal effects and post-merger dynamics for binary neutron star parameter estimation

abstract: Measurements of the properties of binary neutron star systems from gravitational-wave observations require accurate theoretical models for such signals. However, current models are incomplete, as they do not take into account all of the physics of these systems: some neglect possible tidal effects, others neglect spin-induced orbital precession, and no existing model includes the post-merger regime consistently. In this work, we explore the importance of two physical ingredients: tidal interactions during the inspiral and the imprint of the post-merger stage. We use complete inspiral--merger--post-merger waveforms constructed from a tidal effective-one-body approach and numerical-relativity simulations as signals against which we perform parameter estimates with waveform models of standard LIGO-Virgo analyses. We show that neglecting tidal effects does not lead to appreciable measurement biases in masses and spin for typical observations (small tidal deformability and signal-to-noise ratio $\sim$ 25). However, with increasing signal-to-noise ratio or tidal deformability there are biases in the estimates of the binary parameters. The post-merger regime, instead, has no impact on gravitational-wave measurements with current detectors for the signal-to-noise ratios we consider.


title: Families of Bianchi modular symbols: critical base-change p-adic L-functions and p-adic Artin formalism

abstract: Let $K$ be an imaginary quadratic field. In this article, we study the eigenvariety for $\mathrm{GL}_2/K$, proving an \'etaleness result for the weight map at non-critical classical points and a smoothness result at base-change classical points. We give three main applications of this; let $f$ be a $p$-stabilised newform of weight $k \geq 2$ without CM by $K$. Suppose $f$ has finite slope at $p$ and its base-change $f_{/K}$ to $K$ is $p$-regular. Then: (1) We construct a two-variable $p$-adic $L$-function attached to $f_{/K}$ under assumptions on $f$ that conjecturally always hold, in particular with no non-critical assumption on $f/K$. (2) We construct three-variable $p$-adic $L$-functions over the eigenvariety interpolating the $p$-adic $L$-functions of classical base-change Bianchi cusp forms. (3) We prove that these base-change $p$-adic $L$-functions satisfy a $p$-adic Artin formalism result, that is, they factorise in the same way as the classical $L$-function under Artin formalism. In an appendix, Carl Wang-Erickson describes a base-change deformation functor and gives a characterisation of its Zariski tangent space.


title: Scalable and Efficient Virtual Memory Sharing in Heterogeneous SoCs with TLB Prefetching and MMU-Aware DMA Engine

abstract: Shared virtual memory (SVM) is key in heterogeneous systems on chip (SoCs), which combine a general-purpose host processor with a many-core accelerator, both for programmability and to avoid data duplication. However, SVM can bring a significant run time overhead when translation lookaside buffer (TLB) entries are missing. Moreover, allowing DMA burst transfers to write SVM traditionally requires buffers to absorb transfers that miss in the TLB. These buffers have to be overprovisioned for the maximum burst size, wasting precious on-chip memory, and stall all SVM accesses once they are full, hampering the scalability of parallel accelerators. In this work, we present our SVM solution that avoids the majority of TLB misses with prefetching, supports parallel burst DMA transfers without additional buffers, and can be scaled with the workload and number of parallel processors. Our solution is based on three novel concepts: To minimize the rate of TLB misses, the TLB is proactively filled by compiler-generated Prefetching Helper Threads, which use run-time information to issue timely prefetches. To reduce the latency of TLB misses, misses are handled by a variable number of parallel Miss Handling Helper Threads. To support parallel burst DMA transfers to SVM without additional buffers, we add lightweight hardware to a standard DMA engine to detect and react to TLB misses. Compared to the state of the art, our work improves accelerator performance for memory-intensive kernels by up to 4x and by up to 60% for irregular and regular memory access patterns, respectively.


title: Construction techniques and performances of a full-size prototype Micromegas chamber for the ATLAS muon spectrometer upgrade

abstract: A full-size prototype of a Micromegas precision tracking chamber for the upgrade of the ATLAS detector at the LHC Collider has been built between October 2015 and April 2016. This paper describes in detail the procedures used in constructing the single modules of the chamber in various INFN laboratories and the final assembly at the Laboratori Nazionali di Frascati (LNF). Results of the chamber exposure to the CERN SPS/H8 beam line in June 2016 are also presented. The performances achieved in the construction and the results of the test beam are compared with the requirements, which are imposed by the severe environment during the data-taking of the LHC foreseen for the next years.