title: Deep Fitting Degree Scoring Network for Monocular 3D Object Detection

abstract: In this paper, we propose to learn a deep fitting degree scoring network for monocular 3D object detection, which aims to score fitting degree between proposals and object conclusively. Different from most existing monocular frameworks which use tight constraint to get 3D location, our approach achieves high-precision localization through measuring the visual fitting degree between the projected 3D proposals and the object. We first regress the dimension and orientation of the object using an anchor-based method so that a suitable 3D proposal can be constructed. We propose FQNet, which can infer the 3D IoU between the 3D proposals and the object solely based on 2D cues. Therefore, during the detection process, we sample a large number of candidates in the 3D space and project these 3D bounding boxes on 2D image individually. The best candidate can be picked out by simply exploring the spatial overlap between proposals and the object, in the form of the output 3D IoU score of FQNet. Experiments on the KITTI dataset demonstrate the effectiveness of our framework.


title: An efficient branch-and-cut algorithm for approximately submodular function maximization

abstract: When approaching to problems in computer science, we often encounter situations where a subset of a finite set maximizing some utility function needs to be selected. Some of such utility functions are known to be approximately submodular. For the problem of maximizing an approximately submodular function (ASFM problem), a greedy algorithm quickly finds good feasible solutions for many instances while guaranteeing ($1-e^{-\gamma}$)-approximation ratio for a given submodular ratio $\gamma$. However, we still encounter its applications that ask more accurate or exactly optimal solutions within a reasonable computation time. In this paper, we present an efficient branch-and-cut algorithm for the non-decreasing ASFM problem based on its binary integer programming (BIP) formulation with an exponential number of constraints. To this end, we first derive a BIP formulation of the ASFM problem and then, develop an improved constraint generation algorithm that starts from a reduced BIP problem with a small subset of constraints and repeats solving the reduced BIP problem while adding a promising set of constraints at each iteration. Moreover, we incorporate it into a branch-and-cut algorithm to attain good upper bounds while solving a smaller number of nodes of a search tree. The computational results for three types of well-known benchmark instances show that our algorithm performs better than the conventional exact algorithms.


title: On the Effect of Low-Frequency Terms on Neural-IR Models

abstract: Low-frequency terms are a recurring challenge for information retrieval models, especially neural IR frameworks struggle with adequately capturing infrequently observed words. While these terms are often removed from neural models - mainly as a concession to efficiency demands - they traditionally play an important role in the performance of IR models. In this paper, we analyze the effects of low-frequency terms on the performance and robustness of neural IR models. We conduct controlled experiments on three recent neural IR models, trained on a large-scale passage retrieval collection. We evaluate the neural IR models with various vocabulary sizes for their respective word embeddings, considering different levels of constraints on the available GPU memory. We observe that despite the significant benefits of using larger vocabularies, the performance gap between the vocabularies can be, to a great extent, mitigated by extensive tuning of a related parameter: the number of documents to re-rank. We further investigate the use of subword-token embedding models, and in particular FastText, for neural IR models. Our experiments show that using FastText brings slight improvements to the overall performance of the neural IR models in comparison to models trained on the full vocabulary, while the improvement becomes much more pronounced for queries containing low-frequency terms.


title: Human Spermbots for Cancer-Relevant Drug Delivery

abstract: Cellular micromotors are attractive for locally delivering high concentrations of drug and targeting hard-to-reach disease sites such as cervical cancer and early ovarian cancer lesions by non-invasive means. Spermatozoa are highly efficient micromotors perfectly adapted to traveling up the female reproductive system. Indeed, bovine sperm-based micromotors have recently been reported as a potential candidate for the drug delivery toward gynecological cancers of clinical unmet need. However, due to major differences in the molecular make-up of bovine and human sperm, a key translational bottleneck for bringing this technology closer to the clinic is to transfer this concept to human sperm. Here, we successfully load human sperm with a chemotherapeutic drug and perform treatment of relevant 3D cervical cancer and patient-representative 3D ovarian cancer cell cultures, resulting in strong anti-cancer effects. Additionally, we show the subcellular localization of the chemotherapeutic drug within human sperm heads and assess drug effects on sperm motility and viability over time. Finally, we demonstrate guidance and release of human drug-loaded sperm onto cancer cell cultures by using streamlined microcap designs capable of simultaneously carrying multiple human sperm towards controlled drug dosing by transporting known numbers of sperm loaded with defined amounts of chemotherapeutic drug.


title: Distributed Classification of Urban Congestion Using VANET

abstract: Vehicular Ad-hoc NETworks (VANET) can efficiently detect traffic congestion, but detection is not enough because congestion can be further classified as recurrent and non-recurrent congestion (NRC). In particular, NRC in an urban network is mainly caused by incidents, workzones, special events and adverse weather. We propose a framework for the real-time distributed classification of congestion into its components on a heterogeneous urban road network using VANET. We present models built on an understanding of the spatial and temporal causality measures and trained on synthetic data extended from a real case study of Cologne. Our performance evaluation shows a predictive accuracy of 87.63\% for the deterministic Classification Tree (CT), 88.83\% for the Naive Bayesian classifier (NB), 89.51\% for Random Forest (RF) and 89.17\% for the boosting technique. This framework can assist transportation agencies in reducing urban congestion by developing effective congestion mitigation strategies knowing the root causes of congestion.


title: Kinematic Properties of Open Star Clusters with Data from the Gaia DR2 Catalogue

abstract: We consider open star clusters (OSCs) with the proper motions, parallaxes, and line-of-sight velocities calculated by various authors from Gaia DR2 data. The distance scale factor has been found by analyzing the separate solutions of the basic kinematic equations to be $p=1.00\pm0.04.$ It shows that the distances calculated using the parallaxes from the Gaia DR2 catalogue do not need any correction factor. We have investigated the solutions obtained from various OSC samples differing in both age and accuracy of their parallax and line-of-sight velocity measurements. The solution obtained from a sample of 930 OSCs satisfying the constraints on the age logt<9 and the relative trigonometric parallax error <30% is recognized to be the best one, with 384 OSCs in this sample having the mean line-of-sight velocities calculated from at least three probable members of the corresponding clusters. As a result of the simultaneous solution of all the basic kinematic equations, we have found the following kinematic parameters from this sample: $(U,V,W)_\odot=(8.53,11.22,7.83)\pm(0.38,0.46,0.32)$ km s$^{-1}$, $\Omega_0=28.71\pm0.22$ km s$^{-1}$ kpc$^{-1}$, $\Omega'_0=-4.100\pm0.058$ km s$^{-1}$ kpc$^{-2}$, and $\Omega''_0= 0.736\pm0.033$ km s$^{-1}$ kpc$^{-3}$. The linear rotation velocity at the adopted at the adopted solar distance $R_0=8\pm0.15$ kpc is $V_0=229.7\pm4.6$ km s$^{-1}$. An analysis of the proper motions for these 930 OSCs has shown that, apart from the rotation around the Galactic z axis, there is rotation of the entire sample around the x axis with an angular velocity of $0.48\pm0.15$ km s$^{-1}$ kpc$^{-1}$ differing significantly from zero.


title: Artificial Neural Network for LiDAL Systems

abstract: In this paper, we introduce an intelligent light detection and localization (LiDAL) system that uses artificial neural networks (ANN). The LiDAL systems of interest are MIMO LiDAL and MISO IMG LiDAL systems. A trained ANN with the LiDAL system of interest is used to distinguish a human (target) from the background obstacles (furniture) in a realistic indoor environment. In the LiDAL systems, the received reflected signals in the time domain have different patterns corresponding to the number of targets and their locations in an indoor environment. The indoor environment with background obstacles (furniture) appears as a set of patterns in the time domain when the transmitted optical signals are reflected from objects in LiDAL systems. Hence, a trained neural network that has the ability to classify and recognize the received signal patterns can distinguish the targets from the background obstacles in a realistic environment. The LiDAL systems with ANN are evaluated in a realistic indoor environment through computer simulation.


title: Optimal thermoelectricity with quantum spin-Hall edge states

abstract: We study the thermoelectric properties of a Kramers pair of helical edge states of the quantum spin Hall effect coupled to a nanomagnet with a component of the magnetization perpendicular to the direction of the spin-orbit interaction of the host. We show that the transmission function of this structure has the desired qualities for optimal thermoelectric performance in the quantum coherent regime. For a single magnetic domain there is a power generation close to the optimal bound. In a configuration with two magnetic domains with different orientations, pronounced peaks in the transmission functions and resonances lead to a high figure of merit. We provide estimates for the fabrication of this device with HgTe quantum-well topological insulators.


title: Practical Modeling of Large-Scale Galactic Magnetic Fields: Status and Prospects

abstract: This is a review of the status of efforts to model the large-scale Galactic magnetic field (GMF). Though important for a variety of astrophysical processes, the GMF remains poorly understood despite some interesting new tracers being used in the field. Though we still have too many models that might fit the data, this is not to say that the field has not developed in the last few years. In particular, surveys of polarized dust have given us a new observable that is complementary to the more traditional radio tracers, and a variety of other new tracers and related measurements are becoming available to improve current modeling. This paper reviews: the tracers available; the models that have been studied; what has been learned so far; what the caveats and outstanding issues are; and one opinion of where the most promising future avenues of exploration lie.


title: Capturing human categorization of natural images at scale by combining deep networks and cognitive models

abstract: Human categorization is one of the most important and successful targets of cognitive modeling in psychology, yet decades of development and assessment of competing models have been contingent on small sets of simple, artificial experimental stimuli. Here we extend this modeling paradigm to the domain of natural images, revealing the crucial role that stimulus representation plays in categorization and its implications for conclusions about how people form categories. Applying psychological models of categorization to natural images required two significant advances. First, we conducted the first large-scale experimental study of human categorization, involving over 500,000 human categorization judgments of 10,000 natural images from ten non-overlapping object categories. Second, we addressed the traditional bottleneck of representing high-dimensional images in cognitive models by exploring the best of current supervised and unsupervised deep and shallow machine learning methods. We find that selecting sufficiently expressive, data-driven representations is crucial to capturing human categorization, and using these representations allows simple models that represent categories with abstract prototypes to outperform the more complex memory-based exemplar accounts of categorization that have dominated in studies using less naturalistic stimuli.


title: DAC: The Double Actor-Critic Architecture for Learning Options

abstract: We reformulate the option framework as two parallel augmented MDPs. Under this novel formulation, all policy optimization algorithms can be used off the shelf to learn intra-option policies, option termination conditions, and a master policy over options. We apply an actor-critic algorithm on each augmented MDP, yielding the Double Actor-Critic (DAC) architecture. Furthermore, we show that, when state-value functions are used as critics, one critic can be expressed in terms of the other, and hence only one critic is necessary. We conduct an empirical study on challenging robot simulation tasks. In a transfer learning setting, DAC outperforms both its hierarchy-free counterpart and previous gradient-based option learning algorithms.


title: Experimental demonstration of asymmetric diffraction based on a passive parity-time-symmetric acoustic grating

abstract: Passive parity-time-symmetric medium provides a feasible scheme to investigate non-Hermitian systems experimentally. Here, we design a passive PT-symmetric acoustic grating with a period equal to exact PT-symmetric medium. This treatment enhances the diffraction ability of a passive PT-symmetric grating with more compact modulation. Above all, it eliminates the first-order disturbance of previous design in diffraction grating. Additional cavities and small leaked holes on top plate in a 2D waveguide are used to construct a parity-time-symmetric potential. The combining between additional cavities and leaked holes makes it possible to modulate the real and imaginary parts of refractive index simultaneously. When the real and imaginary parts of refractive index are balanced in modulation, asymmetric diffraction can be observed between a pair of oblique incident waves. This demonstration provides a feasible way to construct passive parity-time-symmetric acoustic medium. It opens new possibilities for further investigation of acoustic wave control in non-Hermitian systems.


title: Quantum Control with Quantum Light of Molecular Nonadiabaticity

abstract: Coherent control experiments in molecules are often done with shaped laser fields. The electric field is described classically and control over the time evolution of the system is achieved by shaping the laser pulses in the time or frequency domain. Moving on from a classical to a quantum description of the light field allows to engineer the quantum state of light to steer chemical processes. The quantum field description of the photon mode allows to manipulate the light-matter interaction directly in phase-space. In this paper we will demonstrate the basic principle of coherent control with quantum light on the avoided crossing in lithium fluoride. Using a quantum description of light together with the nonadiabatic couplings and vibronic degrees of freedoms opens up new perspective on quantum control. We show the deviations from control with purely classical light field and how back-action of the light field becomes important in a few photon regime.


title: ExplaiNE: An Approach for Explaining Network Embedding-based Link Predictions

abstract: Networks are powerful data structures, but are challenging to work with for conventional machine learning methods. Network Embedding (NE) methods attempt to resolve this by learning vector representations for the nodes, for subsequent use in downstream machine learning tasks. Link Prediction (LP) is one such downstream machine learning task that is an important use case and popular benchmark for NE methods. Unfortunately, while NE methods perform exceedingly well at this task, they are lacking in transparency as compared to simpler LP approaches. We introduce ExplaiNE, an approach to offer counterfactual explanations for NE-based LP methods, by identifying existing links in the network that explain the predicted links. ExplaiNE is applicable to a broad class of NE algorithms. An extensive empirical evaluation for the NE method `Conditional Network Embedding' in particular demonstrates its accuracy and scalability.


title: The EBLM Project VI. The mass and radius of five low-mass stars in F+M binaries discovered by the WASP survey

abstract: Some M-dwarfs around F-/G-type stars have been measured to be hotter and larger than predicted by stellar evolution models. Inconsistencies between observations and models need addressing with more mass, radius and luminosity measurements of low-mass stars to test and refine evolutionary models. Our aim is to measure the masses, radii and ages of the stars in five low-mass eclipsing binary systems discovered by the WASP survey. We use WASP photometry to establish eclipse-time ephemerides and to obtain initial estimates for the transit depth and width. Radial velocity measurements were simultaneously fitted with follow-up photometry to find the best-fitting orbital solution. This solution was combined with measurements of atmospheric parameters to interpolate evolutionary models and estimate the mass of the primary star, and the mass and radius of the M-dwarf companion. We assess how the best fitting orbital solution changes if an alternative limb-darkening law is used and quantify the systematic effects of unresolved companions. We also gauge how the best-fitting evolutionary model changes if different values are used for the mixing length parameter and helium enhancement. We report the mass and radius of five M-dwarfs and find little evidence of inflation with respect to evolutionary models. The primary stars in two systems are near the ``blue hook'' stage of their post sequence evolution, resulting in two possible solutions for mass and age. We find that choices in helium enhancement and mixing-length parameter can introduce an additional 3-5\,\% uncertainty in measured M-dwarf mass. Unresolved companions can introduce an additional 3-8\% uncertainty in the radius of an M-dwarf, while the choice of limb-darkening law can introduce up to an additional 2\% uncertainty.


title: Performance study of the Jalousie detector baseline design for the ESS thermal powder diffractometer HEIMDAL through GEANT4 simulations

abstract: HEIMDAL is a thermal powder diffractometer designed to operate at the European Spallation Source, world's most intense neutron source. The detailed design of the instrument, which is expected to enter user operation in 2024/2025, assumes that the neutrons scattered by the powder under investigation will be collected with hundreds of large-area Multi-Wire Proportional Counters employing a $^{10}$B$_4$C-solid converter. The gas counters will consists of large active volumes and tapered trapezoidal shapes that allow for close packing into a cylindrical shell with high solid angle coverage. The whole detector will operate in an air environment within the shielding cave and provide signals with sensitivity for locating detection in three dimensions. This paper presents the results of a GEANT4 study of the baseline design for the HEIMDAL powder diffraction detector. The detector model was used to study key performance parameters such as detection efficiency and spatial resolution. The contribution of the detector to the resolving power of the instrument, one of the key figures-of-merit for powder diffractometers, was also investigated. Most of the simulation results reported in this work cannot be validated against a sufficiently similar physical reference until the first segment or module are constructed and tested with neutron beam. However, these results can help identify possible ways of optimising the detector design and provide the first glimpse into the expected performance of this technological approach.


title: Building quantum neural networks based on swap test

abstract: Artificial neural network, consisting of many neurons in different layers, is an important method to simulate humain brain. Usually, one neuron has two operations: one is linear, the other is nonlinear. The linear operation is inner product and the nonlinear operation is represented by an activation function. In this work, we introduce a kind of quantum neuron whose inputs and outputs are quantum states. The inner product and activation operator of the quantum neurons can be realized by quantum circuits. Based on the quantum neuron, we propose a model of quantum neural network in which the weights between neurons are all quantum states. We also construct a quantum circuit to realize this quantum neural network model. A learning algorithm is proposed meanwhile. We show the validity of learning algorithm theoretically and demonstrate the potential of the quantum neural network numerically.


title: Reconfiguring colorings of graphs with bounded maximum average degree

abstract: The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertex set the set of all possible $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex of $G$. Let $d, k \geq 1$ be integers such that $k \geq d+1$. We prove that for every $\epsilon > 0$ and every graph $G$ with $n$ vertices and maximum average degree $d - \epsilon$, $R_k(G)$ has diameter $O(n(\log n)^{d - 1})$. This significantly strengthens several existing results.


title: Magnon-Mediated Indirect Exciton Condensation through Antiferromagnetic Insulators

abstract: Electrons and holes residing on the opposing sides of an insulating barrier and experiencing an attractive Coulomb interaction can spontaneously form a coherent state known as an indirect exciton condensate. We study a trilayer system where the barrier is an antiferromagnetic insulator. The electrons and holes here additionally interact via interfacial coupling to the antiferromagnetic magnons. We show that by employing magnetically uncompensated interfaces, we can design the magnon-mediated interaction to be attractive or repulsive by varying the thickness of the antiferromagnetic insulator by a single atomic layer. We derive an analytical expression for the critical temperature $T_c$ of the indirect exciton condensation. Within our model, anisotropy is found to be crucial for achieving a finite $T_c$, which increases with the strength of the exchange interaction in the antiferromagnetic bulk. For realistic material parameters, we estimate $T_c$ to be around 7 K, the same order of magnitude as the current experimentally achievable exciton condensation where the attraction is solely due to the Coulomb interaction. The magnon-mediated interaction is expected to cooperate with the Coulomb interaction for condensation of indirect excitons, thereby providing a means to significantly increase the exciton condensation temperature range.


title: GalactICS with Gas

abstract: We present a new version of the GalactICS code that can generate self-consistent equilibrium galaxy models with a two-component stellar disc and a gas disc as well as a centrally-concentrated bulge and extended dark halo. The models can serve as initial conditions for simulations of isolated galaxies that include both hydrodynamics and collisionless dynamics. We test the code by evolving a pair of simple gas disc-halo models, which differ only in the initial temperature of the gas component. The models are similar to the ones considered in the Wang et al. except that here, the halo is live whereas they included the halo as a fixed potential. We find that the basic structural properties of the models, such as the rotation curve and surface density profiles, are well-preserved over 1.5 Gyr. We also construct a Milky Way model that includes thin and thick stellar disc components, a gas disc, a bulge, and a dark halo. Bar formation occurs in all disc-like components at about 1 Gyr. The bar is strongest in the thin disc while the gas disc contains the most prominent spiral features. The length of the bar in our model is comparable to what has been inferred for the Galactic bar.


title: Consistency of least squares estimation to the parameter for stochastic differential equations under distribution uncertainty

abstract: Under distribution uncertainty, on the basis of discrete data we investigate the consistency of the least squares estimator (LSE) of the parameter for the stochastic differential equation (SDE) where the noise are characterized by $G$-Brownian motion. In order to obtain our main result of consistency of parameter estimation, we provide some lemmas by the theory of stochastic calculus of sublinear expectation. The result shows that under some regularity conditions, the least squares estimator is strong consistent uniformly on the prior set. An illustrative example is discussed.


title: Non-monotonic diffusion rates in atom-optics L\'{e}vy kicked rotor

abstract: The dynamics of chaotic Hamiltonian systems such as the kicked rotor continues to guide our understanding of transport and localization processes. The localized states of the quantum kicked rotor decay due to decoherence effects if subjected to stationary noise. The associated quantum diffusion increases monotonically as a function of a parameter characterising the noise distribution. In this work, for the Levy kicked atom-optics rotor, it is experimentally shown that by tuning a parameter characterizing the Levy distribution, quantum diffusion displays non-monotonic behaviour. The parameters for optimal diffusion rates are analytically obtained and they reveal a good agreement with the cold atom experiments and numerics. The non-monotonicity is shown to be a quantum effect that vanishes in the classical limit.


title: A solution to the initial condition problems of inflation : NATON

abstract: The recent astonishing realization of the negative absolute temperature (NAT) for motional degrees of freedom \cite{Braun_ea13} inspires its possible application to the early universe. The existence of the upper bound on the energy of the system is the sufficient requirement for a NAT and this might correspond to the Planck scale at the Big Bang model. It has been argued that standard inflation requires an initial patch that is smooth over distance scales a bit larger than the causal horizon at the onset of inflation. We show that this initial condition problem can be solved if the NAT fermion, dubbed ``NATON'', occupies the Universe before the standard inflation is ignited by providing mini inflation prior to the standard one. As long as NATON dominated era lasts until at least ten times older than the Planck time, it makes the Universe homogeneous enough to derive the successful standard inflation.

categories: astro-ph.CO cond-mat.stat-mech gr-qc hep-th


title: Cram\'{e}r-Rao-type Bound and Stam's Inequality for Discrete Random Variables

abstract: The variance and the entropy power of a continuous random variable are bounded from below by the reciprocal of its Fisher information through the Cram\'{e}r-Rao bound and the Stam's inequality respectively. In this note, we introduce the Fisher information for discrete random variables and derive the discrete Cram\'{e}r-Rao-type bound and the discrete Stam's inequality.


title: Strictly weak consensus in the uniform compass model on $\mathbb{Z}$

abstract: We investigate a model for opinion dynamics, where individuals (modeled by vertices of a graph) hold certain abstract opinions. As time progresses, neighboring individuals interact with each other, and this interaction results in a realignment of opinions closer towards each other. This mechanism triggers formation of consensus among the individuals. Our main focus is on strong consensus (i.e. global agreement of all individuals) versus weak consensus (i.e. local agreement among neighbors). By extending a known model to a more general opinion space, which lacks a "central" opinion acting as a contraction point, we provide an example of an opinion formation process on the one-dimensional lattice with weak consensus but no strong consensus.


title: Electronic Properties of Defective MoS$_{2}$ Monolayers Subject to Mechanical Deformations: A First-Principles Approach

abstract: Monolayers (ML) of Group-6 transition-metal dichalcogenides (TMDs) are semiconducting two-dimensional materials with direct bandgap, showing promising applications in various fields of science and technology, such as nanoelectronics and optoelectronics. These monolayers can undergo strong elastic deformations, up to about 10\%, without any bond breaking. Moreover, the electronic structure and transport properties, which define the performance of these TMDs monolayers in nanoelectronic devices, can be strongly affected by the presence of point defects, which are often present in the synthetic samples. Thus, it is important to understand both effects on the electronic properties of such monolayers. In this work, we have investigated the electronic structure and energetic properties of defective MoS$_{2}$ monolayers, as subject to various strains, using density functional theory simulations. Our results indicated that strain leads to strong modifications of the defect levels inside the bandgap and their orbital characteristics. Strain also splits the degenerate defect levels up to an amount of 450~meV, proposing novel applications.


title: Systematic Effects in 2D Trapped Matter-Wave Interferometers

abstract: Trapped matter-wave interferometers (TMIs) present a platform for precision sensing within a compact apparatus, extending coherence time by repeated traversal of a confining potential. However, imperfections in this potential can introduce unwanted systematic effects, particularly when combined with errors in the associated beamsplitter operations. This can affect both the interferometer phase and visibility, and can make the performance more sensitive to other experimental imperfections. I examine the character and degree of these systematic effects, in particular within the context of 2D TMIs applicable for rotation sensing. I show that current experimental control can enable these interferometers to operate in a regime robust against experimental imperfections.


title: Understanding dense active nematics from microscopic models

abstract: We study dry, dense active nematics at both particle and continuous levels. Specifically, extending the Boltzmann-Ginzburg-Landau approach, we derive well-behaved hydrodynamic equations from a Vicsek-style model with nematic alignment and pairwise repulsion. An extensive study of the phase diagram shows qualitative agreement between the two levels of description. We find in particular that the dynamics of topological defects strongly depends on parameters and can lead to ``arch'' solutions forming a globally polar, smectic arrangement of N\'eel walls. We show how these configurations are at the origin of the defect ordered states reported previously. This work offers a detailed understanding of the theoretical description of dense active nematics directly rooted in their microscopic dynamics.


title: Small data global regularity for half-wave maps in $n = 4$ dimensions

abstract: We prove that the half-wave maps problem on $\mathbb{R}^{4+1}$ with target $S^2$ is globally well-posed for smooth initial data which are small in the critical $l^1$ based Besov space. This is a formal analogue of the result for wave maps by Tataru.


title: Radio Resource Allocation for Reliable Out-of-coverage V2V Communications

abstract: We explore a new approach to radio resource allocation for vehicle-to-vehicle (V2V) communications in case of out-of-coverage areas that are delimited by network infrastructure. By collecting and predicting information such as vehicle velocity, density and message traffic, the network infrastructure ensures reliability of the V2V services. We propose reserving required amount of resources for services that cannot be pre-scheduled (e.g., emergency braking, crash notifications, etc.), and scheduling those services that can be pre-scheduled (e.g., platooning). We analyze the resource reservation as a function of target reliability under varying vehicle densities and sizes of out-of-coverage area. For pre-scheduled services, we explore how variations in the vehicle velocities and predictions affect successful transmissions. The results indicate that increase in required reliability does not penalize the system prohibitively. On the other hand, speed prediction errors decrease the transmission success rate considerably, thus calling for a more flexible scheduler design.


title: Extracting the strangeness freeze-out temperature from net-Kaon data at RHIC

abstract: Using the moments of the net-kaon distribution calculated within a state of-the-art hadron resonance gas model compared to experimental data from STAR's Beam Energy Scan, we find that the extracted strange freeze-out temperature is incompatible with the light one extracted from net-proton and net-charge fluctuations. Additionally predictions for net-$Lambda$ fluctuations are made that also appear to be consistent with a higher freeze-out temperature for strange particles. This strangeness freeze-out temperature is roughly $10-15$ MeV higher than the corresponding light freeze-out temperature. We also discuss cross-susceptibilities using different identified particles, which may be a further test of this two freeze-out temperature picture. Finally, we lay out the necessary updates needed in relativistic hydrodynamic models to take into account for this two freeze-out temperature scenario and present preliminary results of $\Lambda$ spectra at RHIC for AuAu $\sqrt{s_{NN}}=200$ GeV collisions that indicate a higher freeze-out temperature is preferred.


title: Testing the Kerr nature of intermediate-mass and supermassive black hole binaries using spin-induced multipole moment measurements

abstract: The gravitational wave measurements of spin-induced multipole moment coefficients of a binary black hole system can be used to distinguish black holes from other compact objects [N. V. Krishnendu et al., PRL 119, 091101 (2017)]. Here, we apply the idea proposed in [N. V. Krishnendu et al., PRL 119, 091101 (2017)] to binary systems composed of intermediate-mass and supermassive black holes and derive the expected bounds on their Kerr nature using future space-based gravitational wave detectors. Using astrophysical models of binary black hole population, we study the measurability of the spin-induced quadrupole and octupole moment coefficients using LISA and DECIGO. The errors on spin-induced quadrupole moment parameter of the binary system are found to be { $\leq 0.1$ for almost $3\%$ of the total supermassive binary black hole population which is detectable by LISA whereas it is $\sim 46\%$ for the intermediate-mass black hole binaries observable by DECIGO at its design sensitivity.} We find that { errors on} {\it both} the quadrupole and octupole moment parameters can be estimated to { be} $\leq 1$ for $\sim 2\%$ and $\sim 50\%$ {of the population} respectively for LISA and DECIGO detectors. { Our findings suggest that a subpopulation of binary black hole events, with the signal to noise ratio thresholds greater than 200 and 100 respectively for LISA and DECIGO detectors, would permit tests of black hole nature to 10\% precision.}


title: On the virtual level of two-body interactions and applications to three-body systems in higher dimensions

abstract: We consider a system of three particles in dimension 4 and higher interacting via short-range potentials, where the two-body Hamiltonians have a virtual level at the bottom of the essential spectrum. In dimensions 2 (in case of fermions) and 3 the corresponding three-body Hamiltonian admits an infinite number of bound states, which is known as the Efimov effect. In this work we prove that this is not the case in higher dimensions. We investigate how the dimension and symmetries of the system influence this effect and prove the finiteness of the discrete spectrum of the corresponding three-body Hamiltonian.


title: Definition of the cord algebra of knots using Morse Theory

abstract: We redefine the cord algebra, which was introduced by Lenhard Ng as a topological knot invariant, in terms of Morse Theory. The determination of the cord algebra of the unknot and of the righthanded trefoil are given. We proove that the cord algebra in our definition is a knot invariant.


title: Recurrence for smooth curves in the moduli space and application to the billiard flow on nibbled ellipses

abstract: In view of classical results of Masur and Veech almost every element in the moduli space of compact translation surfaces is recurrent. In this paper we focus on the problem of recurrence for elements of smooth curves in the moduli space. We give an effective criterion for the recurrence of almost every element of a smooth curve. The criterion relies on results developed by Minsky-Weiss in \cite{Mi-We}. Next we apply the criterion to the billiard flow on planar tables confined by arcs of confocal conics. The phase space of such billiard flow splits into invariant subsets determined by caustics. We prove that for almost every caustic the billiard flow restricted to the corresponding invariant set is uniquely ergodic. This answers affirmatively to a question raised by Zorich.


title: Experimental multiphase estimation on a chip

abstract: Multiparameter estimation is a general problem that aims at measuring unknown physical quantities, obtaining high precision in the process. In this context, the adoption of quantum resources promises a substantial boost in the achievable performances with respect to the classical case. However, several open problems remain to be addressed in the multiparameter scenario. A crucial requirement is the identification of suitable platforms to develop and experimentally test novel efficient methodologies that can be employed in this general framework. We report the experimental implementation of a reconfigurable integrated multimode interferometer designed for the simultaneous estimation of two optical phases. We verify the high-fidelity operation of the implemented device, and demonstrate quantum-enhanced performances in two-phase estimation with respect to the best classical case, post-selected to the number of detected coincidences. This device can be employed to test general adaptive multiphase protocols due to its high reconfigurability level, and represents a powerful platform to investigate the multiparameter estimation scenario.


title: Globally optimal vertical direction estimation in Atlanta World

abstract: In man-made environments, such as indoor and urban scenes, most of the objects and structures are organized in the form of orthogonal and parallel planes. These planes can be approximated by the Atlanta world assumption, in which the normals of planes can be represented by the Atlanta frames. Atlanta world assumption, which can be considered as a generalized Manhattan world assumption, has one vertical frame and multiple horizontal frames. Conventionally, given a set of inputs such as surface normals, the Atlanta frame estimation problem can be solved in one-time by branch-and-bound (BnB). However, the runtime of the BnB algorithm will increase greatly when the dimensionality (i.e., the number of horizontal frames) increases. In this paper, we estimate only the vertical direction instead of all Atlanta frames at once. Accordingly, we propose a vertical direction estimation method by considering the relationship between the vertical frame and horizontal frames. Concretely, our approach employs a BnB algorithm to search the vertical direction guaranteeing global optimality without requiring prior knowledge of the number of Atlanta frames. Four novel bounds by mapping 3D-hemisphere to a 2D region are investigated to guarantee convergence. We verify the validity of the proposed method in various challenging synthetic and real-world data.


title: Non-Adiabatic Effects on Electron Beam Quality for Frequency-Tunable Gyrotrons

abstract: We propose an unconventional electron gun structure in which the emitter is located on a concave cathode surface with a non-uniform electric field. Such a design violates the intuition that an emitter should place close to a uniform electric field to reduce the velocity spread. The commonly employed design guide based on the adiabatic condition predicts a huge velocity spread of 24%, but the simulation using EGUN code and verified with CST particle studio shows a very low spread of 2.8%. Examining the magnetic moment and the kinetic energy of the beam reveals that the electrons experience a relatively long acceleration process due to the much weak electric field. That's why the non-adiabatic effect matters. In addition to the cyclotron compression and the E$\times$B drift, the "resonant" polarization drift plays a crucial role in reducing the overall velocity spread.Simulations show a decent beam quality with the pitch factor of 1.5 and the transverse velocity spread of 2.8% over a wide range of the magnetic field (7.4-8.0 T) and the beam voltage (12-22 kV) with a high structural tolerance. The promising results with the wide working range enable the development of continuous frequency-tunable gyrotrons.


title: Type-II Ising superconductivity and anomalous metallic state in macro-size ambient-stable ultrathin crystalline films

abstract: Recent emergence of two-dimensional (2D) crystalline superconductors has provided a promising platform to investigate novel quantum physics and potential applications. To reveal essential quantum phenomena therein, ultralow temperature transport investigation on high quality ultrathin superconducting films is critically required, although it has been quite challenging experimentally. Here we report a systematic transport study on the ultrathin crystalline PdTe2 films grown by molecular beam epitaxy (MBE). Interestingly, a new type of Ising superconductivity in 2D centrosymmetric materials is revealed by the detection of large in-plane critical field more than 7 times Pauli limit. Remarkably, in perpendicular magnetic field, we provide solid evidence of anomalous metallic state characterized by the resistance saturation at low temperatures with high quality filters. The robust superconductivity with intriguing quantum phenomena in the macro-size ambient-stable ultrathin PdTe2 films remains almost the same for 20 months, showing great potentials in electronic and spintronic applications.


title: Compact hyperbolic manifolds without spin structures

abstract: We exhibit the first examples of compact orientable hyperbolic manifolds that do not have any spin structure. We show that such manifolds exist in all dimensions $n \geq 4$. The core of the argument is the construction of a compact orientable hyperbolic $4$-manifold $M$ that contains a surface $S$ of genus $3$ with self intersection $1$. The $4$-manifold $M$ has an odd intersection form and is hence not spin. It is built by carefully assembling some right angled $120$-cells along a pattern inspired by the minimum trisection of $\mathbb{C}\mathbb{P}^2$. The manifold $M$ is also the first example of a compact orientable hyperbolic $4$-manifold satisfying any of these conditions: 1) $H_2(M,\mathbb{Z})$ is not generated by geodesically immersed surfaces. 2) There is a covering $\tilde{M}$ that is a non-trivial bundle over a compact surface.


title: Foundations of quantum physics IV. More on the thermal interpretation

abstract: This paper continues the discussion of the thermal interpretation of quantum physics. While Part II and Part III of this series of papers explained and justified the reasons for the departure from tradition, the present Part IV summarizes the main features and adds intuitive explanations and new technical developments. It is shown how the spectral features of quantum systems and an approximate classical dynamics arise under appropriate conditions. Evidence is given for how, in the thermal interpretation, the measurement of a qubit by a pointer q-expectation may result in a binary detection event with probabilities given by the diagonal entries of the reduced density matrix of the prepared qubit. Differences in the conventions about measurement errors in the thermal interpretation and in traditional interpretations are discussed in detail. Several standard experiments, the double slit, Stern--Gerlach, and particle decay are described from the perspective of the thermal interpretation.


title: Comment on: "Dynamics of Phospholipid Membranes beyond Thermal Undulations"

abstract: I introduce an alternative interpretation for the short-time anomalous diffusion observed by Gupta et al. using neutron spin echo. The interpretation involves the Brochard-Lennon "red blood cell" mode to describe membrane thickness fluctuations, and yields an anomalous diffusion exponent 1/3 that is consistent with the experimental results.


title: Aspects of $p$-adic operator algebras

abstract: In this article, we propose a $p$-adic analogue of complex Hilbert space and consider generalizations of some well-known theorems from functional analysis and the basic study of operators on Hilbert spaces. We compute the $K$-theory of the analogue of the algebra of compact operators and the algebra of all bounded operators. This article contains a survey on results from the thesis of the first author.


title: Solo or Ensemble? Choosing a CNN Architecture for Melanoma Classification

abstract: Convolutional neural networks (CNNs) deliver exceptional results for computer vision, including medical image analysis. With the growing number of available architectures, picking one over another is far from obvious. Existing art suggests that, when performing transfer learning, the performance of CNN architectures on ImageNet correlates strongly with their performance on target tasks. We evaluate that claim for melanoma classification, over 9 CNNs architectures, in 5 sets of splits created on the ISIC Challenge 2017 dataset, and 3 repeated measures, resulting in 135 models. The correlations we found were, to begin with, much smaller than those reported by existing art, and disappeared altogether when we considered only the top-performing networks: uncontrolled nuisances (i.e., splits and randomness) overcome any of the analyzed factors. Whenever possible, the best approach for melanoma classification is still to create ensembles of multiple models. We compared two choices for selecting which models to ensemble: picking them at random (among a pool of high-quality ones) vs. using the validation set to determine which ones to pick first. For small ensembles, we found a slight advantage on the second approach but found that random choice was also competitive. Although our aim in this paper was not to maximize performance, we easily reached AUCs comparable to the first place on the ISIC Challenge 2017.


title: Disordered Ising model with correlated frustration

abstract: We consider the $\pm J$ Ising model on a cubic lattice with a gauge-invariant disorder distribution. Disorder depends on a parameter $\beta_G$ that plays the role of a chemical potential for the amount of frustration. We study the model at a specific value of the disorder parameter $\beta_G$, where frustration shows long-range correlations. We characterize the universality class, obtaining accurate estimates of the critical exponents: $\nu = 0.655(15)$ and $\eta_q = 1.05(5)$, where $\eta_q$ is the overlap susceptibility exponent.


title: Equicontinuity of harmonic functions and compactness of potential kernels

abstract: Within the framework of balayage spaces (the analytical equivalent of nice Hunt processes), we prove equicontinuity of bounded families of harmonic functions and apply it to obtain criteria for compactness of potential kernels.


title: Hyperbolicity of the partition Jensen polynomials

abstract: Given an arithmetic function $a: \mathbb{N} \rightarrow \mathbb{R}$, one can associate a naturally defined, doubly infinite family of Jensen polynomials. Recent work of Griffin, Ono, Rolen, and Zagier shows that for certain families of functions $a: \mathbb{N} \rightarrow \mathbb{R}$, the associated Jensen polynomials are eventually hyperbolic (i.e., eventually all of their roots are real). This work proves Chen, Jia, and Wang's conjecture that the partition Jensen polynomials are eventually hyperbolic as a special case. Here, we make this result explicit. Let $N(d)$ be the minimal number such that for all $n \geq N(d)$, the partition Jensen polynomial of degree $d$ and shift $n$ is hyperbolic. We prove that $N(3)=94$, $N(4)=206$, and $N(5)=381$, and in general, that $N(d) \leq (3d)^{24d} (50d)^{3d^{2}}$.


title: Accurate MapReduce Algorithms for $k$-median and $k$-means in General Metric Spaces

abstract: Center-based clustering is a fundamental primitive for data analysis and becomes very challenging for large datasets. In this paper, we focus on the popular $k$-median and $k$-means variants which, given a set $P$ of points from a metric space and a parameter $k<|P|$, require to identify a set $S$ of $k$ centers minimizing, respectively, the sum of the distances and of the squared distances of all points in $P$ from their closest centers. Our specific focus is on general metric spaces, for which it is reasonable to require that the centers belong to the input set (i.e., $S \subseteq P$). We present coreset-based 3-round distributed approximation algorithms for the above problems using the MapReduce computational model. The algorithms are rather simple and obliviously adapt to the intrinsic complexity of the dataset, captured by the doubling dimension $D$ of the metric space. Remarkably, the algorithms attain approximation ratios that can be made arbitrarily close to those achievable by the best known polynomial-time sequential approximations, and they are very space efficient for small $D$, requiring local memory sizes substantially sublinear in the input size. To the best of our knowledge, no previous distributed approaches were able to attain similar quality-performance guarantees in general metric spaces.


title: IRONHIDE: A Secure Multicore that Efficiently Mitigates Microarchitecture State Attacks for Interactive Applications

abstract: Microprocessors enable aggressive hardware virtualization by means of which multiple processes temporally execute on the system. These security-critical and ordinary processes interact with each other to assure application progress. However, temporal sharing of hardware resources exposes the processor to various microarchitecture state attacks. State-of-the-art secure processors, such as MI6 adopt Intel's SGX enclave execution model. MI6 architects strong isolation by statically isolating shared memory state, and purging the microarchitecture state of private core, cache, and TLB resources on every enclave entry and exit. The purging overhead significantly impacts performance as the interactivity across the secure and insecure processes increases. This paper proposes IRONHIDE that implements strong isolation in the context of multicores to form spatially isolated secure and insecure clusters of cores. For an interactive application comprising of secure and insecure processes, IRONHIDE pins the secure process(es) to the secure cluster, where they execute and interact with the insecure process(es) without incurring the microarchitecture state purging overheads on every interaction event. IRONHIDE improves performance by 2.1x over the MI6 baseline for a set of user and OS interactive applications. Moreover, IRONHIDE improves performance by 20% over an SGX-like baseline, while also ensuring strong isolation guarantees against microarchitecture state attacks.


title: Atmospheric Charged $K/\pi$ Ratio and Measurement of Muon Annual Modulation with a Liquid Scintillation Detector at Soudan

abstract: We report a measurement of muon annual modulation in a 12-liter liquid scintillation detector with a live-time of more than 4 years at the Soudan Underground Laboratory. Muon minimum ionization in the detector is identified by its observed pulse shape and large energy deposition. The measured muon rate in the detector is 28.69$\pm$2.09 muons per day with a modulation amplitude of 2.66$\pm$ 1.0\% and a phase at Jul 22 $\pm$ 36.2 days. This annual modulation is correlated with the variation of the effective atmospheric temperature in the stratosphere. The correlation coefficient, $\alpha_{T}$, is determined to be $0.898 \pm 0.025$. This can be interpreted as a measurement of the atmospheric charged kaon to pion ($K$/$\pi$) ratio of 0.094$^{+0.044}_{-0.061}$ for $E_{p} > $ 7 TeV, consistent with the measurement from the MINOS far detector. To further constrain the value of $K$/$\pi$ ratio, a Geant4 simulation of the primary cosmic-ray protons with energy up to 100 TeV is implemented to study the correlation of $K$/$\pi$ ratio and the muon annual modulation for muon energy greater than 0.5 TeV. We find out that a charged $K$/$\pi$ ratio of 0.1598, greater than the upper bound (0.138) from this work at the production point 30 km above the Earth surface in the stratosphere cannot induce muon annual modulation at the depth of Soudan.


title: A revisit to phonon-phonon scattering in single-layer graphene

abstract: Understanding the mechanisms of thermal conduction in graphene is a long-lasting research topic, due to its high thermal conductivity. Peierls-Boltzmann transport equation (PBTE) based studies have revealed many unique phonon transport properties in graphene, but most previous works only considered three-phonon scatterings and relied on interatomic force constants (IFCs) extracted at 0 K. In this paper, we explore the roles of four-phonon scatterings and the temperature dependent IFCs on phonon transport in graphene through our PBTE calculations. We demonstrate that the strength of four-phonon scatterings would be severely overestimated by using the IFCs extracted at 0 K compared with those corresponding to a finite temperature, and four-phonon scatterings are found to significantly reduce the thermal conductivity of graphene even at room temperature. In order to reproduce the prediction from molecular dynamics simulations, phonon frequency broadening has to be taken into account when determining the phonon scattering rates. Our study elucidates the phonon transport properties of graphene at finite temperatures, and could be extended to other crystalline materials.


title: Multi-scale Microaneurysms Segmentation Using Embedding Triplet Loss

abstract: Deep learning techniques are recently being used in fundus image analysis and diabetic retinopathy detection. Microaneurysms are an important indicator of diabetic retinopathy progression. We introduce a two-stage deep learning approach for microaneurysms segmentation using multiple scales of the input with selective sampling and embedding triplet loss. The model first segments on two scales and then the segmentations are refined with a classification model. To enhance the discriminative power of the classification model, we incorporate triplet embedding loss with a selective sampling routine. The model is evaluated quantitatively to assess the segmentation performance and qualitatively to analyze the model predictions. This approach introduces a 30.29% relative improvement over the fully convolutional neural network.


title: Registration of retinal images from Public Health by minimising an error between vessels using an affine model with radial distortions

abstract: In order to estimate a registration model of eye fundus images made of an affinity and two radial distortions, we introduce an estimation criterion based on an error between the vessels. In [1], we estimated this model by minimising the error between characteristics points. In this paper, the detected vessels are selected using the circle and ellipse equations of the overlap area boundaries deduced from our model. Our method successfully registers 96 % of the 271 pairs in a Public Health dataset acquired mostly with different cameras. This is better than our previous method [1] and better than three other state-of-the-art methods. On a publicly available dataset, ours still better register the images than the reference method.


title: Hessian-information geometric formulation of a class of deterministic neural network models

abstract: In this paper a class of dynamical systems describing deterministic neural network models are formulated from a viewpoint of differential geometry. This class includes the Hopfield model and gradient systems, and is such that the so-called activation functions induce information and Hessian geometries. In this formulation, it is shown that the phase space compressibility of a dynamical system belonging to this class is written in terms of the Laplace operator defined on Hessian manifolds, where phase space compressibility is associated with a volume-form of a manifold, and expresses how such a volume-form is compressed along the vector field of a dynamical system. Since the sigmoid function, as an activation function, plays a role in the study of neural network models, such compressibility is explicitly calculated for this case. Throughout this paper, the so-called dual coordinates known in information geometry are explicitly used.


title: DeepHMap++: Combined Projection Grouping and Correspondence Learning for Full DoF Pose Estimation

abstract: In recent years, estimating the 6D pose of object instances with convolutional neural network (CNN) has received considerable attention. Depending on whether intermediate cues are used, the relevant literature can be roughly divided into two broad categories: direct methods and two stage pipelines. For the latter, intermediate cues, such as 3D object coordinates, semantic keypoints, or virtual control points instead of pose parameters are regressed by CNN in the first stage. Object pose can then be solved by correspondence constraints constructed with these intermediate cues. In this paper, we focus on the postprocessing of a two-stage pipeline and propose to combine two learning concepts for estimating object pose under challenging scenes: projection grouping on one side, and correspondence learning on the other. We firstly employ a local patch based method to predict projection heatmaps which denote the confidence distribution of projection of 3D bounding box's corners. A projection grouping module is then proposed to remove redundant local maxima from each layer of heatmaps. Instead of directly feeding 2D-3D correspondences to the perspective-n-point (PnP) algorithm, multiple correspondence hypotheses are sampled from local maxima and its corresponding neighborhood and ranked by a correspondence-evaluation network. Finally, correspondences with higher confidence are selected to determine object pose. Extensive experiments on three public datasets demonstrate that the proposed framework outperforms several state of the art methods.


title: Wireless Network Reliability Analysis for Arbitrary Network Topologies

abstract: The outage performance of wireless networks with unstructured network topologies is investigated. The network reliability perspective of graph theory is used to obtain the network outage polynomial of generalized wireless networks by enumerating paths and cut-sets of its graph representation for both uncorrelated and correlated wireless channels. A relation is established between the max-flow min-cut theorem and key communication performance indicators. The diversity order is equal to the size of the minimum cut-set between source and destination, and the coding gain is the number of cut-sets with size equal to the minimum cut. An ergodic capacity analysis of networks with arbitrary topologies based on the network outage polynomial is also presented. Numerical results are used to illustrate the technical definitions and verify the derivations.


title: Representation of the Mittag-Leffler function through the exponential functions in the case of rational derivatives

abstract: In this paper the Mittag-Leffler function is given through the exponential functions for any rational derivatives of m/n order, where m<n, n>1 are natural irreducible numbers (if n=1 then m is also equal to unity). Unlike the previous papers the given formulas do not contain integrals.


title: Self Training Autonomous Driving Agent

abstract: Intrinsically, driving is a Markov Decision Process which suits well the reinforcement learning paradigm. In this paper, we propose a novel agent which learns to drive a vehicle without any human assistance. We use the concept of reinforcement learning and evolutionary strategies to train our agent in a 2D simulation environment. Our model's architecture goes beyond the World Model's by introducing difference images in the auto encoder. This novel involvement of difference images in the auto-encoder gives better representation of the latent space with respect to the motion of vehicle and helps an autonomous agent to learn more efficiently how to drive a vehicle. Results show that our method requires fewer (96% less) total agents, (87.5% less) agents per generations, (70% less) generations and (90% less) rollouts than the original architecture while achieving the same accuracy of the original.


title: Weakly Supervised Instance Learning for Thyroid Malignancy Prediction from Whole Slide Cytopathology Images

abstract: We consider machine-learning-based thyroid-malignancy prediction from cytopathology whole-slide images (WSI). Multiple instance learning (MIL) approaches, typically used for the analysis of WSIs, divide the image (bag) into patches (instances), which are used to predict a single bag-level label. These approaches perform poorly in cytopathology slides due to a unique bag structure: sparsely located informative instances with varying characteristics of abnormality. We address these challenges by considering multiple types of labels: bag-level malignancy and ordered diagnostic scores, as well as instance-level informativeness and abnormality labels. We study their contribution beyond the MIL setting by proposing a maximum likelihood estimation (MLE) framework, from which we derive a two-stage deep-learning-based algorithm. The algorithm identifies informative instances and assigns them local malignancy scores that are incorporated into a global malignancy prediction. We derive a lower bound of the MLE, leading to an improved training strategy based on weak supervision, that we motivate through statistical analysis. The lower bound further allows us to extend the proposed algorithm to simultaneously predict multiple bag and instance-level labels from a single output of a neural network. Experimental results demonstrate that the proposed algorithm provides competitive performance compared to several competing methods, achieves (expert) human-level performance, and allows augmentation of human decisions.


title: Non-volatile silicon photonic memory with more than 4-bit per cell capability

abstract: We present the first demonstration of an integrated photonic phase-change memory using GeSbTe-225 on silicon-on-insulator and demonstrate reliable multilevel operation with a single programming pulse. We also compare our results on silicon with previous demonstrations on silicon nitride. Crucially, achieving this on silicon enables tighter integration of traditional electronics with photonic memories in future, making phase-change photonic memory a viable and integrable technology.


title: Unidirectional plasmonic edge modes on general two-dimensional materials

abstract: We investigate the field and spin-momentum coupling of edge plasmons hosted by general two-dimensional materials and identify sweet spots depending on the polarisation plane, ellipticity and the position of an electric dipole relative to the plane and edge. Exciting the dipole at these sweet spots by propagating light leads to uni-directional propagating edge plasmons or edge modes are totally suppressed. We also extent previous approximate treatments [A. Fetter Phys. Rev. B 32, 7676 (1985)] to include anisotropy and hyperbolic systems, elucidating its predictions for the existence of edge modes. A thorough assessment of the approximate description is carried out, comparing its spin-momentum coupling features in the near field with exact results from Wiener-Hopf techniques. Simulations are also performed confirming the overall picture. Our results shed new light on the quest of chiral plasmonics in 2D materials and should be relevant for future experiments.


title: How software engineering research aligns with design science: A review

abstract: Background: Assessing and communicating software engineering research can be challenging. Design science is recognized as an appropriate research paradigm for applied research but is seldom referred to in software engineering. Applying the design science lens to software engineering research may improve the assessment and communication of research contributions. Aim: The aim of this study is 1) to understand whether the design science lens helps summarize and assess software engineering research contributions, and 2) to characterize different types of design science contributions in the software engineering literature. Method: In previous research, we developed a visual abstract template, summarizing the core constructs of the design science paradigm. In this study, we use this template in a review of a set of 38 top software engineering publications to extract and analyze their design science contributions. Results: We identified five clusters of papers, classifying them according to their alignment with the design science paradigm. Conclusions: The design science lens helps emphasize the theoretical contribution of research output---in terms of technological rules---and reflect on the practical relevance, novelty, and rigor of the rules proposed by the research.


title: End-to-end Cloud Segmentation in High-Resolution Multispectral Satellite Imagery Using Deep Learning

abstract: Segmenting clouds in high-resolution satellite images is an arduous and challenging task due to the many types of geographies and clouds a satellite can capture. Therefore, it needs to be automated and optimized, specially for those who regularly process great amounts of satellite images, such as governmental institutions. In that sense, the contribution of this work is twofold: We present the CloudPeru2 dataset, consisting of 22,400 images of 512x512 pixels and their respective hand-drawn cloud masks, as well as the proposal of an end-to-end segmentation method for clouds using a Convolutional Neural Network (CNN) based on the Deeplab v3+ architecture. The results over the test set achieved an accuracy of 96.62%, precision of 96.46%, specificity of 98.53%, and sensitivity of 96.72% which is superior to the compared methods.


title: Experimental Realization of a Passive GHz Frequency-Division Demultiplexer for Magnonic Logic Networks

abstract: The emerging field of magnonics employs spin waves and their quanta, magnons, to implement wave-based computing on the micro- and nanoscale. Multi-frequency magnon networks would allow for parallel data processing within single logic elements whereas this is not the case with conventional transistor-based electronic logic. However, a lack of experimentally proven solutions to efficiently combine and separate magnons of different frequencies has impeded the intensive use of this concept. In this Letter, the experimental realization of a spin-wave demultiplexer enabling frequency-dependent separation of magnonic signals in the GHz range is demonstrated. The device is based on two-dimensional magnon transport in the form of spin-wave beams in unpatterned magnetic films. The intrinsic frequency-dependence of the beam direction is exploited to realize a passive functioning obviating an external control and additional power consumption. This approach paves the way to magnonic multiplexing circuits enabling simultaneous information transport and processing.


title: Double Neutron Star Populations and Formation Channels

abstract: In the past five years, the number of known double neutron stars (DNS) in the Milky Way has roughly doubled. We argue that the observed sample can be split into three distinct sub-populations based on their orbital characteristics: (i) short-period, low-eccentricity binaries; (ii) wide binaries; and (iii) short-period, high-eccentricity binaries. These sub-populations also exhibit distinct spin period and spindown rate properties. We focus on sub-population (iii), which contains the Hulse-Taylor binary. Contrary to previous analysis, we demonstrate that, if they are the product of primordial binary evolution, the $P_{\rm orb}$ and $e$ distribution of these systems requires that the second-born NSs must have been formed with small natal kicks ($\lesssim$25 km s$^{-1}$) and have pre-SN masses narrowly distributed around 3.2 M$_{\odot}$. These constraints challenge binary evolution theory and further predict closely aligned spin and orbital axes, inconsistent with the Hulse-Taylor binary's measured spin-orbit misalignment angle of $\approx$20$^{\circ}$. Motivated by the similarity of these DNSs to B2127+11C, a DNS residing in the globular cluster M15, we argue that this sub-population is consistent with being formed in, and then ejected from, globular clusters. This scenario provides a pathway for the formation and merger of DNSs in stellar environments without recent star formation, as observed in the host galaxy population of short gamma ray bursts and the recent detection by LIGO of a merging DNS in an old stellar population.


title: Author name disambiguation of bibliometric data: A comparison of several unsupervised approaches

abstract: Adequately disambiguating author names in bibliometric databases is a precondition for conducting reliable analyses at the author level. In the case of bibliometric studies that include many researchers, it is not possible to disambiguate each single researcher manually. Several approaches have been proposed for author name disambiguation but there has not yet been a comparison of them under controlled conditions. In this study, we compare a set of unsupervised disambiguation approaches. Unsupervised approaches specify a model to assess the similarity of author mentions a priori instead of training a model with labelled data. In order to evaluate the approaches, we applied them to a set of author mentions annotated with a ResearcherID, this being an author identifier maintained by the researchers themselves. Apart from comparing the overall performance, we take a more detailed look at the role of the parametrization of the approaches and analyse the dependence of the results on the complexity of the disambiguation task. It could be shown that all of the evaluated approaches produce better results than those that can be obtained by using only author names. In the context of this study, the approach proposed by Caron and van Eck (2014) produced the best results.


title: Direct Sum Testing: The General Case

abstract: A function $f:[n_1]\times\dots\times[n_d]\to\mathbb{F}_2$ is a direct sum if it is of the form $f\left(a_1,\dots,a_d\right) = f_1(a_1)\oplus\dots \oplus f_d (a_d),$ for some $d$ functions $f_i:[n_i]\to\mathbb{F}_2$ for all $i=1,\dots, d$, and where $n_1,\dots,n_d\in\mathbb{N}$. We present a $4$-query test which distinguishes between direct sums and functions that are far from them. The test relies on the BLR linearity test (Blum, Luby, Rubinfeld, 1993) and on an agreement test which slightly generalizes the direct product test (Dinur, Steurer, 2014). In multiplicative $\pm 1$ notation, our result reads as follows. A $d$-dimensional tensor with $\pm 1$ entries is called a tensor product if it is a tensor product of $d$ vectors with $\pm 1$ entries, or equivalently, if it is of rank $1$. The presented tests can be read as tests for distinguishing between tensor products and tensors that are far from being tensor products. We also present a different test, which queries the function at most $(d+2)$ times, but is easier to analyze.


title: A nonlinear subgrid-scale model for large-eddy simulations of rotating turbulent flows

abstract: Rotating turbulent flows form a challenging test case for large-eddy simulation (LES). We, therefore, propose and validate a new subgrid-scale (SGS) model for such flows. The proposed SGS model consists of a dissipative eddy viscosity term as well as a nondissipative term that is nonlinear in the rate-of-strain and rate-of-rotation tensors. The two corresponding model coefficients are a function of the vortex stretching magnitude. Therefore, the model is consistent with many physical and mathematical properties of the Navier-Stokes equations and turbulent stresses, and is easy to implement. We determine the two model constants using a nondynamic procedure that takes into account the interaction between the model terms. Using detailed direct numerical simulations (DNSs) and LESs of rotating decaying turbulence and spanwise-rotating plane-channel flow, we reveal that the two model terms respectively account for dissipation and backscatter of energy, and that the nonlinear term improves predictions of the Reynolds stress anisotropy near solid walls. We also show that the new SGS model provides good predictions of rotating decaying turbulence and leads to outstanding predictions of spanwise-rotating plane-channel flow over a large range of rotation rates for both fine and coarse grid resolutions. Moreover, the new nonlinear model performs as well as the dynamic Smagorinsky and scaled anisotropic minimum-dissipation models in LESs of rotating decaying turbulence and outperforms these models in LESs of spanwise-rotating plane-channel flow, without requiring (dynamic) adaptation or near-wall damping of the model constants.


title: Conformal perturbation theory confronts lattice results in the vicinity of a critical point

abstract: We study the accuracy and predictive power of conformal perturbation theory by a comparison with lattice results in the neighborhood of the finite-temperature deconfinement transition of SU(2) Yang-Mills theory, assuming that the infrared properties of this non-Abelian gauge theory near criticality can be described by the Ising model. The results of this comparison show that conformal perturbation theory yields quantitatively accurate predictions in a broad temperature range. We discuss the implications of these findings for the description of the critical point (belonging to the same universality class) of another strongly coupled, non-supersymmetric non-Abelian gauge theory: the critical end-point in the phase diagram of QCD at finite temperature and finite quark chemical potential.


title: Majorana neutrino masses in gauge-Higgs unification

abstract: The theory that the extra-space component of the gauge field is identified with the standard model Higgs boson, is called the gauge-Higgs unification (GHU) scenario. We examine how the small neutrino masses are naturally generated in the GHU framework. We find out two model classes where the following matter multiplets are introduced : 1. adjoint rep. lepton $\Psi_{A}$, 2. fundamental rep. lepton $\Psi_{F}$ and scalar $\Sigma_{F}$. We present a concrete model in each class. At the model in class 1, the neutrino masses are generated by the admixture of the seesaw mechanism type-I and -III. At the model in class 2, the masses are generated by the inverse seesaw mechanism.


title: A deterministic walk on the randomly oriented Manhattan lattice

abstract: Consider a randomly-oriented two dimensional Manhattan lattice where each horizontal line and each vertical line is assigned, once and for all, a random direction by flipping independent and identically distributed coins. A deterministic walk is then started at the origin and at each step moves diagonally to the nearest vertex in the direction of the horizontal and vertical lines of the present location. This definition can be generalized, in a natural way, to larger dimensions, but we mainly focus on the two dimensional case. In this context the process localizes on two vertices at all large times, almost surely. We also provide estimates for the tail of the length of paths, when the walk is defined on the two dimensional lattice. In particular, the probability of the path to be larger than $n$ decays sub-exponentially in $n$. It is easy to show that higher dimensional paths may not localize on two vertices but will still eventually become periodic, and are therefore bounded.


title: Streak formation in flow over Biomimetic Fish Scale Arrays

abstract: The surface topology of the scale pattern from the European Sea Bass (Dicentrarchus labrax ) was measured using a digital microscope and geometrically reconstructed using Computer Assisted Design modelling. Numerical flow simulations and experiments with a physical model of the surface pattern in a flow channel mimic the flow over the fish surface with a laminar boundary layer. The scale array produces regular rows of alternating, streamwise low-speed and high-speed streaks inside the boundary layer close to the surface, with maximum velocity difference of about 9%. Low-velocity streaks are formed in the central region of the scales whereas the high-velocity streaks originated in the overlapping region between the scales. Thus, those flow patterns are linked to the arrangement and the size of the overlapping scales within the array. Because of the velocity streaks, total drag reduction is found when the scale height is small relative to the boundary layer thickness, i.e. less than 10%. Flow simulations results were compared with surface oil-flow visualisations on the physical model of the surface placed in a flow channel. The results show an excellent agreement in the size and arrangement of the streaky structures. From comparison to recent literature about micro-roughness effects on laminar boundary layer flows it is hypothesized that the fish scales could delay transition which would further reduce the drag.


title: On boundary correlators in Liouville theory on AdS$_{2}$

abstract: We consider the Liouville theory in fixed Euclidean AdS$_2$ background. Expanded near the minimum of the potential the elementary field has mass squared 2 and (assuming the standard Dirichlet b.c.) corresponds to a dimension 2 operator at the boundary. We provide strong evidence for the conjecture that the boundary correlators of the Liouville field are the same as the correlators of the holomorphic stress tensor (or the Virasoro generator with the same central charge) on a half-plane or a disc restricted to the boundary. This relation was first observed at the leading semiclassical order (tree-level Witten diagrams in AdS$_2$) in arXiv:1902.10536 and here we demonstrate its validity also at the one-loop level. We also discuss arguments that may lead to its general proof.


title: A highly parallel algorithm for computing the action of a matrix exponential on a vector based on a multilevel Monte Carlo method

abstract: A novel algorithm for computing the action of a matrix exponential over a vector is proposed. The algorithm is based on a multilevel Monte Carlo method, and the vector solution is computed probabilistically generating suitable random paths which evolve through the indices of the matrix according to a suitable probability law. The computational complexity is proved in this paper to be significantly better than the classical Monte Carlo method, which allows the computation of much more accurate solutions. Furthermore, the positive features of the algorithm in terms of parallelism were exploited in practice to develop a highly scalable implementation capable of solving some test problems very efficiently using high performance supercomputers equipped with a large number of cores. For the specific case of shared memory architectures the performance of the algorithm was compared with the results obtained using an available Krylov-based algorithm, outperforming the latter in all benchmarks analyzed so far.


title: Active particles in non-inertial frames: how to self-propel on a carousel

abstract: Typically the motion of self-propelled active particles is described in a quiescent environment establishing an inertial frame of reference. Here we assume that friction, self-propulsion and uctuations occur relative to a non-inertial frame and thereby the active Brownian motion model is generalized to non-inertial frames. First, analytical solutions are presented for the overdamped case, both for linear swimmers and circle swimmers. For a frame rotating with constant angular velocity ("carousel"), the resulting noise-free trajectories in the static laboratory frame trochoids if these are circles in the rotating frame. For systems governed by inertia, such as vibrated granulates or active complex plasmas, centrifugal and Coriolis forces become relevant. For both linear and circling self-propulsion, these forces lead to out-spiraling trajectories which for long times approach a spira mirabilis. This implies that a self-propelled particle will typically leave a rotating carousel. A navigation strategy is proposed to avoid this expulsion, by adjusting the self-propulsion direction at wish. For a particle, initially quiescent in the rotating frame, it is shown that this strategy only works if the initial distance to the rotation centre is smaller than a critical radius Rc which scales with the self-propulsion velocity. Possible experiments to verify the theoretical predictions are discussed.


title: Efficient Computation of Higher-Order Variational Integrators in Robotic Simulation and Trajectory Optimization

abstract: This paper addresses the problem of efficiently computing higher-order variational integrators in simulation and trajectory optimization of mechanical systems as those often found in robotic applications. We develop $O(n)$ algorithms to evaluate the discrete Euler-Lagrange (DEL) equations and compute the Newton direction for solving the DEL equations, which results in linear-time variational integrators of arbitrarily high order. To our knowledge, no linear-time higher-order variational or even implicit integrators have been developed before. Moreover, an $O(n^2)$ algorithm to linearize the DEL equations is presented, which is useful for trajectory optimization. These proposed algorithms eliminate the bottleneck of implementing higher-order variational integrators in simulation and trajectory optimization of complex robotic systems. The efficacy of this paper is validated through comparison with existing methods, and implementation on various robotic systems---including trajectory optimization of the Spring Flamingo robot, the LittleDog robot and the Atlas robot. The results illustrate that the same integrator can be used for simulation and trajectory optimization in robotics, preserving mechanical properties while achieving good scalability and accuracy.


title: On the Angular Dependence of InP High Electron Mobility Transistors for Cryogenic Low Noise Amplifiers in a Magnetic Field

abstract: The InGaAs-InAlAs-InP high electron mobility transistor (InP HEMT) is the preferred active device used in a cryogenic low noise amplifier (LNA) for sensitive detection of microwave signals. We observed that an InP HEMT 0.3-14GHz LNA at 2K, where the in-going transistors were oriented perpendicular to a magnetic field, heavily degraded in gain and average noise temperature already up to 1.5T. Dc measurements for InP HEMTs at 2K revealed a strong reduction in the transistor output current as a function of static magnetic field up to 14T. In contrast, the current reduction was insignificant when the InP HEMT was oriented parallel to the magnetic field. Given the transistor layout with large gate width/gate length ratio, the results suggest a strong geometrical magnetoresistance effect occurring in the InP HEMT. This was confirmed in the angular dependence of the transistor output current with respect to the magnetic field. Key device parameters such as transconductance and on-resistance were significantly affected at small angles and magnetic fields. The strong angular dependence of the InP HEMT output current in a magnetic field has important implications for the alignment of cryogenic LNAs in microwave detection experiments involving magnetic fields.


title: An experiment to address conceptual difficulties in slipping and rolling problems

abstract: A bicycle wheel that was initially spinning freely was placed in contact with a rough surface and a digital film was made of its motion. Using Tracker software for video analysis, we obtained the velocity vectors for several points on the wheel, in the frame of reference of the laboratory as well as in a relative frame of reference having as its origin the wheel`s center of mass. The velocity of the wheel`s point of contact with the floor was also determined obtaining then a complete picture of the kinematic state of the wheel in both frames of reference. An empirical approach of this sort to problems in mechanics can contribute to overcoming the considerable difficulties they entail.


title: A Monte Carlo method for computing the action of a matrix exponential on a vector

abstract: A Monte Carlo method for computing the action of a matrix exponential for a certain class of matrices on a vector is proposed. The method is based on generating random paths, which evolve through the indices of the matrix, governed by a given continuous-time Markov chain. The vector solution is computed probabilistically by averaging over a suitable multiplicative functional. This representation extends the existing linear algebra Monte Carlo-based methods, and was used in practice to develop an efficient algorithm capable of computing both, a single entry or the full vector solution. Finally, several relevant benchmarks were executed to assess the performance of the algorithm. A comparison with the results obtained with a Krylov-based method shows the remarkable performance of the algorithm for solving large-scale problems.


title: Progressive Differentiable Architecture Search: Bridging the Depth Gap between Search and Evaluation

abstract: Recently, differentiable search methods have made major progress in reducing the computational costs of neural architecture search. However, these approaches often report lower accuracy in evaluating the searched architecture or transferring it to another dataset. This is arguably due to the large gap between the architecture depths in search and evaluation scenarios. In this paper, we present an efficient algorithm which allows the depth of searched architectures to grow gradually during the training procedure. This brings two issues, namely, heavier computational overheads and weaker search stability, which we solve using search space approximation and regularization, respectively. With a significantly reduced search time (~7 hours on a single GPU), our approach achieves state-of-the-art performance on both the proxy dataset (CIFAR10 or CIFAR100) and the target dataset (ImageNet). Code is available at https://github.com/chenxin061/pdarts.


title: The graphs behind Reuleaux polyhedra

abstract: This work is about graphs arising from Reuleaux polyhedra. Such graphs must necessarily be planar, $3$-connected and strongly self-dual. We study the question of when these conditions are sufficient. If $G$ is any such a graph with isomorphism $\tau : G \to G^*$ (where $G^*$ is the unique dual graph), a metric mapping is a map $\eta : V(G) \to \mathbb R^3$ such that the diameter of $\eta(G)$ is $1$ and for every pair of vertices $(u,v)$ such that $u\in \tau(v)$ we have dist$(\eta(u),\eta(v)) = 1$. If $\eta$ is injective, it is called a metric embedding. Note that a metric embedding gives rise to a Reuleaux Polyhedra. Our contributions are twofold: Firstly, we prove that any planar, $3$-connected, strongly self-dual graph has a metric mapping by proving that the chromatic number of the diameter graph (whose vertices are $V(G)$ and whose edges are pairs $(u,v)$ such that $u\in \tau(v)$) is at most $4$, which means there exists a metric mapping to the tetrahedron. Furthermore, we use the Lov\'asz neighborhood-complex theorem in algebraic topology to prove that the chromatic number of the diameter graph is exactly $4$. Secondly, we develop algorithms that allow us to obtain every such graph with up to $14$ vertices. Furthermore, we numerically construct metric embeddings for every such graph. From the theorem and this computational evidence we conjecture that every such graph is realizable as a Reuleaux polyhedron in $\mathbb R^3$. In previous work the first and last authors described a method to construct a constant-width body from a Reuleaux polyhedron. So in essence, we also construct hundreds of new examples of constant-width bodies. This is related to a problem of V\'azsonyi, and also to a problem of Blaschke-Lebesgue.


title: Magnetic fields in M dwarfs from the CARMENES survey

abstract: M dwarfs are known to generate the strongest magnetic fields among main-sequence stars with convective envelopes, but the link between the magnetic fields and underlying dynamo mechanisms, rotation, and activity still lacks a consistent picture. In this work we measure magnetic fields from the high-resolution near-infrared spectra taken with the CARMENES radial-velocity planet survey in a sample of 29 active M dwarfs and compare our results against stellar parameters. We use the state-of-the-art radiative transfer code to measure total magnetic flux densities from the Zeeman broadening of spectral lines and filling factors. We detect strong kG magnetic fields in all our targets. In 16 stars the magnetic fields were measured for the first time. Our measurements are consistent with the magnetic field saturation in stars with rotation periods P<4d. The analysis of the magnetic filling factors reveal two different patterns of either very smooth distribution or a more patchy one, which can be connected to the dynamo state of the stars and/or stellar mass. Our measurements extend the list of M dwarfs with strong surface magnetic fields. They also allow us to better constrain the interplay between the magnetic energy, stellar rotation, and underlying dynamo action. The high spectral resolution and observations at near-infrared wavelengths are the beneficial capabilities of the CARMENES instrument that allow us to address important questions about the stellar magnetism.


title: Logic for exact real arithmetic

abstract: Continuing earlier work of the first author with U. Berger, K. Miyamoto and H. Tsuiki, it is shown how a division algorithm for real numbers given as a stream of signed digits can be extracted from an appropriate formal proof. The property of being a real number represented as a stream is formulated by means of coinductively defined predicates, and formal proofs involve coinduction. The proof assistant Minlog is used to generate the formal proofs and extract their computational content as terms of the underlying theory, a form of type theory for finite or infinite data. Some experiments with running the extracted term are described, after its translation to Haskell.


title: $K_{r,s}$ graph bootstrap percolation

abstract: A graph $G$ percolates in the $K_{r,s}$-bootstrap process if we can add all missing edges of $G$ in some order such that each edge creates a new copy of $K_{r,s}$, where $K_{r,s}$ is the complete bipartite graph. We study $K_{r,s}$-bootstrap percolation on the Erd\H{o}s-R\'{e}nyi random graph, and determine the percolation threshold for balanced $K_{r,s}$ up to a logarithmic factor. This partially answers a question raised by Balogh, Bollob\'as, and Morris. We also establish a general lower bound of the percolation threshold for all $K_{r,s}$, with $r\geq s \geq 3$.


title: Toward a principled Bayesian workflow in cognitive science

abstract: Experiments in research on memory, language, and in other areas of cognitive science are increasingly being analyzed using Bayesian methods. This has been facilitated by the development of probabilistic programming languages such as Stan, and easily accessible front-end packages such as brms. The utility of Bayesian methods, however, ultimately depends on the relevance of the Bayesian model, in particular whether or not it accurately captures the structure of the data and the data analyst's domain expertise. Even with powerful software, the analyst is responsible for verifying the utility of their model. To demonstrate this point, we introduce a principled Bayesian workflow (Betancourt, 2018) to cognitive science. Using a concrete working example, we describe basic questions one should ask about the model: prior predictive checks, computational faithfulness, model sensitivity, and posterior predictive checks. The running example for demonstrating the workflow is data on reading times with a linguistic manipulation of object versus subject relative clause sentences. This principled Bayesian workflow also demonstrates how to use domain knowledge to inform prior distributions. It provides guidelines and checks for valid data analysis, avoiding overfitting complex models to noise, and capturing relevant data structure in a probabilistic model. Given the increasing use of Bayesian methods, we aim to discuss how these methods can be properly employed to obtain robust answers to scientific questions. All data and code accompanying this paper are available from https://osf.io/b2vx9/.


title: What can we learn from transfer and how is best to do it?

abstract: An overview of the experimental aspects of nucleon transfer reactions with radioactive beams is presented, aimed principally at a researcher who is beginning their work in this area. Whilst the physics motivation and the means of theoretical interpretation are briefly described, the emphasis is on the experimental techniques and the quantities that can be measured. General features of the reactions which affect experimental design are highlighted and explained. A range of experimental choices for performing the experiments is described, and the reasons for making the different choices are rationalised and discussed. It is often useful to detect gamma-rays from electromagnetic transitions in the final nucleus, both to improve the precision and resolution of the excitation energy measurements and to assist in the identification of the observed levels. Several aspects related to gamma-ray detection and angular correlations are therefore included. The emphasis is on single-nucleon transfer reactions, and mostly on (d,p) transfer to produce nuclei that are more neutron-rich, but there are also brief discussions of other types of transfer reactions induced by both light ions and heavy ions.


title: Local non-Bayesian social learning with stubborn agents

abstract: We study a social learning model in which agents iteratively update their beliefs about the true state of the world using private signals and the beliefs of other agents in a non-Bayesian manner. Some agents are stubborn, meaning they attempt to convince others of an erroneous true state (modeling fake news). We show that while agents learn the true state on short timescales, they "forget" it and believe the erroneous state to be true on longer timescales. Using these results, we devise strategies for seeding stubborn agents so as to disrupt learning, which outperform intuitive heuristics and give novel insights regarding vulnerabilities in social learning.


title: Competitive Statistical Estimation with Strategic Data Sources

abstract: In recent years, data has played an increasingly important role in the economy as a good in its own right. In many settings, data aggregators cannot directly verify the quality of the data they purchase, nor the effort exerted by data sources when creating the data. Recent work has explored mechanisms to ensure that the data sources share high quality data with a single data aggregator, addressing the issue of moral hazard. Oftentimes, there is a unique, socially efficient solution. In this paper, we consider data markets where there is more than one data aggregator. Since data can be cheaply reproduced and transmitted once created, data sources may share the same data with more than one aggregator, leading to free-riding between data aggregators. This coupling can lead to non-uniqueness of equilibria and social inefficiency. We examine a particular class of mechanisms that have received study recently in the literature, and we characterize all the generalized Nash equilibria of the resulting data market. We show that, in contrast to the single-aggregator case, there is either infinitely many generalized Nash equilibria or none. We also provide necessary and sufficient conditions for all equilibria to be socially inefficient. In our analysis, we identify the components of these mechanisms which give rise to these undesirable outcomes, showing the need for research into mechanisms for competitive settings with multiple data purchasers and sellers.


title: Localization, Detection and Tracking of Multiple Moving Sound Sources with a Convolutional Recurrent Neural Network

abstract: This paper investigates the joint localization, detection, and tracking of sound events using a convolutional recurrent neural network (CRNN). We use a CRNN previously proposed for the localization and detection of stationary sources, and show that the recurrent layers enable the spatial tracking of moving sources when trained with dynamic scenes. The tracking performance of the CRNN is compared with a stand-alone tracking method that combines a multi-source (DOA) estimator and a particle filter. Their respective performance is evaluated in various acoustic conditions such as anechoic and reverberant scenarios, stationary and moving sources at several angular velocities, and with a varying number of overlapping sources. The results show that the CRNN manages to track multiple sources more consistently than the parametric method across acoustic scenarios, but at the cost of higher localization error.