title: Automatic Model Based Dataset Generation for Fast and Accurate Crop and Weeds Detection

abstract: Selective weeding is one of the key challenges in the field of agriculture robotics. To accomplish this task, a farm robot should be able to accurately detect plants and to distinguish them between crop and weeds. Most of the promising state-of-the-art approaches make use of appearance-based models trained on large annotated datasets. Unfortunately, creating large agricultural datasets with pixel-level annotations is an extremely time consuming task, actually penalizing the usage of data-driven techniques. In this paper, we face this problem by proposing a novel and effective approach that aims to dramatically minimize the human intervention needed to train the detection and classification algorithms. The idea is to procedurally generate large synthetic training datasets randomizing the key features of the target environment (i.e., crop and weed species, type of soil, light conditions). More specifically, by tuning these model parameters, and exploiting a few real-world textures, it is possible to render a large amount of realistic views of an artificial agricultural scenario with no effort. The generated data can be directly used to train the model or to supplement real-world images. We validate the proposed methodology by using as testbed a modern deep learning based image segmentation architecture. We compare the classification results obtained using both real and synthetic images as training data. The reported results confirm the effectiveness and the potentiality of our approach.


title: Influence of intermixing at the Ta/CoFeB interface on spin Hall angle in Ta/CoFeB/MgO heterostructures

abstract: We investigate the spin Hall effect in perpendicularly magnetized Ta/Co40Fe40B20/MgO trilayers with Ta underlayers thicker than the spin diffusion length. The crystallographic structures of the Ta layer and Ta/CoFeB interface are examined in detail using X-ray diffraction and transmission electron microscopy. The thinnest Ta underlayer is amorphous, whereas for thicker Ta layers a disoriented tetragonal beta-phase appears. Effective spin-orbit torques are calculated based on harmonic Hall voltage measurements performed in a temperature range between 15 and 300 K. To account for the temperature dependence of damping-like and field-like torques, we extend the spin diffusion model by including an additional contribution from the Ta/CoFeB interface. Based on this approach, the temperature dependence of the spin Hall angle in the Ta underlayer and at Ta/CoFeB interface are determined separately. The results indicate an almost temperature-independent spin Hall angle of theta_SH-N = -0.2 in Ta and a strongly temperature-dependent theta_SH-I for the intermixed Ta/CoFeB interface.


title: A complete radical formula and 2-primal modules

abstract: We introduce a complete radical formula for modules over non-commutative rings which is the equivalence of a radical formula in the setting of modules defined over commutative rings. This gives a general frame work through which known results about modules over commutative rings that satisfy the radical formula are retrieved. Examples and properties of modules that satisfy the complete radical formula are given. For instance, it is shown that a module that satisfies the complete radical formula is completely semiprime if and only if it is a subdirect product of completely prime modules. This generalizes a ring theoretical result: a ring is reduced if and only if it is a subdirect product of domains. We settle in affirmative a conjecture by Groenewald and the current author given in \cite{2p} that a module over a 2-primal ring is 2-primal. More instances where 2-primal modules behave like modules over commutative rings are given. This is in tandem with the behaviour of 2-primal rings of exhibiting tendencies of commutative rings. We end with some questions about the role of 2-primal rings in algebraic geometry.


title: Compact foliations with finite transverse LS category

abstract: We prove that if F is a foliation of a compact manifold M with all leaves compact submanifolds, and the transverse saturated category of F is finite, then the leaf space M/F is compact Hausdorff. The proof is surprisingly delicate, and is based on some new observations about the geometry of compact foliations. Colman proved in her 1998 doctoral thesis that the transverse saturated category of a compact Hausdorff foliation is always finite, so we obtain a new characterization of the compact Hausdorff foliations among the compact foliations as those with finite transverse saturated category.


title: Finite temperature quantum field theory in the heat kernel method

abstract: The trace of the heat kernel in a (D+1)-dimensional Euclidean spacetime (integer D > 1) is used to derive the free energy in finite temperature field theory. The spacetime presents a D-dimensional compact space (domain) with a (D-1)-dimensional boundary, and a closed dimension, whose volume is proportional the Planck's inverse temperature. The thermal sum appears due to topology of the closed Euclidean time. The obtained free energy in (3+1) and (2+1) dimensions contain two contributions defined by the volume of a domain and by the volume of the domain's boundary. This functional is finite and valid for arbitrary values of the Planck's inverse temperature. The absolute zero of thermodynamic temperature is forbidden topologically, and no universal low temperature asymptotics of the free energy can exist.


title: How strong a logistic damping can prevent blow-up for the minimal Keller-Segel chemotaxis system?

abstract: In this paper, we study the minimal Keller-Segel model with a logistic source and obtain quantitative and qualitative descriptions of the competition between logistic damping and other ingredient, especially, chemotactic aggregation to guarantee boundedness and convergence. More specifically, we establish how precisely strong a logistic source can prevent blow-up, and then we obtain an explicit relationship between logistic damping and other ingredient, especially, chemotactic aggregation so that convergences are ensured and their respective convergence rates are explicitly calculated out. Known results in the literature are completed and refined. Furthermore, our findings provide clues on how to produce blowup solutions for KS chemotaxis models with logistic sources.


title: A quantum hybrid with a thin antenna at the vertex of a wedge

abstract: We study the spectrum, resonances and scattering matrix of a quantum hamiltonian on a "hybrid surface" consisting of a half-line attached by its endpoint to the vertex of a concave planar wedge. At the boundary of the wedge, outside the vertex, Dirichlet boundary are imposed. The system is tunable by varying the measure of the angle at the vertex.


title: High repetition pump-and-probe photoemission spectroscopy based on a compact fiber laser system

abstract: The paper describes a time-resolved photoemission (TRPES) apparatus equipped with a Yb-doped fiber laser system delivering 1.2-eV pump and 5.9-eV probe pulses at the repetition rate of 95 MHz. Time and energy resolutions are 11.3 meV and ~310 fs, respectively; the latter is estimated by performing TRPES on a highly oriented pyrolytic graphite (HOPG). The high repetition rate is suited for achieving high signal-to-noise ratio in TRPES spectra, thereby facilitating investigations of ultrafast electronic dynamics in the low pump fluence (p) region. TRPES of polycrystalline bismuth (Bi) at p as low as 30 nJ/mm2 is demonstrated. The laser source is compact and is docked to an existing TRPES apparatus based on a 250-kHz Ti:sapphire laser system. The 95-MHz system is less prone to space-charge broadening effects compared to the 250-kHz system, which we explicitly show in a systematic probe-power dependency of the Fermi cutoff of polycrystalline gold. We also describe that the TRPES response of an oriented Bi(111)/HOPG sample is useful for fine-tuning the spatial overlap of the pump and probe beams even when p is as low as 30 nJ/mm2.


title: Geometric inequalities for manifolds with Ricci curvature in the Kato class

abstract: We obtain an Euclidean volume growth results for complete Riemannian manifolds satisfying a Euclidean Sobolev inequality and a spectral type condition on the Ricci curvature. We also obtain eigenvalue estimates, heat kernel estimates, Betti number estimates for closed manifolds whose Ricci curvature is controlled in the Kato class.


title: Positive sparse domination of variational Carleson operators

abstract: Due to its nonlocal nature, the $r$-variation norm Carleson operator $C_r$ does not yield to the sparse domination techniques of Lerner, Di Plinio and Lerner, Lacey. We overcome this difficulty and prove that the dual form to $C_r$ can be dominated by a positive sparse form involving $L^p$ averages. Our result strengthens the $L^p$ estimates by Oberlin et. al. As a corollary, we obtain quantitative weighted norm inequalities improving on previous results by Do and Lacey. Our proof relies on the localized outer $L^p$-embeddings of Di Plinio-Ou and Uraltsev.


title: The Poisson-Voronoi cell around an isolated nucleus

abstract: Consider a planar random point process made of the union of a point (the origin) and of a Poisson point process with a uniform intensity outside a deterministic set surrounding the origin. When the intensity goes to infinity, we show that the Voronoi cell associated with the origin converges from above to a deterministic convex set. We describe this set and give the asymptotics of the expectation of its defect area, defect perimeter and number of vertices. On the way, two intermediary questions are treated. First, we describe the mean characteristics of the Poisson-Voronoi cell conditioned on containing a fixed convex body around the origin and secondly, we show that the nucleus of such cell converges to the Steiner point of the convex body. As in R\'enyi and Sulanke's seminal papers on random convex hulls, the regularity of the convex body has crucial importance. We deal with both the smooth and polygonal cases. Techniques are based notably on accurate estimates of the area of the Voronoi flower and of the support function of the cell containing the origin as well as on an Efron-type relation.


title: Origin of CH+ in diffuse molecular clouds warm H2 and ion-neutral drift

abstract: This paper assesses the roles of the presence of warm H2, and the increased formation rate due to the ion-neutral drift. We performed ideal MHD simulations that include the heating and cooling of the multiphase ISM, and where we treat dynamically the formation of H2. In a post-processing step we compute the abundances of species at chemical equilibrium. We show that CH+ is efficiently formed at the edge of clumps, in regions where the H2 fraction is low, but nevertheless higher than its equilibrium value, and where the gas temperature is high. We show that warm and out of equilibrium H2 increases the integrated column densities of CH+ by one order of magnitude, up to values still 3-10 times lower than those observed in the diffuse ISM. We balance the Lorentz force with the ion-neutral drag to estimate the ion-drift velocities (vd). We find that the vd distribution peaks around 0.04 km s-1, and that high vd are too rare to have a significant statistical impact on the abundances of CH+. Compared to previous works, our multiphase simulations reduce the spread in vd, and our self-consistent treatment of the ionisation leads to much reduced vd. Nevertheless, our resolution study shows that this velocity distribution is not converged: the ion-neutral drift has a higher impact on CH+ at higher resolution. On the other hand, our ideal MHD simulations do not include ambipolar diffusion, which would yield lower drift velocities. Within these limitations, we conclude that warm H2 is a key ingredient in the efficient formation of CH+ and that the ambipolar diffusion has very little influence on the abundance of CH+, mainly due to the small drift velocities obtained. However, we point out that small-scale processes and other non-thermal processes not included in our MHD simulation may be of crucial importance, and higher resolution studies with better controlled dissipation processes are needed.


title: Early exercise decision in American options with dividends, stochastic volatility and jumps

abstract: Using a fast numerical technique, we investigate a large database of investor suboptimal non-exercise of short maturity American call options on dividend-paying stocks listed on the Dow Jones. The correct modelling of the discrete dividend is essential for a correct calculation of the early exercise boundary as confirmed by theoretical insights. Pricing with stochastic volatility and jumps instead of the Black-Scholes-Merton benchmark cuts by a quarter the amount lost by investors through suboptimal exercise. The remaining three quarters are largely unexplained by transaction fees and may be interpreted as an opportunity cost for the investors to monitor optimal exercise.


title: CoALP-Ty'16

abstract: This volume constitutes the pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty'16), held on 28--29 November 2016 in Edinburgh as a mark of the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by E. Komendantskaya and J. Power. This volume consists of extended abstracts describing current research in the following areas: Semantics: Lawvere theories and Coalgebra in Logic and Functional Programming Programming languages: Horn Clause Logic for Type Inference in Functional Languages and Beyond After discussion at the workshop authors of the extended abstracts will be invited to submit a full paper to go through a second round of refereeing and selection for the formal proceedings.


title: Robust state preparation in quantum simulations of Dirac dynamics

abstract: A non-relativistic system such as an ultracold trapped ion may perform a quantum simulation of a Dirac equation dynamics under specific conditions. The resulting Hamiltonian and dynamics are highly controllable, but the coupling between momentum and internal levels poses some difficulties to manipulate the internal states accurately in wave packets. We use invariants of motion to inverse engineer robust population inversion processes with a homogeneous, time-dependent simulated electric field. This exemplifies the usefulness of inverse-engineering techniques to improve the performance of quantum simulation protocols.


title: First test of Verlinde's theory of Emergent Gravity using Weak Gravitational Lensing measurements

abstract: Verlinde (2016) proposed that the observed excess gravity in galaxies and clusters is the consequence of Emergent Gravity (EG). In this theory the standard gravitational laws are modified on galactic and larger scales due to the displacement of dark energy by baryonic matter. EG gives an estimate of the excess gravity (described as an apparent dark matter density) in terms of the baryonic mass distribution and the Hubble parameter. In this work we present the first test of EG using weak gravitational lensing, within the regime of validity of the current model. Although there is no direct description of lensing and cosmology in EG yet, we can make a reasonable estimate of the expected lensing signal of low redshift galaxies by assuming a background LambdaCDM cosmology. We measure the (apparent) average surface mass density profiles of 33,613 isolated central galaxies, and compare them to those predicted by EG based on the galaxies' baryonic masses. To this end we employ the ~180 square degrees overlap of the Kilo-Degree Survey (KiDS) with the spectroscopic Galaxy And Mass Assembly (GAMA) survey. We find that the prediction from EG, despite requiring no free parameters, is in good agreement with the observed galaxy-galaxy lensing profiles in four different stellar mass bins. Although this performance is remarkable, this study is only a first step. Further advancements on both the theoretical framework and observational tests of EG are needed before it can be considered a fully developed and solidly tested theory.


title: Direct numerical simulation of water-ethanol flows in a T-mixer

abstract: The efficient mixing of fluids is key in many applications, such as chemical reactions and nanoparticle precipitation. Detailed experimental measurements of the mixing dynamics are however difficult to obtain, and so predictive numerical tools are helpful in designing and optimizing many processes. If two different fluids are considered, the viscosity and density of the mixture depend often nonlinearly on the composition, which makes the modeling of the mixing process particularly challenging. Hence water-water mixtures in simple geometries such as T-mixers have been intensively investigated, but little is known about the dynamics of more complex mixtures, especially in the turbulent regime. We here present a numerical method allowing the accurate simulation of two-fluid mixtures. Using a high-performance implementation of this method we perform direct numerical simulations resolving the spatial and temporal dynamics of water-ethanol flows for Reynolds numbers from 100 to 2000. The flows states encountered during turbulence transition and their mixing properties are discussed in detail and compared to water-water mixtures.


title: Quantum Nonlinear Optics with a Germanium-Vacancy Color Center in a Nanoscale Diamond Waveguide

abstract: We demonstrate a quantum nanophotonics platform based on germanium-vacancy (GeV) color centers in fiber-coupled diamond nanophotonic waveguides. We show that GeV optical transitions have a high quantum efficiency and are nearly lifetime-broadened in such nanophotonic structures. These properties yield an efficient interface between waveguide photons and a single GeV without the use of a cavity or slow-light waveguide. As a result, a single GeV center reduces waveguide transmission by $18 \pm 1\%$ on resonance in a single pass. We use a nanophotonic interferometer to perform homodyne detection of GeV resonance fluorescence. By probing the photon statistics of the output field, we demonstrate that the GeV-waveguide system is nonlinear at the single-photon level.


title: Impact of Sommerfeld enhancement on helium reionization via WIMP dark matter

abstract: Dark matter annihilation can have a strong impact on many astrophysical processes in the Universe. In the case of Sommerfeld-enhanced annihilation cross sections, the annihilation rates are enhanced at late times, thus enhancing the potential annihilation signatures. We here calculate the Sommerfeld-enhanced annihilation signatures during the epoch of helium reionization, the epoch where helium becomes fully ionized due to energetic photons. When considering the upper limits on the energy injection from the CMB, we find that the resulting abundance of He$^{++}$ becomes independent of the dark matter particle mass. The resulting enhancement compared to a standard scenario is thus 1-2 orders of magnitude higher. For realistic scenarios compatible with CMB constraints, there is no significant shift in the epoch of helium reionization, which is completed between redshifts $3$ and $4$. While it is thus difficult to disentangle dark matter annihilation from astrophysical contributions (active galactic nuclei), a potential detection of dark matter particles and its interactions using the Large Hadron Collider (LHC) would allow one to quantify the dark matter contribution.


title: Universal scaling of unequal-time correlation functions in ultracold Bose gases far from equilibrium

abstract: We explore the far-from-equilibrium dynamics of Bose gases in a universal regime associated to nonthermal fixed points. While previous investigations concentrated on scaling functions and exponents describing equal-time correlations, we compute the additional scaling functions and dynamic exponent $z$ characterizing the frequency dependence or dispersion from unequal-time correlations. This allows us to compare the characteristic condensation and correlation times from a finite-size scaling analysis depending on the system's volume.


title: Computer simulation study of the nematic-vapour interface in the Gay-Berne model

abstract: We present computer simulations of the vapour-nematic interface of the Gay-Berne model. We considered situations which correspond to either prolate or oblate molecules. We determine the anchoring of the nematic phase and correlate it with the intermolecular potential parameters. On the other hand, we evaluate the surface tension associated to this interface. We find a corresponding states law for the surface tension dependence on the temperature, valid for both prolate and oblate molecules.


title: A note on holographic dark energy with varying $c^2$ term

abstract: We reconsider the holographic dark energy (HDE) model with a slowly time varying $ c^2(z)$ parameter in the energy density, namely $\rho_D=3M_p^2 c^2(z)/L^2$, where $L$ is the IR cutoff and $z$ is the redshift parameter. As the system's IR cutoff we choose the Hubble radius and the Granda-Oliveros (GO) cutoffs. The latter inspired by the Ricci scalar curvature. We derive the evolution of the cosmological parameters such as the equation of state and the deceleration parameters as the explicit functions of the redshift parameter $z$. Then, we plot the evolutions of these cosmological parameters in terms of the redshift parameter during the history of the universe. Interestingly enough, we observe that by choosing $L=H^{-1}$ as the IR cutoff for the HDE with time varying $ c ^2(z) $ term, the present acceleration of the universe expansion can be achieved, even in the absence of interaction between dark energy and dark matter. This is in contrast to the usual HDE model with constant $c^2$ term, which leads to a wrong equation of state, namely that for dust $w_D=0$, when the IR cutoff is chosen the Hubble radius.


title: Surface energy coefficient determination in global mass formula from fission barrier energy

abstract: Semi-empirical mass formula of the atomic nucleus describe binding energies of the nuclei. In the simple form of this formula, there are five terms related to the properties of the nuclear structure. The coefficients in each terms can be determined by various approach such as fitting on experimental binding energy values. In this study, the surface energy coefficient in the formula which is a correction on total binding energy has been obtained by a method that is not previously described in the literature. The experimental fission barrier energies of nuclei have been used for this task. According to the results, surface energy coefficient in one of the most conventional formula has been improved by a factor 3.4.


title: Analyzing the Synergy between Broadcast Polling and Piggybacking in WiMAX Networks

abstract: In this work we present a model for analyzing the combined use of broadcast polling and piggybacking in Worldwide Interoperability for Microwave Access (WiMAX) networks. For an accurate analysis of piggybacking, the model focuses on the realistic case of limited up-link bandwidth and non-trivial queueing capability at the subscriber stations. We first model the activity of a subscriber station using a Markov chain and its queue as an M/G/1 system with vacations in order to facilitate the analysis of the piggyback mechanism. We then derive a set of fixed point equations that describe not only the contention process at the network level but also bandwidth allocation to contending and piggybacked requests. Our model uses a minimal set of assumptions and is generic in the sense that it is customizable through a set of parameters. It can also reproduce the system performance in both saturated and non-saturated conditions. After validating our analysis through extensive simulations, we shed light on the aspects of the synergy between broadcast polling and piggybacking and unveil the pros and cons of using the latter.


title: The relation between quenched and annealed Lyapunov exponents in random potential on trees

abstract: In the first part of the article our subject of interest is a simple symmetric random walk on the integers which faces a random risk to be killed. This risk is described by random potentials, which in turn are defined by a sequence of independent and identically distributed non-negative random variables. To determine the risk of taking a walk in these potentials we consider the decay of the Green function. There are two possible tools to describe this decay: The quenched Lyapunov exponents and the annealed Lyapunov exponents. It turns out that on the integers we can state a precise relation between these two. The main tool for proving this is due to a special path property on the integers: if the random walk travels from one point to another one in finite time all the points between have to be passed in finite time as well. This allows using Ergodic Theorems. In the second part we show that the relation is also true in the case of Lyapunov exponents for simple symmetric random walks on d-regular trees and for random walks with drift.


title: Spectroscopic evolution of massive stars on the main sequence

abstract: We provide an observational view of evolutionary models in the Hertzsprung--Russell diagram, on the main sequence. For that we computed evolutionary models with the code STAREVOL for 15 < M/Msun < 100. We subsequently calculated atmosphere models at specific points along the evolutionary tracks, using the code CMFGEN. Synthetic spectra obtained in this way were classified as if they were observational data. We tested our spectral classification by comparison to observed spectra of various stars. We also compared our results with empirical data of a large number of OB stars. We obtain spectroscopic sequences along evolutionary tracks. In our computations, the earliest O stars (O2-3.5) appear only above ~50 Msun. For later spectral types, a similar mass limit exists, but is lower. A luminosity class V does not correspond to the entire main sequence. This only holds for the 15 Msun track. As mass increases, a larger portion of the main sequence is spent in luminosity class III. Above 50 Msun, supergiants appear before the end of core-hydrogen burning. Dwarf stars do not occur on the zero-age main sequence above 80 Msun. Consequently, the distribution of luminosity class V in the HR diagram cannot be used to constrain the size of the convective core. The distribution of dwarfs and giants in the HR diagram agrees well with the location of stars analyzed by means of quantitative spectroscopy. For supergiants, there is a slight discrepancy in the sense that luminosity class I is observed slightly earlier than our predictions. This is mainly due to wind densities that affect the luminosity class diagnostic lines. We predict an upper mass limit for dwarf stars (~60 Msun) that is found consistent with the rarity of O2V stars in the Galaxy. Stars with WNh spectral type are not predicted by our models. Stronger winds are required to produce the characteristic emission lines of these objects.


title: The conventions for the polarization angle

abstract: Since more than a century astronomers measure the position angle of the major axis of the polarization ellipse starting from the North direction and increasing counter-clockwise, when looking at the source. This convention has been enforced by the IAU with a Resolution in 1973. Much later the WMAP satellite, which has observed the polarization of the cosmic microwave background, has unfortunately adopted the opposite convention: the polarization position angle is measured starting from the South and increasing clockwise, when looking at the source. This opposite convention has been followed by most cosmic microwave background polarization experiments and is causing obvious problems and misunderstandings. The attempts and prospects to enforce the official IAU convention are described.


title: Definition of the Riesz Derivative and its Application to Space Fractional Quantum Mechanics

abstract: We investigate and compare different representations of the Riesz derivative, which plays an important role in anomalous diffusion and space fractional quantum mechanics. In particular, we show that a certain representation of the Riesz derivative that is generally given as also valid for order alpha equals 1, behaves no differently than the other definition given in terms of its Fourier transform. In the light of this, we discuss the alpha goes to 1 limit of the space fractional quantum mechanics and its consistency.


title: The Quantum State Of The Universe From Deformation Quantization and Classical-Quantum Correlation

abstract: In this paper we study the quantum cosmology of homogeneous and isotropic cosmology, via the Weyl-Wigner-Groenewold-Moyal formalism of phase space quantization, with perfect fluid as a matter source. The corresponding quantum cosmology is described by the Moyal-Wheeler-DeWitt equation which has exact solutions in Moyal phase space, resulting in Wigner quasiprobability distribution functions peaking around the classical paths for large values of scale factor. We show that the Wigner functions of these models are peaked around the non-singular universes with quantum modified density parameter of radiation.


title: Polariton pattern formation and photon statistics of the associated emission

abstract: We report on the formation of a diverse family of transverse spatial polygon patterns in a microcavity polariton fluid under coherent driving by a blue-detuned pump. Patterns emerge spontaneously as a result of energy-degenerate polariton-polariton scattering from the pump state to interfering high order vortex and antivortex modes, breaking azimuthal symmetry. The interplay between a multimode parametric instability and intrinsic optical bistability leads to a sharp spike in the value of second order coherence $g^{(2)}(0)$ of the emitted light, which we attribute to the strongly superlinear kinetics of the underlying scattering processes driving the formation of patterns. We show numerically by means of a linear stability analysis how the growth of parametric instabilities in our system can lead to spontaneous symmetry breaking, predicting the formation and competition of different pattern states in good agreement with experimental observations.


title: Perfect valley polarization in MoS2

abstract: We study perfect valley polarization in a molybdenum disulfide MoS2 nanoribbon monolayer using two bands Hamiltonian model and non-equilibrium Green's function method. The device consists of a one-dimensional quantum wire of MoS2 monolayer sandwiched between two zigzag MoS2 nanoribbons such that the sites A and B of the honeycomb lattice are constructed by the molecular orbital of Mo atoms, only. Spin-valley coupling is seen in energy dispersion curve due to the inversion asymmetry and time-reversal symmetry. Although, the time reversal symmetry is broken by applying an external magnetic field, the valley polarization is very small. A valley polarization equal to 46% can be achieved using an exchange field of 0.13 eV. It is shown that a particular spin-valley combination with perfect valley polarization can be selected based on a given set of exchange field and gate voltage as input parameters. Therefore, the valley polarization can be detected by detecting the spin degree of freedom.


title: Rotating Stars in Relativity

abstract: Rotating relativistic stars have been studied extensively in recent years, both theoretically and observationally, because of the information they might yield about the equation of state of matter at extremely high densities and because they are considered to be promising sources of gravitational waves. The latest theoretical understanding of rotating stars in relativity is reviewed in this updated article. The sections on equilibrium properties and on nonaxisymmetric oscillations and instabilities in $f$-modes and $r$-modes have been updated. Several new sections have been added on equilibria in modified theories of gravity, approximate universal relationships, the one-arm spiral instability, on analytic solutions for the exterior spacetime, rotating stars in LMXBs, rotating strange stars, and on rotating stars in numerical relativity including both hydrodynamic and magnetohydrodynamic studies of these objects.


title: Statics and dynamics of a self-bound matter-wave quantum ball

abstract: We study the statics and dynamics of a stable, mobile, three-dimensional matter-wave spherical quantum ball created in the presence of an attractive two-body and a very small repulsive three-body interaction. The quantum ball can propagate with a constant velocity in any direction in free space and its stability under a small perturbation is established numerically and variationally. In frontal head-on and angular collisions at large velocities two quantum balls behave like quantum solitons. Such collision is found to be quasi elastic and the quantum balls emerge after collision without any change of direction of motion and velocity and with practically no deformation in shape. When reflected by a hard impenetrable plane, the quantum ball bounces off like a wave obeying the law of reflection without any change of shape or speed. However, in a collision at small velocities two quantum balls coalesce to form a larger ball which we call a quantum-ball breather. We point out the similarity and difference between the collision of two quantum and classical balls. The present study is based on an analytic variational approximation and a full numerical solution of the mean-field Gross-Pitaevskii equation using the parameters of $^7$Li atoms.


title: ActionFlowNet: Learning Motion Representation for Action Recognition

abstract: Even with the recent advances in convolutional neural networks (CNN) in various visual recognition tasks, the state-of-the-art action recognition system still relies on hand crafted motion feature such as optical flow to achieve the best performance. We propose a multitask learning model ActionFlowNet to train a single stream network directly from raw pixels to jointly estimate optical flow while recognizing actions with convolutional neural networks, capturing both appearance and motion in a single model. We additionally provide insights to how the quality of the learned optical flow affects the action recognition. Our model significantly improves action recognition accuracy by a large margin 31% compared to state-of-the-art CNN-based action recognition models trained without external large scale data and additional optical flow input. Without pretraining on large external labeled datasets, our model, by well exploiting the motion information, achieves competitive recognition accuracy to the models trained with large labeled datasets such as ImageNet and Sport-1M.


title: Online Actions with Offline Impact: How Online Social Networks Influence Online and Offline User Behavior

abstract: Many of today's most widely used computing applications utilize social networking features and allow users to connect, follow each other, share content, and comment on others' posts. However, despite the widespread adoption of these features, there is little understanding of the consequences that social networking has on user retention, engagement, and online as well as offline behavior. Here, we study how social networks influence user behavior in a physical activity tracking application. We analyze 791 million online and offline actions of 6 million users over the course of 5 years, and show that social networking leads to a significant increase in users' online as well as offline activities. Specifically, we establish a causal effect of how social networks influence user behavior. We show that the creation of new social connections increases user online in-application activity by 30%, user retention by 17%, and user offline real-world physical activity by 7% (about 400 steps per day). By exploiting a natural experiment we distinguish the effect of social influence of new social connections from the simultaneous increase in user's motivation to use the app and take more steps. We show that social influence accounts for 55% of the observed changes in user behavior, while the remaining 45% can be explained by the user's increased motivation to use the app. Further, we show that subsequent, individual edge formations in the social network lead to significant increases in daily steps. These effects diminish with each additional edge and vary based on edge attributes and user demographics. Finally, we utilize these insights to develop a model that accurately predicts which users will be most influenced by the creation of new social network connections.


title: DERGMs: Degeneracy-restricted exponential random graph models

abstract: Exponential random graph models, or ERGMs, are a flexible and general class of models for modeling dependent data. While the early literature has shown them to be powerful in capturing many network features of interest, recent work highlights difficulties related to the models' ill behavior, such as most of the probability mass being concentrated on a very small subset of the parameter space. This behavior limits both the applicability of an ERGM as a model for real data and inference and parameter estimation via the usual Markov chain Monte Carlo algorithms. To address this problem, we propose a new exponential family of models for random graphs that build on the standard ERGM framework. Specifically, we solve the problem of computational intractability and `degenerate' model behavior by an interpretable support restriction. We introduce a new parameter based on the graph-theoretic notion of degeneracy, a measure of sparsity whose value is commonly low in real-worlds networks. The new model family is supported on the sample space of graphs with bounded degeneracy and is called degeneracy-restricted ERGMs, or DERGMs for short. Since DERGMs generalize ERGMs -- the latter is obtained from the former by setting the degeneracy parameter to be maximal -- they inherit good theoretical properties, while at the same time place their mass more uniformly over realistic graphs. The support restriction allows the use of new (and fast) Monte Carlo methods for inference, thus making the models scalable and computationally tractable. We study various theoretical properties of DERGMs and illustrate how the support restriction improves the model behavior. We also present a fast Monte Carlo algorithm for parameter estimation that avoids many issues faced by Markov Chain Monte Carlo algorithms used for inference in ERGMs.


title: Measuring Adverse Drug Effects on Multimorbity using Tractable Bayesian Networks

abstract: Managing patients with multimorbidity often results in polypharmacy: the prescription of multiple drugs. However, the long-term effects of specific combinations of drugs and diseases are typically unknown. In particular, drugs prescribed for one condition may result in adverse effects for the other. To investigate which types of drugs may affect the further progression of multimorbidity, we query models of diseases and prescriptions that are learned from primary care data. State-of-the-art tractable Bayesian network representations, on which such complex queries can be computed efficiently, are employed for these large medical networks. Our results confirm that prescriptions may lead to unintended negative consequences in further development of multimorbidity in cardiovascular diseases. Moreover, a drug treatment for one disease group may affect diseases of another group.


title: Quantum Walk in Periodic Potential on a Line and a Model of Interacting Opinions

abstract: Two subjects are discussed in this work: localisation and recurrence in a model of quantum walk in a periodic potential, and a model of opinion dynamics with multiple choices of opinions.


title: Relativistic analysis of stochastic kinematics

abstract: The relativistic analysis of stochastic kinematics is developed in order to determine the transformation of the effective diffusivity tensor in inertial frames. Poisson-Kac stochastic processes are initially considered. For one-dimensional spatial models, the effective diffusion coefficient $D$ measured in a frame $\Sigma$ moving with velocity $w$ with respect to the rest frame of the stochastic process can be expressed as $D= D_0 \, \gamma^{-3}(w)$. Subsequently, higher dimensional processes are analyzed, and it is shown that the diffusivity tensor in a moving frame becomes non-isotropic with $D_\parallel = D_0 \, \gamma^{-3}(w)$, and $D_\perp = D_0 \, \gamma^{-1}(w)$, where $D_\parallel$ and $D_\perp$ are the diffusivities parallel and orthogonal to the velocity of the moving frame. The analysis of discrete Space-Time Diffusion processes permits to obtain a general transformation theory of the tensor diffusivity, confirmed by several different simulation experiments. Several implications of the theory are also addressed and discussed.


title: Suzaku observations of the merging galaxy cluster Abell2255: The northeast radio relic

abstract: We present the results of deep 140 ks Suzaku X-ray observations of the north-east (NE) radio relic of the merging galaxy cluster Abell2255. The temperature structure of Abell2255 is measured out to 0.9 times the virial radius (1.9 Mpc) in the NE direction for the first time. The Suzaku temperature map of the central region suggests a complex temperature distribution, which agrees with previous work. Additionally, on a larger-scale, we confirm that the temperature drops from 6 keV around the cluster center to 3 keV at the outskirts, with two discontinuities at {\it r}$\sim$5\arcmin~(450 kpc) and $\sim$12\arcmin~(1100 kpc) from the cluster center. Their locations coincide with surface brightness discontinuities marginally detected in the XMM-Newton image, which indicates the presence of shock structures. From the temperature drop, we estimate the Mach numbers to be ${\cal M}_{\rm inner}\sim$1.2 and, ${\cal M}_{\rm outer}\sim$1.4. The first structure is most likely related to the large cluster core region ($\sim$350--430 kpc), and its Mach number is consistent with the XMM-Newton observation (${\cal M}\sim$1.24: Sakelliou & Ponman 2006). Our detection of the second temperature jump, based on the Suzaku key project observation, shows the presence of a shock structure across the NE radio relic. This indicates a connection between the shock structure and the relativistic electrons that generate radio emission. Across the NE radio relic, however, we find a significantly lower temperature ratio ($T_1/T_2\sim1.44\pm0.16$ corresponds to~${\cal M}_{\rm X-ray}\sim1.4$) than the value expected from radio wavelengths, based on the standard diffusive shock acceleration mechanism ($T_1/T_2>$ 3.2 or ${\cal M}_{\rm Radio}>$ 2.8).


title: A note on the Chermak-Delgado lattice of a finite group

abstract: In this note we describe the structure of finite groups G whose Chermak-Delgado lattice is the interval [G/Z(G)] = {H \in L(G) \mid Z(G)\leq H\leq G}.


title: The Fermi surface of Sr2RuO4: spin-orbit and anisotropic Coulomb interaction effects

abstract: The topology of the Fermi surface of Sr2RuO4 is well described by local-density approximation calculations with spin-orbit interaction, but the relative size of its different sheets is not. By accounting for many-body effects via dynamical mean-field theory, we show that the standard isotropic Coulomb interaction alone worsens or does not correct this discrepancy. In order to reproduce experiments, it is essential to account for the Coulomb anisotropy. The latter is small but has strong effects; it competes with the Coulomb-enhanced spin-orbit coupling and the isotropic Coulomb term in determining the Fermi surface shape. Its effects are likely sizable in other correlated multi-orbital systems. In addition, we find that the low-energy self-energy matrix -- responsible for the reshaping of the Fermi surface -- sizably differ from the static Hartree-Fock limit. Finally, we find a strong spin-orbital {entanglement}; this supports the view that the conventional description of Cooper pairs via factorized spin and orbital part might not apply to Sr2RuO4.


title: A Plancherel measure associated to set partitions and its limit

abstract: In recent years increasing attention has been paid on the area of supercharacter theories, especially to those of the upper unitriangular group. A particular supercharacter theory, in which supercharacters are indexed by set partitions, has several interesting properties, which make it object of further study. We define a natural generalization of the Plancherel measure, called superplancherel measure, and prove a limit shape result for a random set partition according to this distribution. We also give a description of the asymptotical behavior of two set partition statistics related to the supercharacters. The study of these statistics when the set partitions are uniformly distributed has been done by Chern, Diaconis, Kane and Rhoades.


title: A Look Back at the Ehrenfest Classification. Translation and Commentary of Ehrenfest's 1933 paper introducing the notion of phase transitions of different order

abstract: A translation of Paul Ehrenfest's 1933 paper, entitled "Phase transitions in the usual and generalized sense, classified according to the singularities of the thermodynamic potential" is presented. Some historical commentary about the paper's context is also given.


title: Reducing phonon-induced decoherence in solid-state single-photon sources with cavity quantum electrodynamics

abstract: Solid-state emitters are excellent candidates for developing integrated sources of single photons. Yet, phonons degrade the photon indistinguishability both through pure dephasing of the zero-phonon line and through phonon-assisted emission. Here, we study theoretically and experimentally the indistinguishability of photons emitted by a semiconductor quantum dot in a microcavity as a function of temperature. We show that a large coupling to a high quality factor cavity can simultaneously reduce the effect of both phonon-induced sources of decoherence. It first limits the effect of pure dephasing on the zero phonon line with indistinguishabilities above $97\%$ up to $18$ K. Moreover, it efficiently redirects the phonon sidebands into the zero-phonon line and brings the indistinguishability of the full emission spectrum from $87\%$ (resp. $24\%$) without cavity effect to more than $99\%$ (resp. $76\%$) at $0$ K (resp. $20$ K). We provide guidelines for optimal cavity designs that further minimize the phonon-induced decoherence.


title: The evolution of the Oxygen abundance radial gradient in the Milky Way Galaxy disk

abstract: We review the state of our chemical evolution models for spiral and low mass galaxies. We analyze the consequences of using different stellar yields, infall rate laws and star formation prescriptions in the time/redshift evolution of the radial distributions of abundances, and other quantities as star formation rate or gas densities, in the Milky Way Galaxy; In particular we will study the evolution of the Oxygen abundance radial gradient analyzing its relation with the ratio SFR/infall. We also compare the results with our old chemical evolution models, cosmological simulations and with the existing data, mainly with the planetary nebulae abundances.


title: Deformed relativity symmetries and the local structure of spacetime

abstract: A spacetime interpretation of deformed relativity symmetry groups was recently proposed by resorting to Finslerian geometries, seen as the outcome of a continuous limit endowed with first order corrections from the quantum gravity regime. In this work we further investigate such connection between deformed algebras and Finslerian geometries by showing that the Finsler geometries associated to the generalisation of the Poincar\'{e} group (the so called $\kappa$-Poincar\'{e} Hopf algebra) are maximally symmetric spacetimes which are also of the Berwald type: Finslerian spacetimes for which the connections are substantially Riemannian, belonging to the unique class for which the weak equivalence principle still holds. We also extend this analysis by considering a generalization of the de Sitter group (the so called $q$-de Sitter group) and showing that its associated Finslerian geometry reproduces locally the one from the $\kappa$-Poincar\'{e} group and that itself can be recast in a Berwald form in an appropriate limit.


title: Parameter uncertainty and reserve risk under Solvency II

abstract: In this article we consider the parameter risk in the context of internal modelling of the reserve risk under Solvency II. We discuss two opposed perspectives on parameter uncertainty and point out that standard methods of classical reserving focusing on the estimation error of claims reserves are in general not appropriate to model the impact of parameter uncertainty upon the actual risk of economic losses from the undertakings's perspective. Referring to the requirements of Solvency II we assess methods to model parameter uncertainty for the reserve risk by comparing the probability of solvency actually attained when modelling the solvency risk capital requirement based on the respective method to the required confidence level. Using the simple example of a normal model we show that the bootstrapping approach is not appropriate to model parameter uncertainty according to this criterion. We then present an adaptation of the approach proposed in \cite {froehlich2014}. Experimental results demonstrate that this new method yields a risk capital model for the reserve risk achieving the required confidence level in good approximation.


title: FIMP and Muon ($g-2$) in a U$(1)_{L_{\mu}-L_{\tau}}$ Model

abstract: The tightening of the constraints on the standard thermal WIMP scenario has forced physicists to propose alternative dark matter (DM) models. One of the most popular alternate explanations of the origin of DM is the non-thermal production of DM via freeze-in. In this scenario the DM never attains thermal equilibrium with the thermal soup because of its feeble coupling strength ($\sim 10^{-12}$) with the other particles in the thermal bath and is generally called the Feebly Interacting Massive Particle (FIMP). In this work, we present a gauged U(1)$_{L_{\mu}-L_{\tau}}$ extension of the Standard Model (SM) which has a scalar FIMP DM candidate and can consistently explain the DM relic density bound. In addition, the spontaneous breaking of the U(1)$_{L_{\mu}-L_{\tau}}$ gauge symmetry gives an extra massive neutral gauge boson $Z_{\mu\tau}$ which can explain the muon ($g-2$) data through its additional one-loop contribution to the process. Lastly, presence of three right-handed neutrinos enable the model to successfully explain the small neutrino masses via the Type-I seesaw mechanism. The presence of the spontaneously broken U(1)$_{L_{\mu}-L_{\tau}}$ gives a particular structure to the light neutrino mass matrix which can explain the peculiar mixing pattern of the light neutrinos.


title: Generalized Algorithm for Wythoff's Game with Basis Vector $(2^b,2^b)$

abstract: Wythoff's Game is a variation of Nim in which players may take an equal number of stones from each pile or make valid Nim moves. W. A. Wythoff proved that the set of P-Positions (losing position), $C$, for Wythoff's Game is given by $C := \left\{ (\lfloor k\phi \rfloor, \lfloor k\phi^2 \rfloor), (\lfloor k\phi^2 \rfloor, \lfloor k\phi \rfloor) : k \in \mathbb Z_{\geq 0} \right\}$. An open Wythoff problem remains where players make the valid Nim moves or remove $kb$ stones from each pile, where $b$ is a fixed integer. We denote this as the $(b,b)$ game. For example, regular Wythoff's Game is just the $(1,1)$ game. In 2009, Duch${\^e}$ne and Gravier proved an algorithm to generate the set of P-Positions for the $(2,2)$ game by exploiting the periodic nature of the differences of stones between the two piles modulo $4$. We observe similar cyclic behaviour for any $b$, where $b$ is a power of $2$, modulo $b^2$, and construct an algorithm to generate the set of P-Positions for this game. Let $a$ be a power of $2$. We prove our algorithm works by first showing that it holds for the first $a^2$ terms in the $(a,a)$ game. Next, we construct an ordered multiset for the $(2a,2a)$ game from the $a^2$ terms, and an inductive proof follows. Moreover, we conjecture that all cyclic games require $a$ to be a power of $2$, suggesting that there is no similar structure in the generalised $(b,b)$ game where $b$ isn't a power of $2$. Future directions for generalising this result would likely utilise numeration systems, particularly the PV numbers.


title: Gauge hierarchy problem in asymptotically safe gravity--the resurgence mechanism

abstract: The gauge hierarchy problem could find a solution within the scenario of asymptotic safety for quantum gravity. We discuss a "resurgence mechanism" where the running dimensionless coupling responsible for the Higgs scalar mass first decreases in the ultraviolet regime and subsequently increases in the infrared regime. A gravity induced large anomalous dimension plays a crucial role for the required "self-tuned criticality" in the ultraviolet regime beyond the Planck scale.


title: Wave propagation through disordered media without backscattering and intensity variations

abstract: A fundamental manifestation of wave scattering in a disordered medium is the highly complex intensity pattern the waves acquire due to multi-path interference. Here we show that these intensity variations can be entirely suppressed by adding disorder-specific gain and loss components to the medium. The resulting constant-intensity (CI) waves in such non-Hermitian scattering landscapes are free of any backscattering and feature perfect transmission through the disorder. An experimental demonstration of these unique wave states is envisioned based on spatially modulated pump beams that can flexibly control the gain and loss components in an active medium.


title: Blind Identification of SM and Alamouti STBC-OFDM Signals

abstract: This paper proposes an efficient identification algorithm for spatial multiplexing (SM) and Alamouti (AL) coded orthogonal frequency division multiplexing (OFDM) signals. The cross-correlation between the received signals from different antennas is exploited to provide a discriminating feature to identify SM-OFDM and AL-OFDM signals. The proposed algorithm requires neither estimation of the channel coefficients and noise power, nor the modulation of the transmitted signal. Moreover, it does not need space-time block code (STBC) or OFDM block synchronization. The effectiveness of the proposed algorithm is demonstrated through extensive simulation experiments in the presence of diverse transmission impairments, such as time and frequency offsets, Doppler frequency, and spatially correlated fading.


title: Young stars in the periphery of the Large Magellanic Cloud

abstract: Despite their close proximity, the complex interplay between the two Magellanic Clouds, the Milky Way, and the resulting tidal features, is still poorly understood. Recent studies have shown that the Large Magellanic Cloud (LMC) has a very extended disk strikingly perturbed in its outskirts. We search for recent star formation in the far outskirts of the LMC, out to ~30 degrees from its center. We have collected intermediate-resolution spectra of thirty-one young star candidates in the periphery of the LMC and measured their radial velocity, stellar parameters, distance and age. Our measurements confirm membership to the LMC of six targets, for which the radial velocity and distance values match well those of the Cloud. These objects are all young (10-50 Myr), main-sequence stars projected between 7 and 13 degrees from the center of the parent galaxy. We compare the velocities of our stars with those of a disk model, and find that our stars have low to moderate velocity differences with the disk model predictions, indicating that they were formed in situ. Our study demonstrates that recent star formation occurred in the far periphery of the LMC, where thus far only old objects were known. The spatial configuration of these newly-formed stars appears ring-like with a radius of 12 kpc, and a displacement of 2.6 kpc from the LMC's center. This structure, if real, would be suggestive of a star-formation episode triggered by an off-center collision between the Small Magellanic Cloud and the LMC's disk.


title: Bayesian forecasting of electoral outcomes with new parties' competition

abstract: This paper proposed a methodology to forecast electoral outcomes using the result of the combination of a fundamental model and a model-based aggregation of polls. We propose a Bayesian hierarchical structure for the fundamental model that synthesises data at the provincial, regional and national level. We use a Bayesian strategy to combine the fundamental model with the information coming for recent polls. This model can naturally be updated every time new information, for instance a new poll, becomes available. This methodology is well suited to deal with increasingly frequent situations in which new political parties enter an electoral competition, although our approach is general enough to accommodate any other electoral situation. We illustrate the advantages of our method using the 2015 Spanish Congressional Election in which two new parties ended up receiving 30\% of the votes. We compare the predictive performance of our model versus alternative models. In general the predictions of our model outperform the alternative specifications, including hybrid models that combine fundamental and polls models. Our predictions are, in relative terms, particularly accurate in predicting the seats obtained by each political party.


title: Quivers and equations a la Pl\"ucker for the Hilbert scheme

abstract: Several moduli spaces parametrizing linear subspaces of the projective space are cut out by linear and quadratic equations in their natural embedding: Grassmannians, Flag varieties, and Schubert varieties. The goal of this paper is to prove that a similar statement holds when one replaces linear subspaces with algebraic subschemes of the projective space. We exhibit equations of degree 1 and 2 that define schematically the Hilbert schemes $\mathbf{Hilb}^{p}_{\mathbb P^n}$ for all (possibly nonconstant) Hilbert polynomials $p$. The equations are reminiscent of the Pl\"ucker relations on the Grassmannians: they are built formally with permutations on indexes on the Pl\"ucker coordinates. Our method relies on a new construction of the Hilbert scheme as a quotient of a scheme of quiver representations.


title: Polarized $^3$He target and final state interactions in SiDIS

abstract: Jefferson Lab (JLab) is starting a wide experimental program aimed at studying the neutron's structure, with a great emphasis on the extraction of the parton transverse-momentum distributions (TMDs). To this end, Semi-inclusive deep-inelastic scattering (SiDIS) experiments on polarized $^3$He will be carried out, providing, together with proton and deuteron data, a sound flavor decomposition of the TMDs. Given the expected high statistical accuracy, it is crucial to disentangle nuclear and partonic degrees of freedom to get an accurate theoretical description of both initial and final states. In this contribution, a preliminary study of the Final State Interaction (FSI) in the standard SiDIS, where a pion (or a Kaon) is detected in the final state is presented, in view of constructing a realistic description of the nuclear initial and final states.


title: Different models of gravitating Dirac fermions in optical lattices

abstract: In this paper I construct the naive lattice Dirac Hamiltonian describing the propagation of fermions in a generic 2D optical metric for different lattice and flux-lattice geometries. First, I apply a top-down constructive approach that we first proposed in [Boada {\it et al.,New J. Phys.} {\bf 13} 035002 (2011)] to the honeycomb and to the brickwall lattices. I carefully discuss how gauge transformations that generalize momentum (and Dirac cone) shifts in the Brillouin zone in the Minkowski homogeneous case can be used in order to change the phases of the hopping. In particular, I show that lattice Dirac Hamiltonian for Rindler spacetime in the honeycomb and brickwall lattices can be realized by considering real and isotropic (but properly position dependent) tunneling terms. For completeness, I also discuss a suitable formulation of Rindler Dirac Hamiltonian in semi-synthetic brickwall and $\pi$-flux square lattices (where one of the dimension is implemented by using internal spin states of atoms as we originally proposed in [Boada {\it et al.,Phys. Rev. Lett. } {\bf 108} 133001 (2012)] and [Celi {\it et al.,Phys. Rev. Lett. } {\bf 112} 043001 (2012)]).


title: Nucleon tomography. What can we do better today than Rutherford 100 years ago?

abstract: A survey is presented on the current status of 3D nucleon tomography. Several research frontiers are addressed that dominate modern physics from theory to current and future experiments. We have now a much more detailed spatial image of the nucleon thanks to various theoretical concepts and methods to describe its charge distribution and spin decomposition which are highlighted here. The progress of lattice computations of these quantities is reported and the prospects of what we can come to expect in the near future are discussed. Multi-dimensional maps of the nucleon's partonic structure appear now within reach of forthcoming experiments.


title: A Mecke-type formula and Markov properties for STIT tessellation processes

abstract: An analogue of the classical Mecke formula for Poisson point processes is proved for the class of space-time STIT tessellation processes. From this key identity the Markov property of a class of associated random processes is derived. This in turn is used to determine the distribution of the number of internal vertices of the typical maximal tessellation segment.


title: Clipper: A Low-Latency Online Prediction Serving System

abstract: Machine learning is being deployed in a growing number of applications which demand real-time, accurate, and robust predictions under heavy query load. However, most machine learning frameworks and systems only address model training and not deployment. In this paper, we introduce Clipper, a general-purpose low-latency prediction serving system. Interposing between end-user applications and a wide range of machine learning frameworks, Clipper introduces a modular architecture to simplify model deployment across frameworks and applications. Furthermore, by introducing caching, batching, and adaptive model selection techniques, Clipper reduces prediction latency and improves prediction throughput, accuracy, and robustness without modifying the underlying machine learning frameworks. We evaluate Clipper on four common machine learning benchmark datasets and demonstrate its ability to meet the latency, accuracy, and throughput demands of online serving applications. Finally, we compare Clipper to the TensorFlow Serving system and demonstrate that we are able to achieve comparable throughput and latency while enabling model composition and online learning to improve accuracy and render more robust predictions.


title: Characterizing the maximum parameter of the total-variation denoising through the pseudo-inverse of the divergence

abstract: We focus on the maximum regularization parameter for anisotropic total-variation denoising. It corresponds to the minimum value of the regularization parameter above which the solution remains constant. While this value is well know for the Lasso, such a critical value has not been investigated in details for the total-variation. Though, it is of importance when tuning the regularization parameter as it allows fixing an upper-bound on the grid for which the optimal parameter is sought. We establish a closed form expression for the one-dimensional case, as well as an upper-bound for the two-dimensional case, that appears reasonably tight in practice. This problem is directly linked to the computation of the pseudo-inverse of the divergence, which can be quickly obtained by performing convolutions in the Fourier domain.


title: Nonlinear oscillations and waves in multi-species cold plasmas

abstract: The spatio-temporal evolution of nonlinear oscillations in multi-species plasma is revisited to provide more insight into the physics of phase mixing by constructing two sets of nonlinear solutions up to the second order. The first solution exhibits perfect oscillations in the linear regime and phase mixing appears only nonlinearly in the second order as a response to the ponderomotive forces. This response can be both direct and indirect. The indirect contribution of the ponderomotive forces appears through self-consistently generated low frequency fields. Furthermore, the direct and indirect contributions of the ponderomotive forces on the phase mixing process is explored and it is found that the indirect contribution is negligible in an electron-ion plasma and it disappears in the case of electron-positron plasma, yet represents an equal contribution in the electron-positron-ion plasma. However, the second solution does not exhibit any phase mixing due to the absence of ponderomotive forces but results in an undistorted nonlinear traveling wave. These investigations have relevance for laboratory/astrophysical multi-species plasma.


title: Minimum energy control for complex networks

abstract: The aim of this paper is to shed light on the problem of controlling a complex network with minimal control energy. We show first that the control energy depends on the time constant of the modes of the network, and that the closer the eigenvalues are to the imaginary axis of the complex plane, the less energy is required for complete controllability. In the limit case of networks having all purely imaginary eigenvalues (e.g. networks of coupled harmonic oscillators), several constructive algorithms for minimum control energy driver node selection are developed. A general heuristic principle valid for any directed network is also proposed: the overall cost of controlling a network is reduced when the controls are concentrated on the nodes with highest ratio of weighted outdegree vs indegree.


title: Internally connected graphs and the Kashiwara-Vergne Lie algebra

abstract: It is conjectured that the Kashiwara-Vergne Lie algebra $\widehat{\mathfrak{krv}}_2$ is isomorphic to the direct sum of the Grothendieck-Teichm\"uller Lie algebra $\mathfrak{grt}_1$ and a one-dimensional Lie algebra. In this paper, we use the graph complex of internally connected graphs to define a nested sequence of Lie subalgebras of $\widehat{\mathfrak{krv}}_2$ whose intersection is $\mathfrak{grt}_1$, thus giving a way to interpolate between these two Lie algebras.


title: Is a typical bi-Perron number a pseudo-Anosov dilatation?

abstract: In this note, we deduce a partial answer to the question in the title. In particular, we show that asymptotically almost all bi-Perron algebraic unit whose characteristic polynomial has degree at most $2n$ do not correspond to dilatations of pseudo-Anosov maps on a closed orientable surface of genus $n$ for $n\geq 10$. As an application of the argument, we also obtain a statement on the number of closed geodesics of the same length in the moduli space of area one abelian differentials for low genus cases.


title: An Epidemiological Mechanistic Model of Box Office Dynamics

abstract: In this paper we propose a mechanistic model that links micro social interactions to macro observables in the case of diffusion of film-going decisions. We devise a generalized epidemic model to capture the temporal evolution of box office revenues. The model adds social influence and memory effects to conventional epidemic models. Fitting the model to a temporal data set containing domestic weekly revenue of the 5000 top US-grossing films of all time, we find that a two-parameter model can capture a remarkable portion of the observed variance in the data. Using the distribution of the estimated parameters for different genres, we then present a predictive model which provides reasonable a-priori estimates of future sale as a function of time.


title: Robust Multiplication-based Tests for Reed-Muller Codes

abstract: We consider the following multiplication-based tests to check if a given function $f: \mathbb{F}_q^n\to \mathbb{F}_q$ is a codeword of the Reed-Muller code of dimension $n$ and order $d$ over the finite field $\mathbb{F}_q$ for prime $q$ (i.e., $f$ is the evaluation of a degree-$d$ polynomial over $\mathbb{F}_q$ for $q$ prime). * $\mathrm{Test}_{e,k}$: Pick $P_1,\ldots,P_k$ independent random degree-$e$ polynomials and accept iff the function $fP_1\cdots P_k$ is the evaluation of a degree-$(d+ek)$ polynomial (i.e., is a codeword of the Reed-Muller code of dimension $n$ and order $(d+ek)$). We prove the robust soundness of the above tests for large values of $e$, answering a question of Dinur and Guruswami [Israel Journal of Mathematics, 209:611-649, 2015]. Previous soundness analyses of these tests were known only for the case when either $e=1$ or $k=1$. Even for the case $k=1$ and $e>1$, earlier soundness analyses were not robust. We also analyze a derandomized version of this test, where (for example) the polynomials $P_1,\dots,P_k$ can be the same random polynomial $P$. This generalizes a result of Guruswami et al. [SIAM J. Comput., 46(1):132-159, 2017]. One of the key ingredients that go into the proof of this robust soundness is an extension of the standard Schwartz-Zippel lemma over general finite fields $\mathbb{F}_q$, which may be of independent interest.


title: A single-state semi-quantum key distribution protocol and its security proof

abstract: Semi-quantum key distribution (SQKD) can share secret keys by using less quantum resource than its fully quantum counterparts, and this likely makes SQKD become more practical and realizable. In this paper, we present a new SQKD protocol by introducing the idea of B92 into semi-quantum key distribution and prove its unconditional security. In this protocol, the sender Alice just sends one qubit to the classical Bob and Bob just prepares one state in the preparation process. Indeed the classical user's measurement is not necessary either. This protocol can reduce some quantum communication and make it easier to be implemented. It can be seen as the semi-quantum version of B92 protocol, comparing to the protocol BKM2007 as the semi-quantum version of BB84 in fully quantum cryptography. We verify it has higher key rate and therefore is more efficient. Specifically we prove it is unconditionally secure by computing a lower bound of the key rate in the asymptotic scenario from information theory aspect. Then we can find a threshold value of errors such that for all error rates less than this value, the secure key can be established between the legitimate users definitely. We make an illustration of how to compute the threshold value in case of the reverse channel is a depolarizing one with parameter $p$. Though the threshold value is a little smaller than those of some existed SQKD protocols, it can be comparable to the B92 protocol in fully quantum cryptography.


title: Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement

abstract: A broadcasting multiple blind signature scheme based on quantum GHZ entanglement has been presented recently by Tian et al. It is said that the scheme's unconditional security is guaranteed by adopting quantum key preparation, quantum encryption algorithm and quantum entanglement. In this paper, we prove that each signatory can get the signed message just by an intercept-resend attack. Then, we show there still exists some participant attacks and external attacks. Specifically, we verify the message sender Alice can impersonate each signatory to sign the message at will, and so is the signature collector Charlie. Also, we demonstrate that the receiver Bob can forge the signature successfully, and with respect to the external attacks, the eavesdropper Eve can modify the signature at random. Besides, we discover Eve can change the signed message at will, and Eve can impersonate Alice as the message sender without being discovered. In particular, we propose an improved scheme based on the original one and show that it is secure against not only the attacks mentioned above but also some collusion attacks.


title: Transition from Fireball to Poynting-flux-dominated Outflow in Three-Episode GRB 160625B

abstract: The ejecta composition is an open question in gamma-ray bursts (GRB) physics. Some GRBs possess a quasi-thermal spectral component in the time-resolved spectral analysis, suggesting a hot fireball origin. Others show a featureless non-thermal spectrum known as the "Band" function, consistent with a synchrotron radiation origin and suggesting that the jet is Poynting-flux-dominated at the central engine and likely in the emission region as well. There are also bursts showing a sub-dominant thermal component and a dominant synchrotron component suggesting a likely hybrid jet composition. Here we report an extraordinarily bright GRB 160625B, simultaneously observed in gamma-rays and optical wavelengths, whose prompt emission consists of three isolated episodes separated by long quiescent intervals, with the durations of each "sub-burst" being $\sim$ 0.8 s, 35 s, and 212 s, respectively. Its high brightness (with isotropic peak luminosity L$_{\rm p, iso}\sim 4\times 10^{53}$ erg/s) allows us to conduct detailed time-resolved spectral analysis in each episode, from precursor to main burst and to extended emission. The spectral properties of the first two sub-bursts are distinctly different, allowing us to observe the transition from thermal to non-thermal radiation between well-separated emission episodes within a single GRB. Such a transition is a clear indication of the change of jet composition from a fireball to a Poynting-flux-dominated jet.


title: Spectral Classification of Coupling Regimes in the Quantum Rabi Model

abstract: The quantum Rabi model is in the scientific spotlight due to the recent theoretical and experimental progress. Nevertheless, a full-fledged classification of its coupling regimes remains as a relevant open question. We propose a spectral classification dividing the coupling regimes into three regions based on the validity of perturbative criteria on the quantum Rabi model, which allows us the use of exactly solvable effective Hamiltonians. These coupling regimes are i) the perturbative ultrastrong coupling regime which comprises the Jaynes-Cummings model, ii) a region where non-perturbative ultrastrong and non-perturbative deep strong coupling regimes coexist, and iii) the perturbative deep strong coupling regime. We show that this spectral classification depends not only on the ratio between the coupling strength and the natural frequencies of the unperturbed parts, but also on the energy to which the system can access. These regimes additionally discriminate the completely different behaviors of several static physical properties, namely the total number of excitations, the photon statistics of the field, and the cavity-qubit entanglement. Finally, we explain the dynamical properties which are traditionally associated to the deep strong coupling regime, such as the collapses and revivals of the state population, in the frame of the proposed spectral classification.


title: Characterization of the inner disk around HD 141569 A from Keck/NIRC2 L-band vortex coronagraphy

abstract: HD 141569 A is a pre-main sequence B9.5 Ve star surrounded by a prominent and complex circumstellar disk, likely still in a transition stage from protoplanetary to debris disk phase. Here, we present a new image of the third inner disk component of HD 141569 A made in the L' band (3.8 micron) during the commissioning of the vector vortex coronagraph recently installed in the near-infrared imager and spectrograph NIRC2 behind the W.M. Keck Observatory Keck II adaptive optics system. We used reference point spread function subtraction, which reveals the innermost disk component from the inner working distance of $\simeq 23$ AU and up to $\simeq 70$ AU. The spatial scale of our detection roughly corresponds to the optical and near-infrared scattered light, thermal Q, N and 8.6 micron PAH emission reported earlier. We also see an outward progression in dust location from the L'-band to the H-band (VLT/SPHERE image) to the visible (HST/STIS image), likely indicative of dust blowout. The warm disk component is nested deep inside the two outer belts imaged by HST NICMOS in 1999 (respectively at 406 and 245 AU). We fit our new L'-band image and spectral energy distribution of HD 141569 A with the radiative transfer code MCFOST. Our best-fit models favor pure olivine grains, and are consistent with the composition of the outer belts. While our image shows a putative very-faint point-like clump or source embedded in the inner disk, we did not detect any true companion within the gap between the inner disk and the first outer ring, at a sensitivity of a few Jupiter masses.


title: Insights from Asteroseismology of Massive Stars: The Need for Additional Angular Momentum Transport Mechanisms

abstract: In massive stars, rotation and oscillatory waves can have a tight interplay. In order to assess the importance of additional angular momentum transport mechanisms other than rotation, we compare the asteroseismic properties of a uniformly rotating model and a differentially rotating one. Accordingly, we employ the observed period spacing of 36 dipole g-modes in the Kepler $\sim3.2$ M$_\odot$ target KIC 7760680 to discriminate between these two models. We favor the uniformly rotating model, which fully satisfies all observational constraints. Therefore, efficient angular momentum transport by additional mechanisms such as internal gravity waves, heat-driven modes and magnetic field is needed during early main sequence evolution of massive stars.


title: The W. M. Keck Observatory infrared vortex coronagraph and a first image of HIP79124 B

abstract: An optical vortex coronagraph has been implemented within the NIRC2 camera on the Keck II telescope and used to carry out on-sky tests and observations. The development of this new L'-band observational mode is described, and an initial demonstration of the new capability is presented: a resolved image of the low-mass companion to HIP79124, which had previously been detected by means of interferometry. With HIP79124 B at a projected separation of 186.5 mas, both the small inner working angle of the vortex coronagraph and the related imaging improvements were crucial in imaging this close companion directly. Due to higher Strehl ratios and more relaxed contrasts in L' band versus H band, this new coronagraphic capability will enable high-contrast small-angle observations of nearby young exoplanets and disks on a par with those of shorter-wavelength extreme adaptive optics coronagraphs.


title: Following Gaze Across Views

abstract: Following the gaze of people inside videos is an important signal for understanding people and their actions. In this paper, we present an approach for following gaze across views by predicting where a particular person is looking throughout a scene. We collect VideoGaze, a new dataset which we use as a benchmark to both train and evaluate models. Given one view with a person in it and a second view of the scene, our model estimates a density for gaze location in the second view. A key aspect of our approach is an end-to-end model that solves the following sub-problems: saliency, gaze pose, and geometric relationships between views. Although our model is supervised only with gaze, we show that the model learns to solve these subproblems automatically without supervision. Experiments suggest that our approach follows gaze better than standard baselines and produces plausible results for everyday situations.


title: Non-isotrivial elliptic surfaces with non-zero average root number

abstract: We consider the problem of finding $1$-parameter families of elliptic curves whose root number does not average to zero as the parameter varies in $\mathbb{Z}$. We classify all such families when the degree of the coefficients (in the parameter $t$) is less than or equal to $2$ and we compute the rank over $\mathbb{Q}(t)$ of all these families. Also, we compute explicitly the average of the root numbers for some of these families highlighting some special cases. Finally, we prove some results on the possible values average root numbers can take, showing for example that all rational number in $[-1,1]$ are average root numbers for some $1$-parameter family.


title: Resilience of the quantum Rabi model in circuit QED

abstract: In circuit quantum electrodynamics (circuit QED), an artificial "circuit atom" can couple to a quantized microwave radiation much stronger than its real atomic counterpart. The celebrated quantum Rabi model describes the simplest interaction of a two-level system with a single-mode boson field. When the coupling is large enough, the bare multilevel structure of a realistic circuit atom cannot be ignored even if the circuit is strongly anharmonic. We explored this situation theoretically for flux (fluxonium) and charge (Cooper pair box) type multi-level circuits tuned to their respective flux/charge degeneracy points. We identified which spectral features of the quantum Rabi model survive and which are renormalized for large coupling. Despite significant renormalization of the low-energy spectrum in the fluxonium case, the key quantum Rabi feature -- nearly-degenerate vacuum consisting of an atomic state entangled with a multi-photon field -- appears in both types of circuits when the coupling is sufficiently large. Like in the quantum Rabi model, for very large couplings the entanglement spectrum is dominated by only two, nearly equal eigenvalues, in spite of the fact that a large number of bare atomic states are actually involved in the atom-resonator ground state. We interpret the emergence of the two-fold degeneracy of the vacuum of both circuits as an environmental suppression of flux/charge tunneling due to their dressing by virtual low-/high-impedance photons in the resonator. For flux tunneling, the dressing is nothing else than the shunting of a Josephson atom with a large capacitance of the resonator. Suppression of charge tunneling is a manifestation of the dynamical Coulomb blockade of transport in tunnel junctions connected to resistive leads.


title: Hard Capacitated Set Cover and Uncapacitated Geometric Set Cover

abstract: The first part of this report describes the following result that, logarithmic approximation factor for hard capacitated set cover can be achieved from Wolsey's work [9], using a simpler and more intuitive analysis. We further show in our work, that O(log n) approximation factor can be achieved for the same problem by applying analysis of general set cover to analyze Wolsey's algorithm [5]. This work is based on the key observation that we make in Lemma 3 of this report. The second part of the report describes the geometric hitting set problem, where X is a ground set of points in a plane and S is a set of axis parallel rectangles. It is shown that epsilon-nets of size O(1/epsilon log log 1/epsilon) can be computed in polynomial time. Applying Bronnimann and Goodrich result [3] gives the hitting set of size O(log log OPT) for this problem.


title: Quantum and thermal melting of stripe forming systems with competing long ranged interactions

abstract: We study the quantum melting of stripe phases in models with competing short range and long range interactions decaying with distance as $1/r^{\sigma}$ in two space dimensions. At zero temperature we find a two step disordering of the stripe phases with the growth of quantum fluctuations. A quantum critical point separating a phase with long range positional order from a phase with long range orientational order is found when $\sigma \leq 4/3$, which includes the Coulomb interaction case $\sigma=1$. For $\sigma > 4/3$ the transition is first order, which includes the dipolar case $\sigma=3$. Another quantum critical point separates the orientationally ordered (nematic) phase from a quantum disordered phase for any value of $\sigma$. Critical exponents as a function of $\sigma$ are computed at one loop order in an $\epsilon$ expansion and, whenever available, compared with known results. For finite temperatures it is found that for $\sigma \geq 2$ orientational order decays algebraically with distance until a critical Kosterlitz-Thouless line. Nevertheless, for $\sigma < 2$ it is found that long range orientational order can exist at finite temperatures until a critical line which terminates at the quantum critical point at $T=0$. The temperature dependence of the critical line near the quantum critical point is determined as a function of $\sigma$.


title: Decoherence and pointer states in small antiferromagnets: A benchmark test

abstract: We study the decoherence process of a four spin-1/2 antiferromagnet that is coupled to an environment of spin-1/2 particles. The preferred basis of the antiferromagnet is discussed in two limiting cases and we identify two $\it{exact}$ pointer states. Decoherence near the two limits is examined whereby entropy is used to quantify the $\it{robustness}$ of states against environmental coupling. We find that close to the quantum measurement limit, the self-Hamiltonian of the system of interest can become dynamically relevant on macroscopic timescales. We illustrate this point by explicitly constructing a state that is more robust than (generic) states diagonal in the system-environment interaction Hamiltonian.


title: Lecture Notes on Mathematical Methods of Classical Physics

abstract: These notes grew out of a lecture course on mathematical methods of classical physics for students of mathematics and mathematical physics at the master's level. Also, physicists with a strong interest in mathematics may find this text useful as a resource complementary to existing textbooks on classical physics. Topics include Lagrangian Mechanics, Hamiltonian Mechanics, Hamilton-Jacobi Theory, as well as Classical Field Theory formulated in the language of jet bundles. The latter topic also covers important examples of field theories such as sigma models, gauge theory, and Einstein's theory of general relativity.


title: Evaluating the Impact of AbuseHUB on Botnet Mitigation

abstract: This documents presents the final report of a two-year project to evaluate the impact of AbuseHUB, a Dutch clearinghouse for acquiring and processing abuse data on infected machines. The report was commissioned by the Netherlands Ministry of Economic Affairs, a co-funder of the development of AbuseHUB. AbuseHUB is the initiative of 9 Internet Service Providers, SIDN (the registry for the .nl top-level domain) and Surfnet (the national research and education network operator). The key objective of AbuseHUB is to improve the mitigation of botnets by its members. We set out to assess whether this objective is being reached by analyzing malware infection levels in the networks of AbuseHUB members and comparing them to those of other Internet Service Providers (ISPs). Since AbuseHUB members together comprise over 90 percent of the broadband market in the Netherlands, it also makes sense to compare how the country as a whole has performed compared to other countries. This report complements the baseline measurement report produced in December 2013 and the interim report from March 2015. We are using the same data sources as in the interim report, which is an expanded set compared to the earlier baseline report and to our 2011 study into botnet mitigation in the Netherlands.


title: Reduced Donaldson-Thomas invariants and the ring of dual numbers

abstract: Let $A$ be an abelian variety. We introduce $A$-equivariant Grothendieck rings and $A$-equivariant motivic Hall algebras, and endow them with natural integration maps to the ring of dual numbers. The construction allows a systematic treatment of reduced Donaldson-Thomas invariants by Hall algebra techniques. We calculate reduced Donaldson-Thomas invariants for $\mathrm{K3} \times E$ and abelian threefolds for several imprimitive curve classes. This verifies (in special cases) multiple cover formulas conjectured by Oberdieck-Pandharipande and Bryan-Oberdieck-Pandharipande-Yin.


title: A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis

abstract: Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be tested extensively against their safety requirements to ensure a high level of system safety. However, performing testing exhaustively to test all software behaviours is impossible. Numerous testing approaches exist. However, they do not directly concern the information derived during the safety analysis. STPA (Systems-Theoretic Process Analysis) is a unique safety analysis approach based on system and control theory, and was developed to identify unsafe scenarios of a complex system including software. In this paper, we present a systematic and semi-automatic testing approach based on STPA to generate test cases from the STPA safety analysis results to help software and safety engineers to recognize and reduce the associated software risks. We also provide an open-source safety-based testing tool called STPA TCGenerator to support the proposed approach. We illustrate the proposed approach with a prototype of a software of the Adaptive Cruise Control System (ACC) with a stop-and-go function with a Lego-Mindstorms EV3 robot.


title: Entropy evolution in the magnetic phases of partially frustrated CePdAl

abstract: In the heavy-fermion metal CePdAl long-range antiferromagnetic order coexists with geometric frustration of one third of the Ce moments. At low temperatures the Kondo effect tends to screen the frustrated moments. We use magnetic fields $B$ to suppress the Kondo screening and study the magnetic phase diagram and the evolution of the entropy with $B$ employing thermodynamic probes. We estimate the frustration by introducing a definition of the frustration parameter based on the enhanced entropy, a fundamental feature of frustrated systems. In the field range where the Kondo screening is suppressed the liberated moments tend to maximize the magnetic entropy and strongly enhance the frustration. Based on our experiments, this field range may be a promising candidate to search for a quantum spin liquid.


title: Integrability of a generalized short pulse equation revisited

abstract: We further generalize the generalized short pulse equation studied recently in [Commun. Nonlinear Sci. Numer. Simulat. 39 (2016) 21-28; arXiv:1510.08822], and find in this way two new integrable nonlinear wave equations which are transformable to linear Klein-Gordon equations.


title: Automorphism groups of countable structures and groups of measurable functions

abstract: Let $G$ be a topological group and let $\mu$ be the Lebesgue measure on the interval $[0,1]$. We let $L_0(G)$ to be the topological group of all $\mu$-equivalence classes of $\mu$-measurable functions defined on [0,1] with values in $G$, taken with the pointwise multiplication and the topology of convergence in measure. We show that for a Polish group $G$, if $L_0(G)$ has ample generics, then $G$ has ample generics, thus the converse to a result of Ka\"{i}chouh and Le Ma\^{i}tre. We further study topological similarity classes and conjugacy classes for many groups ${\rm{Aut}}(M)$ and $L_0({\rm{Aut}}(M))$, where $M$ is a countable structure. We make a connection between the structure of groups generated by tuples, the Hrushovski property, and the structure of their topological similarity classes. In particular, we prove the trichotomy that for every tuple $ \bar{f}$ of ${\rm{Aut}}(M)$, where $M$ is a countable structure such that algebraic closures of finite sets are finite, either the countable group $\langle \bar{f} \rangle$ is precompact, or it is discrete, or the similarity class of $\bar{f}$ is meager, in particular the conjugacy class of $\bar{f}$ is meager. We prove an analogous trichotomy for groups $L_0({\rm{Aut}}(M))$.


title: History of the mass ejection in K 4-37: from the AGB to the evolved planetary nebula phase

abstract: We present narrow-, broad-band, and WISE archive images, and high- and intermediate-resolution long-slit spectra of K 4-37, a planetary nebula that has never been analyzed in detail. Although K 4-37 appears bipolar, the morphokinematical analysis discloses the existence of three distinct axes and additional particular directions in the object, indicating that K 4-37 is a multi-axis planetary nebula that has probably been shaped by several bipolar outflows at different directions. A 4-6 M$_{\odot}$ main-sequence progenitor is estimated from the derived high nebular He and N abundances, and very high N/O abundance ratio ($\sim$2.32). The general properties are compatible with K 4-37 being a highly evolved planetary nebula located at $\sim$14 kpc. The WISE image at 22 $\mu$m reveals K 4-37 to be surrounded by a large ($\sim$13$\times$8 pc$^2$) elliptical detached shell probably related to material ejected from the AGB progenitor. The observed elliptical morphology suggests deformation of an originally spherical AGB shell by the ISM magnetic field or by the influence of a companion. We compare K 4-37 and NGC 6309 and found remarkable similarities in their physical structure but noticeably different chemical abundances that indicate very different progenitor mass. This strongly suggests that, irrespective of the initial mass, their (presumably binary) central stars have shared a very similar mass ejection history.


title: Low-rank matrix recovery via rank one tight frame measurements

abstract: The task of reconstructing a low rank matrix from incomplete linear measurements arises in areas such as machine learning, quantum state tomography and in the phase retrieval problem. In this note, we study the particular setup that the measurements are taken with respect to rank one matrices constructed from the elements of a random tight frame. We consider a convex optimization approach and show both robustness of the reconstruction with respect to noise on the measurements as well as stability with respect to passing to approximately low rank matrices. This is achieved by establishing a version of the null space property of the corresponding measurement map.


title: A comprehensive safety engineering approach for software-intensive systems based on STPA

abstract: Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against its safety requirements which are identified by safety analysis, to ensure that potential hazardous causes cannot occur. The complexity of software makes defining appropriate software safety requirements with traditional safety analysis techniques difficult. STPA (Systems-Theoretic Processes Analysis) is a unique safety analysis approach that has been developed to identify system hazards, including the software-related hazards. This paper presents a comprehensive safety engineering approach based on STPA, including software testing and model checking approaches for the purpose of developing safe software. The proposed approach can be embedded within a defined software engineering process or applied to existing software systems, allow software and safety engineers integrate the analysis of software risks with their verification. The application of the proposed approach is illustrated with an automotive software controller.


title: Indirect Signals from Solar Dark Matter Annihilation to Long-lived Right-handed Neutrinos

abstract: We study indirect detection signals from solar annihilation of dark matter (DM) particles into light right-handed (RH) neutrinos with a mass in a $1-5$ GeV range. These RH neutrinos can have a sufficiently long lifetime to allow them to decay outside the Sun and their delayed decays can result in a signal in gamma rays from the otherwise `dark' solar direction, and also a neutrino signal that is not suppressed by the interactions with solar medium. We find that the latest Fermi-LAT and IceCube results place limits on the gamma ray and neutrino signals, respectively. Combined photon and neutrino bounds can constrain the spin-independent DM-nucleon elastic scattering cross section better than direct detection experiments for DM masses from 200 GeV up to several TeV. The bounds on spin-dependent scattering are also much tighter than the strongest limits from direct detection experiments.


title: Discriminating Z' signals in semileptonic top pair production at the LHC

abstract: We investigate the sensitivity of top pair production to the properties of different Beyond the Standard Model theories embedding a new neutral boson. We include six-fermion decay, and account for the full tree-level Standard Model ttbar interference, with all intermediate particles allowed off-shell. We focus on those observables best suited to the lepton-plus-jets final state at the LHC, and simulate the resulting experimental conditions, including kinematic requirements and top quark pair reconstruction in the presence of missing transverse energy and combinatorial ambiguity in quark-top assignment. In particular, we demonstrate the use of asymmetry observables to probe the coupling structure of a new neutral resonance, in addition to cases in which these asymmetries may even form complementary discovery observables in combination with the differential cross section.