title: Stability and Optimal Control of Switching PDE-Dynamical Systems

abstract: Selected results for the stability and optimal control of abstract switched systems in Banach and Hilbert space are reviewed. The dynamics are typically given in a piecewise sense by a family of nonlinearly perturbed evolutions of strongly continuous semigroups. Stability refers to characterizations of asymptotic decay of solutions that holds uniformly for certain classes of switching signals for time going to infinity. Optimal control refers to the minimization of costs associated to solutions by appropriately selecting switching signals. Selected numerical results verify and visualize some of the available theory.


title: A note on friezes of type $\Lambda_p$

abstract: A frieze is an array of numbers obeying the unimodular rule. Coxeter showed that a frieze with integer entries corresponds to a triangulation. Recently, Holm and J{\o}rgenson introduced friezes of type $\Lambda_p$ which correspond to $p$-angulations of a polygon. In this paper we explore the connection between these two types of friezes; in particular we show that the friezes of type $\Lambda_p$ for $p=4$ and $p=6$ contain integral friezes within them. We also consider the relationships with Farey graphs.


title: Localisation of Soft Charges, and Thermodynamics of Softly Hairy Black Holes

abstract: Large gauge transformations (LGT) in asymptotically flat space are generated by charges defined at asymptotic infinity. No method for unambiguously localising these charges into the interior of spacetime has previously been established. We determine what this method must be, and use it to find localised expressions for the LGT charges. Applying the same principle to the case of a charged black hole spacetime leads to angle-dependent generalisations of the Smarr formula and the first law of black hole mechanics, both of which have important thermodynamical implications. In particular, the presence of a heat current intrinsic to the event horizon is observed.


title: The global geometry of surfaces with prescribed mean curvature in $\mathbb{R}^3$

abstract: We develop a global theory for complete hypersurfaces in $\mathbb{R}^{n+1}$ whose mean curvature is given as a prescribed function of its Gauss map. This theory extends the usual one of constant mean curvature hypersurfaces in $\mathbb{R}^{n+1}$, and also that of self-translating solitons of the mean curvature flow. For the particular case $n=2$, we will obtain results regarding a priori height and curvature estimates, non-existence of complete stable surfaces, and classification of properly embedded surfaces with at most one end.


title: Models of affine curves and Ga-actions

abstract: Using the approach of Barkatou and El Kaoui, we classify certain affine curves over discrete valuation rings having a free additive group action. Our classification generalizes results of Miyanishi in equi-characteristic 0.


title: LIDIOMS: A Multilingual Linked Idioms Data Set

abstract: In this paper, we describe the LIDIOMS data set, a multilingual RDF representation of idioms currently containing five languages: English, German, Italian, Portuguese, and Russian. The data set is intended to support natural language processing applications by providing links between idioms across languages. The underlying data was crawled and integrated from various sources. To ensure the quality of the crawled data, all idioms were evaluated by at least two native speakers. Herein, we present the model devised for structuring the data. We also provide the details of linking LIDIOMS to well-known multilingual data sets such as BabelNet. The resulting data set complies with best practices according to Linguistic Linked Open Data Community.


title: An homogenization approach for the inverse spectral problem of periodic Schr\"odinger operators

abstract: We study the inverse spectral problem for periodic Schr\"odinger opera\-tors of kind $- \frac{1}{2} \hbar^2 \Delta_x + V(x)$ on the flat torus $\Bbb T^n := (\Bbb R / 2 \pi \Bbb Z)^n$ with potentials $V \in C^{\infty} (\Bbb T^n)$. We show that if two operators are isospectral for any $0 < \hbar \le 1$ then they have the same effective Hamiltonian given by the periodic homogenization of Hamilton-Jacobi equation. This result provides a necessary condition for the isospectrality of these Schr\"odinger operators. We also provide a link between our result and the spectral limit of quantum integrable systems.


title: RDF2PT: Generating Brazilian Portuguese Texts from RDF Data

abstract: The generation of natural language from Resource Description Framework (RDF) data has recently gained significant attention due to the continuous growth of Linked Data. A number of these approaches generate natural language in languages other than English, however, no work has been proposed to generate Brazilian Portuguese texts out of RDF. We address this research gap by presenting RDF2PT, an approach that verbalizes RDF data to Brazilian Portuguese language. We evaluated RDF2PT in an open questionnaire with 44 native speakers divided into experts and non-experts. Our results suggest that RDF2PT is able to generate text which is similar to that generated by humans and can hence be easily understood.


title: New Results on Finite-Time Stability: Geometric Conditions and Finite-Time Controllers

abstract: This paper presents novel controllers that yield finite-time stability for linear systems. We first present a sufficient condition for the origin of a scalar system to be finite-time stable. Then we present novel finite-time controllers based on vector fields and barrier functions to demonstrate the utility of this geometric condition. We also consider the general class of linear controllable systems, and present a continuous feedback control law to stabilize the system in finite time. Finally, we present simulation results for each of these cases, showing the efficacy of the designed control laws.


title: Room Temperature Intrinsic Ferromagnetism in Epitaxial Manganese Selenide Films in the Monolayer Limit

abstract: Monolayer van der Waals (vdW) magnets provide an exciting opportunity for exploring two-dimensional (2D) magnetism for scientific and technological advances, but the intrinsic ferromagnetism has only been observed at low temperatures. Here, we report the observation of room temperature ferromagnetism in manganese selenide (MnSe$_x$) films grown by molecular beam epitaxy (MBE). Magnetic and structural characterization provides strong evidence that in the monolayer limit, the ferromagnetism originates from a vdW manganese diselenide (MnSe$_2$) monolayer, while for thicker films it could originate from a combination of vdW MnSe$_2$ and/or interfacial magnetism of $\alpha$-MnSe(111). Magnetization measurements of monolayer MnSe$_x$ films on GaSe and SnSe$_2$ epilayers show ferromagnetic ordering with large saturation magnetization of ~ 4 Bohr magnetons per Mn, which is consistent with density functional theory calculations predicting ferromagnetism in monolayer 1T-MnSe$_2$. Growing MnSe$_x$ films on GaSe up to high thickness (~ 40 nm) produces $\alpha$-MnSe(111), and an enhanced magnetic moment (~ 2x) compared to the monolayer MnSe$_x$ samples. Detailed structural characterization by scanning transmission electron microscopy (STEM), scanning tunneling microscopy (STM), and reflection high energy electron diffraction (RHEED) reveal an abrupt and clean interface between GaSe(0001) and $\alpha$-MnSe(111). In particular, the structure measured by STEM is consistent with the presence of a MnSe$_2$ monolayer at the interface. These results hold promise for potential applications in energy efficient information storage and processing.


title: From Vectors to Geometric Algebra

abstract: Geometric algebra is the natural outgrowth of the concept of a vector and the addition of vectors. After reviewing the properties of the addition of vectors, a multiplication of vectors is introduced in such a way that it encodes the famous Pythagorean theorem. Synthetic proofs of theorems in Euclidean geometry can then be replaced by powerful algebraic proofs. Whereas we largely limit our attention to 2 and 3 dimensions, geometric algebra is applicable in any number of dimensions, and in both Euclidean and non-Euclidean geometries.


title: Sliding Bidirectional Recurrent Neural Networks for Sequence Detection in Communication Systems

abstract: The design and analysis of communication systems typically rely on the development of mathematical models that describe the underlying communication channel. However, in some systems, such as molecular communication systems where chemical signals are used for transfer of information, the underlying channel models are unknown. In these scenarios, a completely new approach to design and analysis is required. In this work, we focus on one important aspect of communication systems, the detection algorithms, and demonstrate that by using tools from deep learning, it is possible to train detectors that perform well without any knowledge of the underlying channel models. We propose a technique we call sliding bidirectional recurrent neural network (SBRNN) for real-time sequence detection. We evaluate this algorithm using experimental data that is collected by a chemical communication platform, where the channel model is unknown and difficult to model analytically. We show that deep learning algorithms perform significantly better than a detector proposed in previous works, and the SBRNN outperforms other techniques considered in this work.


title: Topological Hochschild Homology of H(Z/p^k)

abstract: In this short note we study the topological Hoschschild homology of Eilenberg-MacLane spectra for finite cyclic groups. In particular, we show that the Eilenberg-MacLane spectrum H(Z/p^k) is a Thom spectrum for any prime p (except, possibly, when p=k=2) and we also compute its topological Hoschshild homology. This yields a short proof of the results obtained by Brun, and by Pirashvili except for the anomalous case p=k=2.


title: Analysis of Fourier ptychographic microscopy with half of the captured images

abstract: Fourier ptychography microscopy (FPM) is a new computational imaging technique that can provide gigapixel images with both high resolution and a wide field of view (FOV). However, time consuming of the data-acquisition process is a critical issue. In this paper, we make an analysis on the FPM imaging system with half number of the captured images. Based on the image analysis of the conventional FPM system, we then compare the reconstructed images with different number of captured data. Simulation and experiment results show that the reconstructed image with half number captured data do not show obvious resolution degradation compared to that with all the captured data, except a contrast reduction. In particular in the case when the object is close to phase-only/amplitude only, the quality of the reconstructed image with half of the captured data is nearly as good as the one reconstructed with full data.


title: High order time integrators for the simulation of charged particle motion in magnetic quadrupoles

abstract: Magnetic quadrupoles are essential components of particle accelerators like the Large Hadron Collider. In order to study numerically the stability of the particle beam crossing a quadrupole, a large number of particle revolutions in the accelerator must be simulated, thus leading to the necessity to preserve numerically invariants of motion over a long time interval and to a substantial computational cost, mostly related to the repeated evaluation of the magnetic vector potential. In this paper, in order to reduce this cost, we first consider a specific gauge transformation that allows to reduce significantly the number of vector potential evaluations. We then analyze the sensitivity of the numerical solution to the interpolation procedure required to compute magnetic vector potential data from gridded precomputed values at the locations required by high order time integration methods. Finally, we compare several high order integration techniques, in order to assess their accuracy and efficiency for these long term simulations. Explicit high order Lie methods are considered, along with implicit high order symplectic integrators and conventional explicit Runge Kutta methods. Among symplectic methods, high order Lie integrators yield optimal results in terms of cost/accuracy ratios, but non symplectic Runge Kutta methods perform remarkably well even in very long term simulations. Furthermore, the accuracy of the field reconstruction and interpolation techniques are shown to be limiting factors for the accuracy of the particle tracking procedures.


title: Design of a 5 GeV Laser Plasma Accelerating Module in the Quasi-linear Regime

abstract: Multi-GeV-class laser plasma accelerating modules are key components of laser plasma accelerators, because they can be used as a booster of an upstream plasma or conventional injector or as modular acceleration sections of a multi-staged high energy plasma linac. Such a plasma module, operating in the quasi-linear regime, has been designed for the 5 GeV laser plasma accelerator stage (LPAS) of the EuPRAXIA project. The laser pulse ($\sim$150 TW, $\sim$ 15 J) is quasi-matched into a plasma channel ($n_{\rm p} = 1.5\times 10^{17}$ cm$^{-3}$, $L\sim$ 30 cm) and the bi-Gaussian electron beam is externally injected into the wakefield. The beam emittance is preserved through the acceleration by matching the beam size to the transverse focusing fields. And a final energy spread of $<$1\% has been achieved by optimizing the beam loading effect. Several methods have been proposed to reduce the slice energy spread and are found to be effective. The simulations were conducted with the 3D PIC code Warp in the Lorentz boosted frame.


title: Collaboratively Learning the Best Option, Using Bounded Memory

abstract: We consider multi-armed bandit problems in social groups wherein each individual has bounded memory and shares the common goal of learning the best arm/option. We say an individual learns the best option if eventually (as $t \to \infty$) it pulls only the arm with the highest average reward. While this goal is provably impossible for an isolated individual, we show that, in social groups, this goal can be achieved easily with the aid of social persuasion, i.e., communication. Specifically, we study the learning dynamics wherein an individual sequentially decides on which arm to pull next based on not only its private reward feedback but also the suggestions provided by randomly chosen peers. Our learning dynamics are hard to analyze via explicit probabilistic calculations due to the stochastic dependency induced by social interaction. Instead, we employ the mean-field approximation method from statistical physics and we show: (1) With probability $\to 1$ as the social group size $N \to \infty $, every individual in the social group learns the best option. (2) Over an arbitrary finite time horizon $[0, T]$, with high probability (in $N$), the fraction of individuals that prefer the best option grows to 1 exponentially fast as $t$ increases ($t\in [0, T]$). A major innovation of our mean-filed analysis is a simple yet powerful technique to deal with absorbing states in the interchange of limits $N \to \infty$ and $t \to \infty $. The mean-field approximation method allows us to approximate the probabilistic sample paths of our learning dynamics by a deterministic and smooth trajectory that corresponds to the unique solution of a well-behaved system of ordinary differential equations (ODEs). Such an approximation is desired because the analysis of a system of ODEs is relatively easier than that of the original stochastic system.


title: Quantum Walk in Momentum Space with a Bose-Einstein Condensate

abstract: We present a discrete-time, one-dimensional quantum walk based on the entanglement between the momentum of ultracold rubidium atoms (the walk space) and two internal atomic states (the "coin" degree of freedom). Our scheme is highly flexible and can provide a platform for a wide range of applications such as quantum search algorithms, the observation of topological phases, and the realization of walks with higher dimensionality. Along with the investigation of the quantum-to-classical transition, we demonstrate the distinctive features of a quantum walk and contrast them to those of its classical counterpart. Also, by manipulating either the walk or coin operator, we show how the walk dynamics can be steered or even reversed.


title: Consistency of the maximum likelihood estimator in seasonal hidden Markov models

abstract: In this paper, we introduce a variant of hidden Markov models in which the transition probabilities between the states, as well as the emission distributions, are not constant in time but vary in a periodic manner. This class of models, that we will call seasonal hidden Markov models (SHMM) is particularly useful in practice, as many applications involve a seasonal behaviour. However, up to now, there is no theoretical result regarding this kind of model. We show that under mild assumptions, SHMM are identifiable: we can identify the transition matrices and the emission distributions from the joint distribution of the observations on a period, up to state labelling. We also give sufficient conditions for the strong consistency of the maximum likelihood estimator (MLE). These results are applied to simulated data, using the EM algorithm to compute the MLE. Finally, we show how SHMM can be used in real world applications by applying our model to precipitation data, with mixtures of exponential distributions as emission distributions.


title: A counterexample to Herzog's Conjecture on the number of involutions

abstract: In 1979, Herzog put forward the following conjecture: if two simple groups have the same number of involutions, then they are of the same order. We give a counterexample to this conjecture.


title: An Analysis of Categorical Distributional Reinforcement Learning

abstract: Distributional approaches to value-based reinforcement learning model the entire distribution of returns, rather than just their expected values, and have recently been shown to yield state-of-the-art empirical performance. This was demonstrated by the recently proposed C51 algorithm, based on categorical distributional reinforcement learning (CDRL) [Bellemare et al., 2017]. However, the theoretical properties of CDRL algorithms are not yet well understood. In this paper, we introduce a framework to analyse CDRL algorithms, establish the importance of the projected distributional Bellman operator in distributional RL, draw fundamental connections between CDRL and the Cram\'er distance, and give a proof of convergence for sample-based categorical distributional reinforcement learning algorithms.


title: A Multiple Ejecta-Circumstellar Medium Interaction Model and Its Implications for Superluminous Supernovae iPTF15esb and iPTF13dcc

abstract: In this paper, we investigate two hydrogen-poor superluminous supernovae (SLSNe) iPTF15esb and iPTF13dcc whose light curves (LCs) show significant deviation from the smooth rise and fall. The LC of iPTF15esb exhibits two peaks and a post-peak plateau, and furthermore the late-time spectrum of iPTF15esb shows a strong, broad H$\alpha$ emission line. The early-time LC of iPTF13dcc shows a long duration bump followed by the second peak. Here we propose an ejecta-circumstellar medium (CSM) interaction model involving multiple shells/winds and use it to explain the LCs of iPTF15esb and iPTF13dcc. We find that the theoretical LCs reproduced by this model can well match the observations of iPTF15esb and iPTF13dcc. Based on our results, we infer that the progenitors have undergone multiple violent mass-loss processes before the SN explosion. In addition, we find that the variation trend of our inferred densities of the shells is consistent with that predicted by the stellar mass-loss history before an SN explosion. Further investigations for other bumpy SLSNe/SNe would shed light on their nature and provide a probe for the mass-loss history of their progenitors.


title: A Coincidence Search for Cosmic Neutrino and Gamma-Ray Emitting Sources Using IceCube and Fermi LAT Public Data

abstract: We present results of an archival coincidence analysis between Fermi LAT gamma-ray data and public neutrino data from the IceCube neutrino observatory's 40-string (IC40) and 59-string (IC59) observing runs. Our analysis has the potential to detect either a statistical excess of neutrino + gamma-ray ($\nu$+$\gamma$) emitting transients or, alternatively, individual high gamma-multiplicity events, as might be produced by a neutrino observed by IceCube coinciding with a LAT-detected gamma-ray burst. Dividing the neutrino data into three datasets by hemisphere (IC40, IC59-North, and IC59-South), we construct uncorrelated null distributions by Monte Carlo scrambling of the neutrino datasets. We carry out signal-injection studies against these null distributions, demonstrating sensitivity to individual $\nu$+$\gamma$ events of sufficient gamma-ray multiplicity, and to $\nu$+$\gamma$ transient populations responsible for $>$14% (IC40), $>$9% (IC59-North), or $>$8% (IC59-South) of the gamma-coincident neutrinos observed in these datasets, respectively. Analyzing the unscrambled neutrino data, we identify no individual high-significance neutrino + high gamma-multiplicity events, and no significant deviations from the test statistic null distributions. However, we observe a similar and unexpected pattern in the IC59-North and IC59-South residual distributions that we conclude reflects a possible correlation ($p=7.0\%$) between IC59 neutrino positions and persistently bright portions of the Fermi gamma-ray sky. This possible correlation should be readily testable using eight years of further data already collected by IceCube. We are currently working with Astrophysical Multimessenger Observatory Network (AMON) partner facilities to generate low-latency $\nu$+$\gamma$ alerts from Fermi LAT gamma-ray, IceCube and ANTARES neutrino data and distribute these in real time to AMON follow-up partners.


title: When gluons go odd: how classical gluon fields generate odd azimuthal harmonics for the two-gluon correlation function in high-energy collisions

abstract: We show that, in the saturation/Color Glass Condensate framework, odd azimuthal harmonics of the two-gluon correlation function with a long-range separation in rapidity are generated by the higher-order saturation corrections in the interactions with the projectile and the target. At the very least, the odd harmonics require three scatterings in the projectile and three scatterings in the target. We derive the leading-order expression for the two-gluon production cross section which generates odd harmonics: the expression includes all-order interactions with the target and three interactions with the projectile. We evaluate the obtained expression both analytically and numerically, confirming that the odd-harmonics contribution to the two-gluon production in the saturation framework is non-zero.


title: Learning Causally-Generated Stationary Time Series

abstract: We present the Causal Gaussian Process Convolution Model (CGPCM), a doubly nonparametric model for causal, spectrally complex dynamical phenomena. The CGPCM is a generative model in which white noise is passed through a causal, nonparametric-window moving-average filter, a construction that we show to be equivalent to a Gaussian process with a nonparametric kernel that is biased towards causally-generated signals. We develop enhanced variational inference and learning schemes for the CGPCM and its previous acausal variant, the GPCM (Tobar et al., 2015b), that significantly improve statistical accuracy. These modelling and inferential contributions are demonstrated on a range of synthetic and real-world signals.


title: Performance of missing transverse momentum reconstruction with the ATLAS detector using proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: The performance of the missing transverse momentum (E$_{T}^{miss}$) reconstruction with the ATLAS detector is evaluated using data collected in proton-proton collisions at the LHC at a center-of-mass energy of 13 TeV in 2015. To reconstruct E$_{T}^{miss}$, fully calibrated electrons, muons, photons, hadronically decaying $\tau$-leptons, and jets reconstructed from calorimeter energy deposits and charged-particle tracks are used. These are combined with the soft hadronic activity measured by reconstructed charged-particle tracks not associated with the hard objects. Possible double counting of contributions from reconstructed charged-particle tracks from the inner detector, energy deposits in the calorimeter, and reconstructed muons from the muon spectrometer is avoided by applying a signal ambiguity resolution procedure which rejects already used signals when combining the various E$_{T}^{miss}$ contributions. The individual terms as well as the overall reconstructed E$_{T}^{miss}$ are evaluated with various performance metrics for scale (linearity), resolution, and sensitivity to the data-taking conditions. The method developed to determine the systematic uncertainties of the E$_{T}^{miss}$ scale and resolution is discussed. Results are shown based on the full 2015 data sample corresponding to an integrated luminosity of 3.2 fb$^{-1}$.


title: Two flat structures on minimal surfaces

abstract: In this expository article, we illustrate how two independent flat structures on minimal surfaces induce a harmonic function, which captures the uniqueness of Enneper's surface.


title: Web spaces and worldwide web spaces: topological aspects of domain theory

abstract: Web spaces, wide web spaces and worldwide web spaces (alias C-spaces) provide useful generalizations of continuous domains. We present new characterizations of such spaces and their patch spaces, obtained by joining the original topology with a second topology having the dual specialization order; these patch spaces possess good convexity and separation properties and determine the original web spaces. The category of C-spaces is concretely isomorphic to the category of fan spaces; these are certain quasi-ordered spaces having neighborhood bases of fans, obtained by deleting a finite number of principal dual ideals from a principal dual ideal. Our approach has useful consequences for domain theory, because the T$_0$ web spaces are exactly the generalized Scott spaces of locally approximating ideal extensions, and the T$_0$ C-spaces are exactly the generalized Scott spaces of globally approximating and interpolating ideal extensions. We extend the characterization of continuous lattices as meet-continuous lattices with T$_2$ Lawson topology and the Fundamental Theorem of Compact Semilattices to non-complete posets. Finally, cardinal invariants like density and weight of the involved objects are investigated.


title: Cocommutative Com-PreLie bialgebras

abstract: A Com-PreLie bialgebra is a commutative bialgebra with an extra preLie product satisfying some compatibilities with the product and coproduct. We here give a classification of connected, cocommutative Com-PreLie bialgebras over a field of characteristic zero: we obtain a main family of symmetric algebras on a space V of any dimension, and another family available only if V is one-dimensional. We also explore the case of Com-PreLie bialgebras over a group algebra and over a tensor product of a group algebra and of a symmetric algebra.


title: Shear strength of wet granular materials: macroscopic cohesion and effective stress

abstract: Rheometric measurements on assemblies of wet polystyrene bead assemblies, in steady uniform quasistatic shear flow, for varying liquid content within the small saturation (pendular) range of isolated liquid bridges, are supplemented with a systematic study by discrete numerical simulations. Numerical results and experimental ones agree quantitatively is the intergranular friction coefficient is set to 0.09, suitable for the dry material. Shear resistance and solid fraction are recorded as functions of the reduced pressure p, comparing normal stress to capillary bridge tensile strength. The Mohr-Coulomb relation with p-independent cohesion c applies for p above 2. The assumption that contact force contributions to stress act as effective stresses predicts shear strength quite well throughout the numerically investigated range of parameters.. A generalized Mohr-Coulomb cohesion c is defined, which relates to the dry material internal friction, coordination numbers and capillary force network anisotropy. The Rumpf formula approximation, ignoring capillary shear stress is correct for the larger saturation range within the pendular regime, but fails to describe its decrease for small liquid contents.


title: On Completely Solvable Lie Foliation

abstract: In this paper we try to generalize the Haefliger theorem on completly solvable Lie foliations. We prove that: every completely solvable Lie foliation on a compact manifold is the inverse image of a homogenus foliation. Every manifold in this paper is compact and our Lie group G is connexe and simply connexe.


title: p-Blocks Relative to a Character of a Normal Subgroup

abstract: Let G be a finite group, let N be a normal subgroup of G, and let theta in Irr(N) be a G-invariant character. We fix a prime p, and we introduce a canonical partition of Irr(G|theta) relative to p. We call each member B_theta of this partition a theta-block, and to each theta-block B_theta we naturally associate a conjugacy class of p-subgroups of G/N, which we call the theta-defect groups of B_theta. If N is trivial, then the theta-blocks are the Brauer p-blocks. Using theta-blocks, we can unify the Gluck-Wolf-Navarro-Tiep theorem and Brauer's Height Zero conjecture in a single statement, which, after work of B. Sambale, turns out to be equivalent to the the Height Zero conjecture. We also prove that the k(B)-conjecture is true if and only if every theta-block B_theta has size less than or equal the size of any of its theta-defect groups, hence bringing normal subgroups to the k(B)-conjecture.


title: Algebra and geometry of tensors for modeling rater agreement data

abstract: We study three different quasi-symmetry models and three different mixture models of $n\times n\times n$ tensors for modeling rater agreement data. For these models we give a geometric description of the associated varieties and we study their invariants distinguishing between the case $n=2$ and the case $n>2$. Finally, for the two models for pairwise agreement we state some results about the pairwise Cohen's $\kappa$ coefficients.


title: Analyzing Real-Time Multimedia Content From Network Cameras Using CPUs and GPUs in the Cloud

abstract: Millions of network cameras are streaming real-time multimedia content (images or videos) for various environments (e.g., highways and malls) and can be used for a variety of applications. Analyzing the content from many network cameras requires significant amounts of computing resources. Cloud vendors offer resources in the form of cloud instances with different capabilities and hourly costs. Some instances include GPUs that can accelerate analysis programs. Doing so incurs additional monetary cost because instances with GPUs are more expensive. It is a challenging problem to reduce the overall monetary cost of using the cloud to analyze the real-time multimedia content from network cameras while meeting the desired analysis frame rates. This paper describes a cloud resource manager that solves this problem by estimating the resource requirements of executing analysis programs using CPU or GPU, formulating the resource allocation problem as a multiple-choice vector bin packing problem, and solving it using an existing algorithm. The experiments show that the manager can reduce up to 61\% of the cost compared with other allocation strategies.


title: New constraints on Lyman-{\alpha} opacity with a sample of 62 quasars at z > 5.7

abstract: We present measurements of the mean and scatter of the IGM Lyman-{\alpha} opacity at 4.9 < z < 6.1 along the lines of sight of 62 quasars at z > 5.7, the largest sample assembled at these redshifts to date by a factor of two. The sample size enables us to sample cosmic variance at these redshifts more robustly than ever before. The spectra used here were obtained by the SDSS, DES-VHS and SHELLQs collaborations, drawn from the ESI and X-Shooter archives, reused from previous studies or observed specifically for this work. We measure the effective optical depth of Lyman-{\alpha} in bins of 10, 30, 50 and 70 cMpc h-1, construct cumulative distribution functions under two treatments of upper limits on flux and explore an empirical analytic fit to residual Lyman-{\alpha} transmission. We verify the consistency of our results with those of previous studies via bootstrap re-sampling and confirm the existence of tails towards high values in the opacity distributions, which may persist down to z = 5.2. Comparing our results with predictions from cosmological simulations, we find further strong evidence against models that include a spatially uniform ionizing background and temperature-density relation. We also compare to IGM models that include either a fluctuating UVB dominated by rare quasars or temperature fluctuations due to patchy reionization. Although both models produce better agreement with the observations, neither fully captures the observed scatter in IGM opacity. Our sample of 62 z > 5.7 quasar spectra opens many avenues for future study of the reionisation epoch.


title: Correlation-Adjusted Regression Survival Scores for High-Dimensional Variable Selection

abstract: Background: The development of classification methods for personalized medicine is highly dependent on the identification of predictive genetic markers. In survival analysis it is often necessary to discriminate between influential and non-influential markers. Usually, the first step is to perform a univariate screening step that ranks the markers according to their associations with the outcome. It is common to perform screening using Cox scores, which quantify the associations between survival and each of the markers individually. Since Cox scores do not account for dependencies between the markers, their use is suboptimal in the presence highly correlated markers. Methods: As an alternative to the Cox score, we propose the correlation-adjusted regression survival (CARS) score for right-censored survival outcomes. By removing the correlations between the markers, the CARS score quantifies the associations between the outcome and the set of "de-correlated" marker values. Estimation of the scores is based on inverse probability weighting, which is applied to log-transformed event times. For high-dimensional data, estimation is based on shrinkage techniques. Results: The consistency of the CARS score is proven under mild regularity conditions. In simulations, survival models based on CARS score rankings achieved higher areas under the precision-recall curve than competing methods. Two example applications on prostate and breast cancer confirmed these results. CARS scores are implemented in the R package carSurv. Conclusions: In research applications involving high-dimensional genetic data, the use of CARS scores for marker selection is a favorable alternative to Cox scores even when correlations between covariates are low. Having a straightforward interpretation and low computational requirements, CARS scores are an easy-to-use screening tool in personalized medicine research.


title: Elements of the Kopula (eventological copula) theory

abstract: New in the probability theory and eventology theory, the concept of Kopula (eventological copula) is introduced. The theorem on the characterization of the sets of events by Kopula is proved, which serves as the eventological pre-image of the well-known Sclar's theorem on copulas (1959). The Kopulas of doublets and triplets of events are given, as well as of some N-sets of events.


title: Algebroid Structures on Para-Hermitian Manifolds

abstract: We present a global construction of a so-called D-bracket appearing in the physics literature of Double Field Theory (DFT) and show that if certain integrability criteria are satisfied, it can be seen as a sum of two Courant algebroid brackets. In particular, we show that the local picture of the extended space-time used in DFT fits naturally in the geometrical framework of para-Hermitian manifolds and that the data of an (almost) para-Hermitian manifold is sufficient to construct the D-bracket. Moreover, the twists of the bracket appearing in DFT can be interpreted in this framework geometrically as a consequence of certain deformations of the underlying para-Hermitian structure.


title: Infrared study of the quasi-two-dimensional electron system at the interface between SrTiO$_{3}$ and crystalline or amorphous LaAlO$_3$

abstract: We have used grazing-angle infrared spectroscopy to detect the Berreman effect (BE) in the quasi-two-dimensional electron system (q-2DES) which forms spontaneously at the interface between SrTiO$_{3}$ (STO) and a thin film of LaAlO$_3$ (LAO). From the BE, which allows one to study longitudinal optical excitations in ultrathin films like the q-2DES, we have extracted at different temperatures its thickness, the charge density and mobility of the carriers under crystalline LAO (sample A), and the charge density under amorphous LAO (sample B). This quantity turns out to be higher than in sample A, but a comparison with Hall measurements shows that under amorphous LAO the charges are partly localized at low $T$ with a low activation energy (about 190 K in $k_B$ units), and are thermally activated according to a model for large polarons. The thickness of the q-2DES extracted from our spectra turns out to be 4 $\pm 1$ nm for crystalline LAO, 7 $\pm 2$ nm for amorphous LAO.


title: User Perceptions of Smart Home IoT Privacy

abstract: Smart home Internet of Things (IoT) devices are rapidly increasing in popularity, with more households including Internet-connected devices that continuously monitor user activities. In this study, we conduct eleven semi-structured interviews with smart home owners, investigating their reasons for purchasing IoT devices, perceptions of smart home privacy risks, and actions taken to protect their privacy from those external to the home who create, manage, track, or regulate IoT devices and/or their data. We note several recurring themes. First, users' desires for convenience and connectedness dictate their privacy-related behaviors for dealing with external entities, such as device manufacturers, Internet Service Providers, governments, and advertisers. Second, user opinions about external entities collecting smart home data depend on perceived benefit from these entities. Third, users trust IoT device manufacturers to protect their privacy but do not verify that these protections are in place. Fourth, users are unaware of privacy risks from inference algorithms operating on data from non-audio/visual devices. These findings motivate several recommendations for device designers, researchers, and industry standards to better match device privacy features to the expectations and preferences of smart home owners.


title: Projection-Free Online Optimization with Stochastic Gradient: From Convexity to Submodularity

abstract: Online optimization has been a successful framework for solving large-scale problems under computational constraints and partial information. Current methods for online convex optimization require either a projection or exact gradient computation at each step, both of which can be prohibitively expensive for large-scale applications. At the same time, there is a growing trend of non-convex optimization in machine learning community and a need for online methods. Continuous DR-submodular functions, which exhibit a natural diminishing returns condition, have recently been proposed as a broad class of non-convex functions which may be efficiently optimized. Although online methods have been introduced, they suffer from similar problems. In this work, we propose Meta-Frank-Wolfe, the first online projection-free algorithm that uses stochastic gradient estimates. The algorithm relies on a careful sampling of gradients in each round and achieves the optimal $O( \sqrt{T})$ adversarial regret bounds for convex and continuous submodular optimization. We also propose One-Shot Frank-Wolfe, a simpler algorithm which requires only a single stochastic gradient estimate in each round and achieves an $O(T^{2/3})$ stochastic regret bound for convex and continuous submodular optimization. We apply our methods to develop a novel "lifting" framework for the online discrete submodular maximization and also see that they outperform current state-of-the-art techniques on various experiments.


title: Colour Confinement: a Dynamical Phenomenon of QCD

abstract: We study in this Letter the origin of the confinement in QCD by analyzing the colour charge of physics states. We derive the colour charge operator in QCD and compare it with the electromagnetic charge operator in QED. It shows that the two charges have very similar structure, but the dynamical properties of the gauge fields are different. The difference between the behaviours of the gauge boson propagator at zero momentum for QCD and that for QED guarantees that there occurs colour confinement in QCD but there is no confinement in QED. We give then a universal relation between the confinement and the dynamical property of QCD and reveals the origin of the colour confinement, which can be demonstrated as the dynamical effect of QCD or more explicitly the dynamical mass generation of the gluon.


title: On quaternion algebra over the composite of quadratic number fields and over some dihedral fields

abstract: Let p and q be two positive primes. In this paper we obtain a complete characterization of quaternion division algebras H_K(p,q) over the composite K of n quadratic number fields. Also, in Section 6, we obtain a characterization of quaternion division algebras H_K(p,q) over some dihedral fields K.


title: Schr\"odinger-Koopman quasienergy states of quantum systems driven by a classical flow

abstract: We study the properties of the quasienergy states of a quantum system driven by a classical dynamical system. The quasienergies are defined in a same manner as in light-matter interaction but where the Floquet approach is generalized by the use of the Koopman approach of dynamical systems. We show how the properties of the classical flow (fixed and cyclic points, ergodicity, chaos) influence the driven quantum system. This approach of the Schr\"odinger-Koopman quasienergies can be applied to quantum control, quantum information in presence of noises, and dynamics of mixed classical-quantum systems. We treat the example of a kicked spin ensemble where the kick modulation is governed by discrete classical flows as the Arnold's cat map and the Chirikov standard map.


title: A Logic of Strong Contact between Polytopes

abstract: We propose a new contact relation between polytopes. Intuitively, we say that two polytopes are in strong contact if a small enough object can pass from one of them to the other while remaining in their union. In the first half of the paper we prove that this relation is indeed a contact relation between polytopes, which turns out not to be the case for arbitrary regular closed in Euclidean spaces sets. In the second half we study the universal fragments of the logics of the resultant contact algebras. We prove that they all coincide with the set of theorems of a standard quantifier-free formal system for connected contact algebras, which also coincides with the universal fragments of the logics of a variety of (classes of) contact algebras of interest.


title: The spatial Lambda-Fleming-Viot process with fluctuating selection

abstract: We are interested in populations in which the fitness of different genetic types fluctuates in time and space, driven by temporal and spatial fluctuations in the environment. For simplicity, our population is assumed to be composed of just two genetic types. Short bursts of selection acting in opposing directions drive to maintain both types at intermediate frequencies, while the fluctuations due to 'genetic drift' work to eliminate variation in the population. We consider first a population with no spatial structure, modelled by an adaptation of the Lambda (or generalised) Fleming-Viot process, and derive a stochastic differential equation as a scaling limit. This amounts to a limit result for a Lambda-Fleming-Viot process in a rapidly fluctuating random environment. We then extend to a population that is distributed across a spatial continuum, which we model through a modification of the spatial Lambda-Fleming-Viot process with selection. In this setting we show that the scaling limit is a stochastic partial differential equation. As is usual with spatially distributed populations, in dimensions greater than one, the 'genetic drift' disappears in the scaling limit, but here we retain some stochasticity due to the fluctuations in the environment, resulting in a stochastic p.d.e. driven by a noise that is white in time but coloured in space. We discuss the (rather limited) situations under which there is a duality with a system of branching and annihilating particles. We also write down a system of equations that captures the frequency of descendants of particular subsets of the population and use this same idea of 'tracers', which we learned from Hallatschek and Nelson (2008) and Durrett and Fan (2016), in numerical experiments with a closely related model based on the classical Moran model.


title: Complexity of the Steiner Network Problem with Respect to the Number of Terminals

abstract: In the Directed Steiner Network problem we are given an arc-weighted digraph $G$, a set of terminals $T \subseteq V(G)$, and an (unweighted) directed request graph $R$ with $V(R)=T$. Our task is to output a subgraph $G' \subseteq G$ of the minimum cost such that there is a directed path from $s$ to $t$ in $G'$ for all $st \in A(R)$. It is known that the problem can be solved in time $|V(G)|^{O(|A(R)|)}$ [Feldman&Ruhl, SIAM J. Comput. 2006] and cannot be solved in time $|V(G)|^{o(|A(R)|)}$ even if $G$ is planar, unless Exponential-Time Hypothesis (ETH) fails [Chitnis et al., SODA 2014]. However, as this reduction (and other reductions showing hardness of the problem) only shows that the problem cannot be solved in time $|V(G)|^{o(|T|)}$ unless ETH fails, there is a significant gap in the complexity with respect to $|T|$ in the exponent. We show that Directed Steiner Network is solvable in time $f(R)\cdot |V(G)|^{O(c_g \cdot |T|)}$, where $c_g$ is a constant depending solely on the genus of $G$ and $f$ is a computable function. We complement this result by showing that there is no $f(R)\cdot |V(G)|^{o(|T|^2/ \log |T|)}$ algorithm for any function $f$ for the problem on general graphs, unless ETH fails.


title: Large and realistic models of Amorphous Silicon

abstract: Amorphous silicon (a-Si) models are analyzed for structural, electronic and vibrational characteristics. Several models of various sizes have been computationally fabricated for this analysis. It is shown that a recently developed structural modeling algorithm known as force-enhanced atomic refinement (FEAR) provides results in agreement with experimental neutron and x-ray diffraction data while producing a total energy below conventional schemes. We also show that a large model (500 atoms) and a complete basis is necessary to properly describe vibrational and thermal properties. We compute the density for a-Si, and compare with experimental results.


title: Phases and Stability of Non-Uniform Black Strings

abstract: We construct solutions of non-uniform black strings in dimensions from $D \approx 9$ all the way up to $D = \infty$, and investigate their thermodynamics and dynamical stability. Our approach employs the large-$D$ perturbative expansion beyond the leading order, including corrections up to $1/D^4$. Combining both analytical techniques and relatively simple numerical solution of ODEs, we map out the ranges of parameters in which non-uniform black strings exist in each dimension and compute their thermodynamics and quasinormal modes with accuracy. We establish with very good precision the existence of Sorkin's critical dimension and we prove that not only the thermodynamic stability, but also the dynamic stability of the solutions changes at it.


title: Large-scale limit of interface fluctuation models

abstract: We extend the weak universality of KPZ in [Hairer-Quastel] to weakly asymmetric interface models with general growth mechanisms beyond polynomials. A key new ingredient is a pointwise bound on correlations of trigonometric functions of Gaussians in terms of their polynomial counterparts. This enables us to reduce the problem of a general nonlinearity with sufficient regularity to that of a polynomial.


title: Localization theory for derivators

abstract: We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions, reflective factorization systems, and categories of algebras for idempotent monads. This is a further development of the theory of monads and factorization systems for derivators.


title: Seeing the forest for the trees? An investigation of network knowledge

abstract: This paper assesses the empirical content of one of the most prevalent assumptions in the economics of networks literature, namely the assumption that decision makers have full knowledge about the networks they interact on. Using network data from 75 villages, we ask 4,554 individuals to assess whether five randomly chosen pairs of households in their village are linked through financial, social, and informational relationships. We find that network knowledge is low and highly localized, declining steeply with the pair's network distance to the respondent. 46% of respondents are not even able to offer a guess about the status of a potential link between a given pair of individuals. Even when willing to offer a guess, respondents can only correctly identify the links 37% of the time. We also find that a one-step increase in the social distance to the pair corresponds to a 10pp increase in the probability of misidentifying the link. We then investigate the theoretical implications of this assumption by showing that the predictions of various models change substantially if agents behave under the more realistic assumption of incomplete knowledge about the network. Taken together, our results suggest that the assumption of full network knowledge (i) may serve as a poor approximation to the real world and (ii) is not innocuous: allowing for incomplete network knowledge may have first-order implications for a range of qualitative and quantitative results in various contexts.


title: Adversarial Examples that Fool both Computer Vision and Time-Limited Humans

abstract: Machine learning models are vulnerable to adversarial examples: small changes to images can cause computer vision models to make mistakes such as identifying a school bus as an ostrich. However, it is still an open question whether humans are prone to similar mistakes. Here, we address this question by leveraging recent techniques that transfer adversarial examples from computer vision models with known parameters and architecture to other models with unknown parameters and architecture, and by matching the initial processing of the human visual system. We find that adversarial examples that strongly transfer across computer vision models influence the classifications made by time-limited human observers.


title: The role of canting and depleted-triplet minima in superconducting spin valve structures

abstract: The trilayer and pentalayer spin valve structures are revisited to determine the behavior of pair correlations and Josephson current when the magnetic layers are canted at arbitrary angle. The two systems display markedly different behaviors in the center magnetic layer. While the trilayer generates a triplet component that is weakly affected by canting, the pentalayer tunes in singlet pair correlations depending heavily on canting. We also show that a minimum with depleted $m=\pm1$ triplet components, rather than a $0-\pi$ transition, may be observed in the current profile $I_c(d_F)$ of a trilayer spin valve. The depleted-triplet minimum (DTM) is directly attributable to a decrease of $m=\pm1$ triplet correlations with increased thickness of the central ferromagnet, accompanied by a hidden, simultaneous sign change of the Gor'kov functions contributed from the left and right superconductors. We introduce a toy model for superconducting-magnetic proximity systems to better illuminate the behavior of individual components of the Gor'kov function and compare with a full numerical calculation.


title: Chaos in Dirac electron optics: Emergence of a relativistic quantum chimera

abstract: We uncover a remarkable quantum scattering phenomenon in two-dimensional Dirac material systems where the manifestations of both classically integrable and chaotic dynamics emerge simultaneously and are electrically controllable. The distinct relativistic quantum fingerprints associated with different electron spin states are due to a physical mechanism analogous to chiroptical effect in the presence of degeneracy breaking. The phenomenon mimics a chimera state in classical complex dynamical systems but here in a relativistic quantum setting - henceforth the term "Dirac quantum chimera," associated with which are physical phenomena with potentially significant applications such as enhancement of spin polarization, unusual coexisting quasibound states for distinct spin configurations, and spin selective caustics. Experimental observations of these phenomena are possible through, e.g., optical realizations of ballistic Dirac fermion systems.


title: What stellar orbit is needed to measure the spin of the Galactic center black hole from astrometric data?

abstract: Astrometric and spectroscopic monitoring of individual stars orbiting the supermassive black hole in the Galactic Center offer a promising way to detect general relativistic effects. While low-order effects are expected to be detected following the periastron passage of S2 in Spring 2018, detecting higher-order effects due to black hole spin will require the discovery of closer stars. In this paper, we set out to determine the requirements such a star would have to satisfy to allow the detection of black hole spin. We focus on the instrument GRAVITY, which saw first light in 2016 and which is expected to achieve astrometric accuracies $10-100 \mu$as. For an observing campaign with duration $T$ years, $N_{obs}$ total observations, astrometric precision $\sigma_x$ and normalized black hole spin $\chi$, we find that $a_{orb}(1-e^2)^{3/4} \lesssim 300 R_S \sqrt{\frac{T}{4 \text{years}}} \left(\frac{N_{obs}}{120}\right)^{0.25} \sqrt{\frac{10 \mu as}{\sigma_x}} \sqrt{\frac{\chi}{0.9}}$ is needed. For $\chi=0.9$ and a potential observing campaign with $\sigma_x = 10 \mu$as, 30 observations/year and duration 4-10 years, we expect $\sim 0.1$ star with $K<19$ satisfying this constraint based on the current knowledge about the stellar population in the central 1". We also propose a method through which GRAVITY could potentially measure radial velocities with precision $\sim 50$ km/s. If the astrometric precision can be maintained, adding radial velocity information increases the expected number of stars by roughly a factor of two. While we focus on GRAVITY, the results can also be scaled to parameters relevant for future extremely large telescopes.


title: Effects of Grain Boundary Disorder on Yield Strength

abstract: It was recently reported that segregation of Zr to grain boundaries (GB) in nanocrystalline Cu can lead to the formation of disordered intergranular films [1,2]. In this study we employ atomistic computer simulations to study how the formation of these films affects the dislocation nucleation from the GBs. We found that full disorder of the grain boundary structure leads to the suppression of dislocation emission and significant increase of the yield stress. Depending on the solute concentration and heat-treatment, however, a partial disorder may also occur and this aids dislocation nucleation rather than suppressing it, resulting in elimination of the strengthening effect.


title: Multiparametric Deep Learning Tissue Signatures for a Radiological Biomarker of Breast Cancer: Preliminary Results

abstract: A new paradigm is beginning to emerge in Radiology with the advent of increased computational capabilities and algorithms. This has led to the ability of real time learning by computer systems of different lesion types to help the radiologist in defining disease. For example, using a deep learning network, we developed and tested a multiparametric deep learning (MPDL) network for segmentation and classification using multiparametric magnetic resonance imaging (mpMRI) radiological images. The MPDL network was constructed from stacked sparse autoencoders with inputs from mpMRI. Evaluation of MPDL consisted of cross-validation, sensitivity, and specificity. Dice similarity between MPDL and post-DCE lesions were evaluated. We demonstrate high sensitivity and specificity for differentiation of malignant from benign lesions of 90% and 85% respectively with an AUC of 0.93. The Integrated MPDL method accurately segmented and classified different breast tissue from multiparametric breast MRI using deep leaning tissue signatures.


title: A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure

abstract: Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision problem under RC for nominal safe $\mathcal{ELO}_\bot$, a notable and practically important DL representative of the OWL 2 profile OWL 2 EL. Our contribution here is to define a polynomial time subsumption procedure for nominal safe $\mathcal{ELO}_\bot$ under RC that relies entirely on a series of classical, monotonic $\mathcal{EL}_\bot$ subsumption tests. Therefore, any existing classical monotonic $\mathcal{EL}_\bot$ reasoner can be used as a black box to implement our method. We then also adapt the method to one of the known extensions of RC for DLs, namely Defeasible Inheritance-based DLs without losing the computational tractability.


title: Nonequilibrium dynamics of the O(N) model on dS_3 and AdS crunches

abstract: We study the nonperturbative quantum evolution of the interacting O(N) vector model at large-N, formulated on a spatial two-sphere, with time dependent couplings which diverge at finite time. This model - the so-called "E-frame" theory, is related via a conformal transformation to the interacting O(N) model in three dimensional global de Sitter spacetime with time independent couplings. We show that with a purely quartic, relevant deformation the quantum evolution of the E-frame model is regular even when the classical theory is rendered singular at the end of time by the diverging coupling. Time evolution drives the E-frame theory to the large-N Wilson-Fisher fixed point when the classical coupling diverges. We study the quantum evolution numerically for a variety of initial conditions and demonstrate the finiteness of the energy at the classical "end of time". With an additional (time dependent) mass deformation, quantum backreaction lowers the mass, with a putative smooth time evolution only possible in the limit of infinite quartic coupling. We discuss the relevance of these results for the resolution of crunch singularities in AdS geometries dual to E-frame theories with a classical gravity dual.


title: Grothendieck-Lefschetz for vector bundles

abstract: According to the Grothendieck-Lefschetz theorem from SGA 2, there are no nontrivial line bundles on the punctured spectrum $U_R$ of a local ring $R$ that is a complete intersection of dimension $\ge 4$. Dao conjectured a generalization for vector bundles $\mathscr{V}$ of arbitrary rank on $U_R$: such a $\mathscr{V}$ is free if and only if $\mathrm{depth}_R(\mathrm{End}_R(\Gamma(U_R, \mathscr{V}))) \ge 4$. We use deformation theoretic techniques to settle Dao's conjecture. We also present examples showing that its assumptions are sharp and draw consequences for splitting of vector bundles on complete intersections in projective space.


title: SCRank: Spammer and Celebrity Ranking in Directed Social Networks

abstract: Many online social networks allow directed edges: Alice can unilaterally add an "edge" to Bob, typically indicating interest in Bob or Bob's content, without Bob's permission or reciprocation. In directed social networks we observe the rise of two distinctive classes of users: celebrities who accrue unreciprocated incoming links, and follow spammers, who generate unreciprocated outgoing links. Identifying users in these two classes is important for abuse detection, user and content ranking, privacy choices, and other social network features. In this paper we develop SCRank, an iterative algorithm to identify such users. We analyze SCRank both theoretically and experimentally. The spammer-celebrity definition is not amenable to analysis using standard power iteration, so we develop a novel potential function argument to show convergence to an approximate equilibrium point for a class of algorithms including SCRank. We then use experimental evaluation on a real global-scale social network and on synthetically generated graphs to observe that the algorithm converges quickly and consistently. Using synthetic data with built-in ground truth, we also experimentally show that the algorithm provides a good approximation to planted celebrities and spammers.


title: In-depth study of long-term variability in the X-ray emission of the Be/X-ray binary system AX J0049.4-7323

abstract: AX J0049.4-7323 is a Be/X-ray binary in the Small Magellanic Cloud hosting a ~750 s pulsar which has been observed over the last ~17 years by several X-ray telescopes. Despite numerous observations, little is known about its X-ray behaviour. Therefore, we coherently analysed archival Swift, Chandra, XMM-Newton, RXTE, and INTEGRAL data, and we compared them with already published ASCA data, to study its X-ray long-term spectral and flux variability. AX J0049.4-7323 shows a high X-ray variability, spanning more than three orders of magnitudes, from L ~ 1.6E37 erg/s (0.3-8 keV, d=62 kpc) down to L ~ 8E33 erg/s. RXTE, Chandra, Swift, and ASCA observed, in addition to the expected enhancement of X-ray luminosity at periastron, flux variations by a factor of ~ 270 with peak luminosities of ~2.1E36 erg/s far from periastron. These properties are difficult to reconcile with the typical long-term variability of Be/XRBs, traditionally interpreted in terms of type I and type II outbursts. The study of AX J0049.4-7323 is complemented with a spectral analysis of Swift, Chandra, and XMM-Newton data which showed a softening trend when the emission becomes fainter, and an analysis of optical/UV data collected by the UVOT telescope on board Swift. In addition, we measured a secular spin-up rate of $\dot{P}=(-3.00\pm0.12)\times 10^{-3}$ s day$^{-1}$, which suggests that the pulsar has not yet achieved its equilibrium period. Assuming spherical accretion, we estimated an upper limit for the magnetic field strength of the pulsar of ~3E12 G.


title: Gravitational Waves from Binary Mergers of Sub-solar Mass Dark Black Holes

abstract: We explore the possible spectrum of binary mergers of sub-solar mass black holes formed out of dark matter particles interacting via a dark electromagnetism. We estimate the properties of these dark black holes by assuming that their formation process is parallel to Population-III star formation; except that dark molecular cooling can yield smaller opacity limit. We estimate the binary coalescence rates for the Advanced LIGO and Einstein telescope, and find that scenarios compatible with all current constraints could produce dark black holes at rates high enough for detection by Advanced LIGO.


title: P-adic Asai L-functions of Bianchi modular forms

abstract: The Asai (or twisted tensor) $L$-function of a Bianchi modular form $\Psi$ is the $L$-function attached to the tensor induction to $\mathbb{Q}$ of its associated Galois representation. In this paper, when $\Psi$ is ordinary at $p$ we construct a $p$-adic analogue of this $L$-function: that is, a $p$-adic measure on $\mathbb{Z}_p^\times$ that interpolates the critical values of the Asai $L$-function twisted by Dirichlet characters of $p$-power conductor. The construction uses techniques analogous to those used by Lei, Zerbes and the first author in order to construct an Euler system attached to the Asai representation of a quadratic Hilbert modular form.


title: Thermally driven anomalous Hall effect transitions in FeRh

abstract: Materials exhibiting controllable magnetic phase transitions are currently in demand for many spintronics applications. Here we investigate from first principles the electronic structure and intrinsic anomalous Hall, spin Hall and anomalous Nernst response properties of the FeRh metallic alloy which undergoes a thermally driven antiferromagnetic-to-ferromagnetic phase transition. We show that the energy band structures and underlying Berry curvatures have important signatures in the various Hall effects. Specifically, the suppression of the anomalous Hall and Nernst effects in the AFM state and a sign change in the spin Hall conductivity across the transition are found. It is suggested that the FeRh can be used a spin current detector capable of differentiating the spin Hall effect from other anomalous transverse effects. The implications of this material and its thermally driven phases as a spin current detection scheme are also discussed.


title: Touch Sensors with Overlapping Signals: Concept Investigation on Planar Sensors with Resistive or Optical Transduction

abstract: Traditional methods for achieving high localization accuracy on tactile sensors usually involve a matrix of miniaturized individual sensors distributed on the area of interest. This approach usually comes at a price of increased complexity in fabrication and circuitry, and can be hard to adapt to non-planar geometries. We propose a method where sensing terminals are embedded in a volume of soft material. Mechanical strain in this material results in a measurable signal between any two given terminals. By having multiple terminals and pairing them against each other in all possible combinations, we obtain a rich signal set using few wires. We mine this data to learn the mapping between the signals we extract and the contact parameters of interest. Our approach is general enough that it can be applied with different transduction methods, and achieves high accuracy in identifying indentation location and depth. Moreover, this method lends itself to simple fabrication techniques and makes no assumption about the underlying geometry, potentially simplifying future integration in robot hands.


title: Half-space Macdonald processes

abstract: Macdonald processes are measures on sequences of integer partitions built using the Cauchy summation identity for Macdonald symmetric functions. These measures are a useful tool to uncover the integrability of many probabilistic systems, including the Kardar-Parisi-Zhang (KPZ) equation and a number of other models in its universality class. In this paper we develop the structural theory behind half-space variants of these models and the corresponding half-space Macdonald processes. These processes are built using a Littlewood summation identity instead of the Cauchy identity, and their analysis is considerably harder than their full-space counterparts. We compute moments and Laplace transforms of observables for general half-space Macdonald measures. Introducing new dynamics preserving this class of measures, we relate them to various stochastic processes, in particular the log-gamma polymer in a half-quadrant (they are also related to the stochastic six-vertex model in a half-quadrant and the half-space ASEP). For the polymer model, we provide explicit integral formulas for the Laplace transform of the partition function. Non-rigorous saddle point asymptotics yield convergence of the directed polymer free energy to either the Tracy-Widom GOE, GSE or the Gaussian distribution depending on the average size of weights on the boundary.

categories: math.PR cond-mat.stat-mech math-ph math.CO math.MP


title: Resonant torsion magnetometry in anisotropic quantum materials

abstract: Unusual behavior of quantum materials commonly arises from their effective low-dimensional physics, which reflects the underlying anisotropy in the spin and charge degrees of freedom. Torque magnetometry is a highly sensitive technique to directly quantify the anisotropy in quantum materials, such as the layered high-T$_c$ superconductors, anisotropic quantum spin-liquids, and the surface states of topological insulators. Here we introduce the magnetotropic coefficient $k=\partial^2 F/\partial \theta^2$, the second derivative of the free energy F with respect to the angle $\theta$ between the sample and the applied magnetic field, and report a simple and effective method to experimentally detect it. A sub-$\mu$g crystallite is placed at the tip of a commercially available atomic force microscopy cantilever, and we show that $k$ can be quantitatively inferred from a shift in the resonant frequency under magnetic field. While related to the magnetic torque $\tau=\partial F/\partial \theta$, $k$ takes the role of torque susceptibility, and thus provides distinct insights into anisotropic materials akin to the difference between magnetization and magnetic susceptibility. The thermodynamic coefficient $k$ is discontinuous at second-order phase transitions and subject to Ehrenfest relations with the specific heat and magnetic susceptibility. We apply this simple yet quantitative method on the exemplary cases of the Weyl-semimetal NbP and the spin-liquid candidate RuCl$_3$, yet it is broadly applicable in quantum materials research.


title: $^4{\rm He}$ vs. $^4{\rm Li}$ and production of light nuclei in relativistic heavy-ion collisions

abstract: We propose to measure the yields of $^4{\rm He}$ and $^4{\rm Li}$ in relativistic heavy-ion collisions to clarify a mechanism of light nuclei production. Since the masses of $^4{\rm He}$ and $^4{\rm Li}$ are almost equal, the yield of $^4{\rm Li}$ predicted by the thermal model is 5 times bigger than that of $^4{\rm He}$ which reflects the different numbers of internal degrees of freedom of the two nuclides. Their internal structure is, however, very different: the alpha particle is well bound and compact while $^4{\rm Li}$ is weakly bound and loose. Within the coalescence model the ratio of yields of $^4{\rm Li}$ to $^4{\rm He}$ is shown to be significantly smaller than that in the thermal model and the ratio decreases fast from central to peripheral collisions of relativistic heavy-ion collisions because the coalescence rate strongly depends on the nucleon source radius. Since the nuclide $^4{\rm Li}$ is unstable and it decays into $^3{\rm He}$ and $p$ after roughly $30~{\rm fm}/c$, the yield of $^4{\rm Li}$ can be experimentally obtained through a measurement of the $^3{\rm He}\!-\!p$ correlation function.


title: SDSS-IV MaNGA: Stellar angular momentum of about 2300 galaxies: unveiling the bimodality of massive galaxy properties

abstract: We measure $\lambda_{R_e}$, a proxy for galaxy specific stellar angular momentum within one effective radius, and the ellipticity, $\epsilon$, for about 2300 galaxies of all morphological types observed with integral field spectroscopy as part of the MaNGA survey, the largest such sample to date. We use the $(\lambda_{R_e}, \epsilon)$ diagram to separate early-type galaxies into fast and slow rotators. We also visually classify each galaxy according to its optical morphology and two-dimensional stellar velocity field. Comparing these classifications to quantitative $\lambda_{R_e}$ measurements reveals tight relationships between angular momentum and galaxy structure. In order to account for atmospheric seeing, we use realistic models of galaxy kinematics to derive a general approximate analytic correction for $\lambda_{R_e}$. Thanks to the size of the sample and the large number of massive galaxies, we unambiguously detect a clear bimodality in the $(\lambda_{R_e}, \epsilon)$ diagram which may result from fundamental differences in galaxy assembly history. There is a sharp secondary density peak inside the region of the diagram with low $\lambda_{R_e}$ and $\epsilon < 0.4$, previously suggested as the definition for slow rotators. Most of these galaxies are visually classified as non-regular rotators and have high velocity dispersion. The intrinsic bimodality must be stronger, as it tends to be smoothed by noise and inclination. The large sample of slow rotators allows us for the first time to unveil a secondary peak at +/-90 degrees in their distribution of the misalignments between the photometric and kinematic position angles. We confirm that genuine slow rotators start appearing above a stellar mass of 2\times10^{11} M_{\odot}$ where a significant number of high-mass fast rotators also exist.


title: Projected Entangled Pair States: Fundamental analytical and numerical limitations

abstract: Matrix Product States (MPS) and Projected Entangled Pair States (PEPS) are powerful analytical and numerical tools to assess quantum many-body systems in one and higher dimensions, respectively. While MPS are comprehensively understood, in PEPS fundamental questions, relevant analytically as well as numerically, remain open, such as how to encode symmetries in full generality, or how to stabilize numerical methods using canonical forms. Here, we show that these key problems, as well as a number of related questions, are algorithmically undecidable, that is, they cannot be fully resolved in a systematic way. Our work thereby exposes fundamental limitations to a full and unbiased understanding of quantum many-body systems using PEPS.


title: ArduSoar: an Open-Source Thermalling Controller for Resource-Constrained Autopilots

abstract: Autonomous soaring capability has the potential to significantly increase time aloft for fixed-wing UAVs. In this paper, we introduce ArduSoar, the first soaring controller integrated into a major autopilot software suite for small UAVs. We describe ArduSoar from the algorithmic standpoint, outline its integration with the ArduPlane autopilot, discuss parameter tuning for it, and conduct a series of flight tests on real sUAVs that show ArduSoar's robustness even in highly non-ideal atmospheric conditions.


title: ChatPainter: Improving Text to Image Generation using Dialogue

abstract: Synthesizing realistic images from text descriptions on a dataset like Microsoft Common Objects in Context (MS COCO), where each image can contain several objects, is a challenging task. Prior work has used text captions to generate images. However, captions might not be informative enough to capture the entire image and insufficient for the model to be able to understand which objects in the images correspond to which words in the captions. We show that adding a dialogue that further describes the scene leads to significant improvement in the inception score and in the quality of generated images on the MS COCO dataset.


title: A new model for Cerebellar computation

abstract: The standard state space model is widely believed to account for the cerebellar computation in motor adaptation tasks [1]. Here we show that several recent experiments [2-4] where the visual feedback is irrelevant to the motor response challenge the standard model. Furthermore, we propose a new model that accounts for the the results presented in [2-4]. According to this new model, learning and forgetting are coupled and are error size dependent. We also show that under reasonable assumptions, our proposed model is the only model that accounts for both the classical adaptation paradigm as well as the recent experiments [2-4].


title: VizWiz Grand Challenge: Answering Visual Questions from Blind People

abstract: The study of algorithms to automatically answer visual questions currently is motivated by visual question answering (VQA) datasets constructed in artificial VQA settings. We propose VizWiz, the first goal-oriented VQA dataset arising from a natural VQA setting. VizWiz consists of over 31,000 visual questions originating from blind people who each took a picture using a mobile phone and recorded a spoken question about it, together with 10 crowdsourced answers per visual question. VizWiz differs from the many existing VQA datasets because (1) images are captured by blind photographers and so are often poor quality, (2) questions are spoken and so are more conversational, and (3) often visual questions cannot be answered. Evaluation of modern algorithms for answering visual questions and deciding if a visual question is answerable reveals that VizWiz is a challenging dataset. We introduce this dataset to encourage a larger community to develop more generalized algorithms that can assist blind people.


title: Tensor field networks: Rotation- and translation-equivariant neural networks for 3D point clouds

abstract: We introduce tensor field neural networks, which are locally equivariant to 3D rotations, translations, and permutations of points at every layer. 3D rotation equivariance removes the need for data augmentation to identify features in arbitrary orientations. Our network uses filters built from spherical harmonics; due to the mathematical consequences of this filter choice, each layer accepts as input (and guarantees as output) scalars, vectors, and higher-order tensors, in the geometric sense of these terms. We demonstrate the capabilities of tensor field networks with tasks in geometry, physics, and chemistry.


title: The optical properties of transferred graphene and the dielectrics grown on it obtained by ellipsometry

abstract: Graphene layers grown by chemical vapour deposition (CVD) method and transferred from Cu-foils to the oxidized Si-substrates were investigated by spectroscopic ellipsometry (SE), Raman and X-Ray Photoelectron Spectroscopy (XPS) methods. The optical properties of transferred CVD graphene layers do not always correspond to the ones of the exfoliated graphene due to the contamination from the chemicals used in the transfer process. However, the real thickness and the mean properties of the transferred CVD graphene layers can be found using ellipsometry if a real thickness of the SiO2 layer is taken into account. The pulsed layer deposition (PLD) and atomic layer deposition (ALD) methods were used to grow dielectric layers on the transferred graphene and the obtained structures were characterized using optical methods. The approach demonstrated in this work could be useful for the characterization of various materials grown on graphene.


title: Uncovering Weyl Fermions in the Quantum Limit of NbP

abstract: The Fermi surface topology of a Weyl semimetal (WSM) depends strongly on the position of the chemical potential. If it resides close to the band touching points (Weyl nodes), as it does in TaAs, separate Fermi surfaces of opposite chirality emerge, leading to novel phenomena such as the chiral magnetic effect. If the chemical potential lies too far from the nodes, however, the chiral Fermi surfaces merge into a single large Fermi surface with no net chirality. This is realized in the WSM NbP, where the Weyl nodes lie far below the Fermi energy and where the transport properties in low magnetic fields show no evidence of chiral Fermi surfaces. Here we show that the behavior of NbP in high magnetic fields is nonetheless dominated by the presence of the Weyl nodes. Torque magnetometry up to 60 tesla reveals a change in the slope of $\tau/B$ at the quantum limit B$^\star$ ($\approx 32\,\rm{T}$), where the chemical potential enters the $n=0$ Landau level. Numerical simulations show that this behaviour results from the magnetic field pulling the chemical potential to the chiral $n=0$ Landau level belonging to the Weyl nodes. These results show that high magnetic fields can uncover topological singularities in the underlying band structure of a potential WSM, and can recover topologically non-trivial experimental properties, even when the position of the chemical potential precludes their observation in zero magnetic field.


title: Spin-1 Topological Monopoles in Parameter Space of Ultracold Atoms

abstract: Magnetic monopole, a hypothetical elementary particle with isolated magnetic pole, is crucial for the quantization of electric charge. In recent years, analogues of magnetic monopoles, represented by topological defects in parameter spaces, have been studied in a wide range of physical systems. These works mainly focused on Abelian Dirac monopoles in spin-1/2 or non-Abelian Yang monopoles in spin-3/2 systems. Here we propose to realize three types of spin-1 topological monopoles and study their geometric properties using the parameter space formed by three hyperfine states of ultracold atoms coupled by radio-frequency fields. These spin-1 monopoles, characterized by different monopole charges, possess distinct Berry curvature fields and spin textures, which are directly measurable in experiments. The topological phase transitions between different monopoles are accompanied by the emergence of spin "vortex", and can be intuitively visualized using Majorana's stellar representation. We show how to determine the Berry curvature, hence the geometric phase and monopole charge from dynamical effects. Our scheme provides a simple and highly tunable platform for observing and manipulating spin-1 topological monopoles, paving the way for exploring new topological quantum matter.


title: Achievable Rate of Private Function Retrieval from MDS Coded Databases

abstract: We study the problem of private function retrieval (PFR) in a distributed storage system. In PFR the user wishes to retrieve a linear combination of $M$ messages stored in non-colluding $(N,K)$ MDS coded databases while revealing no information about the coefficients of the intended linear combination to any of the individual databases. We present an achievable scheme for MDS coded PFR with a rate that matches the capacity for coded private information retrieval derived recently, $R=(1+R_c+R_c^2+\dots+R_c^{M-1})^{-1}=\frac{1-R_c}{1-R_c^M}$, where $R_c=\frac{K}{N}$ is the rate of the MDS code. This achievable rate is tight in some special cases.


title: Thresholds for vanishing of `Isolated' faces in random \v{C}ech and Vietoris-Rips complexes

abstract: We study combinatorial connectivity for two models of random geometric complexes. These two models - \v{C}ech and Vietoris-Rips complexes - are built on a homogeneous Poisson point process of intensity $n$ on a $d$-dimensional torus using balls of radius $r_n$. In the former, the $k$-simplices/faces are formed by subsets of $(k+1)$ Poisson points such that the balls of radius $r_n$ centred at these points have a mutual interesection and in the latter, we require only a pairwise intersection of the balls. Given a (simplicial) complex (i.e., a collection of $k$-simplices for all $k \geq 1$), we can connect $k$-simplices via $(k+1)$-simplices (`up-connectivity') or via $(k-1)$-simplices (`down-connectivity). Our interest is to understand these two combinatorial notions of connectivity for the random \v{C}ech and Vietoris-Rips complexes asymptically as $n \to \infty$. In particular, we analyse in detail the threshold radius for vanishing of isolated $k$-faces for up and down connectivity of both types of random geometric complexes. Though it is expected that the threshold radius $r_n = \Theta((\frac{\log n}{n})^{1/d})$ in coarse scale, our results give tighter bounds on the constants in the logarithmic scale as well as shed light on the possible second-order correction factors. Further, they also reveal interesting differences between the phase transition in the \v{C}ech and Vietoris-Rips cases. The analysis is interesting due to the non-monotonicity of the number of isolated $k$-faces (as a function of the radius) and leads one to consider `monotonic' vanishing of isolated $k$-faces. The latter coincides with the vanishing threshold mentioned above at a coarse scale (i.e., $\log n$ scale) but differs in the $\log \log n$ scale for the \v{C}ech complex with $k = 1$ in the up-connected case.


title: How does relativistic kinetic theory remember about initial conditions?

abstract: Understanding hydrodynamization in microscopic models of heavy-ion collisions has been an important topic in current research. Many lessons obtained within the strongly-coupled (holographic) models originate from the properties of transient excitations of equilibrium encapsulated by short-lived quasinormal modes of black holes. This paper aims to develop similar intuition for expanding plasma systems described by a simple model from the weakly-coupled domain, the Boltzmann equation in the relaxation time approximation. We show that in this kinetic theory setup there are infinitely many transient modes carrying information about the initial distribution function. They all have the same exponential damping set by the relaxation time but are distinguished by different power-law suppressions and different frequencies of oscillations, logarithmic in proper time. We also analyze the resurgent interplay between the hydrodynamics and transients in this setup.


title: Generating, from scratch, the near-field asymptotic forms of scalar resistance functions for two unequal rigid spheres in low Reynolds number flow

abstract: The motion of rigid spherical particles suspended in a low Reynolds number fluid can be related to the forces, torques and stresslets acting upon them by 22 scalar resistance functions, commonly notated $X^A_{11}$, $X^A_{12}$, $Y^A_{11}$, etc. Near-field asymptotic forms of these resistance functions were derived in Jeffrey and Onishi (J. Fluid Mech., 1984) and Jeffrey (Phys. Fluids A, 1992); these forms are now used in several numerical methods for suspension mechanics. However, the first of these important papers contains a number of small errors which make it difficult for the reader to correctly evaluate the functions for parameters not explicitly tabulated. This short article comprehensively corrects these errors, and adds formulae that were originally omitted from both papers, so that the reader can verify and implement the equations independently. The corrected expressions, rationalised and using contemporary nondimensionalisation, are shown to match mid-field values of these scalars which are calculated through an alternative method. A Python script to generate and evaluate these functions is provided.


title: Quantum linear systems algorithms: a primer

abstract: The Harrow-Hassidim-Lloyd (HHL) quantum algorithm for sampling from the solution of a linear system provides an exponential speed-up over its classical counterpart. The problem of solving a system of linear equations has a wide scope of applications, and thus HHL constitutes an important algorithmic primitive. In these notes, we present the HHL algorithm and its improved versions in detail, including explanations of the constituent sub- routines. More specifically, we discuss various quantum subroutines such as quantum phase estimation and amplitude amplification, as well as the important question of loading data into a quantum computer, via quantum RAM. The improvements to the original algorithm exploit variable-time amplitude amplification as well as a method for implementing linear combinations of unitary operations (LCUs) based on a decomposition of the operators using Fourier and Chebyshev series. Finally, we discuss a linear solver based on the quantum singular value estimation (QSVE) subroutine.


title: Energy Transfer and Spectra in Simulations of Two-dimensional Compressible Turbulence

abstract: We present results of high-resolution numerical simulations of compressible 2D turbulence forced at intermediate spatial scales with a solenoidal white-in-time external acceleration. A case with an isothermal equation of state, low energy injection rate, and turbulent Mach number $M\approx0.34$ without energy condensate is studied in detail. Analysis of energy spectra and fluxes shows that the classical dual-cascade picture familiar from the incompressible case is substantially modified by compressibility effects. While the small-scale direct enstrophy cascade remains largely intact, a large-scale energy flux loop forms with the direct acoustic energy cascade compensating for the inverse transfer of solenoidal kinetic energy. At small scales, the direct enstrophy and acoustic energy cascades are fully decoupled at small Mach numbers and hence the corresponding spectral energy slopes comply with theoretical predictions, as expected. At large scales, dispersion of acoustic waves on vortices softens the dilatational velocity spectrum, while the pseudo-sound component of the potential energy associated with coherent vortices steepens the potential energy spectrum.

categories: astro-ph.GA nlin.AO physics.comp-ph physics.flu-dyn


title: A Better (Bayesian) Interval Estimate for Within-Subject Designs

abstract: We develop a Bayesian highest-density interval (HDI) for use in within-subject designs. This credible interval is based on a standard noninformative prior and a modified posterior distribution that conditions on both the data and point estimates of the subject-specific random effects. Conditioning on the estimated random effects removes between-subject variance and produces intervals that are the Bayesian analogue of the within-subject confidence interval proposed in Loftus and Masson (1994). We show that the latter interval can also be derived as a Bayesian within-subject HDI under a certain improper prior. We argue that the proposed new interval is superior to the original within-subject confidence interval, on the grounds of (a) it being based on a more sensible prior, (b) it having a clear and intuitively appealing interpretation, and (c) because its length is always smaller. A generalization of the new interval that can be applied to heteroscedastic data is also derived, and we show that the resulting interval is numerically equivalent to the normalization method discussed in Franz and Loftus (2012); however, our work provides a Bayesian formulation for the normalization method, and in doing so we identify the associated prior distribution.


title: Mitigating Foreground Biases in CMB Lensing Reconstruction Using Cleaned Gradients

abstract: Reconstructed maps of the lensing convergence of the cosmic microwave background (CMB) will play a major role in precision cosmology in coming years. CMB lensing maps will enable calibration of the masses of high-redshift galaxy clusters and will yield precise measurements of the growth of cosmic structure through cross-correlations with galaxy surveys. During the next decade, CMB lensing reconstruction will rely heavily on temperature data, rather than polarization, thus necessitating a detailed understanding of biases due to extragalactic foregrounds. In the near term, the most significant bias among these is that due to the thermal Sunyaev-Zel'dovich (tSZ) effect. Moreover, high-resolution observations will be available at only a few frequencies, making full foreground cleaning challenging. In this paper, we demonstrate a solution to the foreground bias problem that involves cleaning only the large-scale gradients of the CMB temperature map. We show that the data necessary for tSZ-bias-free CMB lensing maps already exist in the form of large-scale measurements of the CMB across multiple frequencies by the Planck and WMAP satellite experiments. Specifically, we show that the bias to halo masses inferred from CMB lensing is eliminated by the utilization of clean gradients obtained from multi-frequency component separation involving Planck and WMAP data, and that special lensing maps for galaxy cross-correlations can be prepared with only a small penalty in signal-to-noise while requiring no masking, in-painting, modeling, or simulation effort for the tSZ bias. While we focus on cross-correlations, we also show that gradient cleaning can mitigate biases to the CMB lensing autospectrum that arise from the presence of foregrounds in temperature and polarization with minimal loss of signal-to-noise.


title: Proper holomorphic mappings onto symmetric products of a Riemann surface

abstract: We show that the structure of proper holomorphic maps between the $n$-fold symmetric products, $n\geq 2$, of a pair of non-compact Riemann surfaces $X$ and $Y$, provided these are reasonably nice, is very rigid. Specifically, any such map is determined by a proper holomorphic map of $X$ onto $Y$. This extends existing results concerning bounded planar domains, and is a non-compact analogue of a phenomenon observed in symmetric products of compact Riemann surfaces. Along the way, we also provide a condition for the complete hyperbolicity of all $n$-fold symmetric products of a non-compact Riemann surface.


title: The Secret Sharer: Evaluating and Testing Unintended Memorization in Neural Networks

abstract: This paper describes a testing methodology for quantitatively assessing the risk that rare or unique training-data sequences are unintentionally memorized by generative sequence models---a common type of machine-learning model. Because such models are sometimes trained on sensitive data (e.g., the text of users' private messages), this methodology can benefit privacy by allowing deep-learning practitioners to select means of training that minimize such memorization. In experiments, we show that unintended memorization is a persistent, hard-to-avoid issue that can have serious consequences. Specifically, for models trained without consideration of memorization, we describe new, efficient procedures that can extract unique, secret sequences, such as credit card numbers. We show that our testing strategy is a practical and easy-to-use first line of defense, e.g., by describing its application to quantitatively limit data exposure in Google's Smart Compose, a commercial text-completion neural network trained on millions of users' email messages.


title: Pattern-based Modeling of Multiresilience Solutions for High-Performance Computing

abstract: Resiliency is the ability of large-scale high-performance computing (HPC) applications to gracefully handle errors, and recover from failures. In this paper, we propose a pattern-based approach to constructing resilience solutions that handle multiple error modes. Using resilience patterns, we evaluate the performance and reliability characteristics of detection, containment and mitigation techniques for transient errors that cause silent data corruptions and techniques for fail-stop errors that result in process failures. We demonstrate the design and implementation of the multiresilience solution based on patterns instantiated across multiple layers of the system stack. The patterns are integrated to work together to achieve resiliency to different error types in a performance-efficient manner.


title: What's the Over/Under? Probabilistic Bounds on Information Leakage

abstract: Quantitative information flow (QIF) is concerned with measuring how much of a secret is leaked to an adversary who observes the result of a computation that uses it. Prior work has shown that QIF techniques based on abstract interpretation with probabilistic polyhedra can be used to analyze the worst-case leakage of a query, on-line, to determine whether that query can be safely answered. While this approach can provide precise estimates, it does not scale well. This paper shows how to solve the scalability problem by augmenting the baseline technique with sampling and symbolic execution. We prove that our approach never underestimates a query's leakage (it is sound), and detailed experimental results show that we can match the precision of the baseline technique but with orders of magnitude better performance.


title: Vector Field Based Neural Networks

abstract: A novel Neural Network architecture is proposed using the mathematically and physically rich idea of vector fields as hidden layers to perform nonlinear transformations in the data. The data points are interpreted as particles moving along a flow defined by the vector field which intuitively represents the desired movement to enable classification. The architecture moves the data points from their original configuration to anew one following the streamlines of the vector field with the objective of achieving a final configuration where classes are separable. An optimization problem is solved through gradient descent to learn this vector field.


title: NetChain: Scale-Free Sub-RTT Coordination (Extended Version)

abstract: Coordination services are a fundamental building block of modern cloud systems, providing critical functionalities like configuration management and distributed locking. The major challenge is to achieve low latency and high throughput while providing strong consistency and fault-tolerance. Traditional server-based solutions require multiple round-trip times (RTTs) to process a query. This paper presents NetChain, a new approach that provides scale-free sub-RTT coordination in datacenters. NetChain exploits recent advances in programmable switches to store data and process queries entirely in the network data plane. This eliminates the query processing at coordination servers and cuts the end-to-end latency to as little as half of an RTT---clients only experience processing delay from their own software stack plus network delay, which in a datacenter setting is typically much smaller. We design new protocols and algorithms based on chain replication to guarantee strong consistency and to efficiently handle switch failures. We implement a prototype with four Barefoot Tofino switches and four commodity servers. Evaluation results show that compared to traditional server-based solutions like ZooKeeper, our prototype provides orders of magnitude higher throughput and lower latency, and handles failures gracefully.