title: The decay $\tau \rightarrow K^{-}\pi^{0}\nu_{\tau}$ in the Nambu-Jona-Lasinio model

abstract: In this paper, the width of the decay $\tau \rightarrow K^{-}\pi^{0}\nu_{\tau}$ is calculated in the framework of the Nambu-Jona-Lasinio model. The contributions of the intermediate vector $K^{*}(892)$ and scalar $K_{0}^{*}(800)$ mesons are taken into account. It is shown that the main contribution to the width of this decay is given by the subprocesses with the intermediate $W$-boson and vector $K^{*}(892)$ meson. The scalar channel with the intermediate $K_{0}^{*}(800)$ meson gives an insignificant contribution. In Appendix, it is shown that the contribution of the subprocess with the intermediate ${K^{*}}'(1410)$ meson is negligible as well. The obtained results are in satisfactory agreement with the experimental data.


title: Strong magnetic frustration and anti-site disorder causing spin-glass behavior in honeycomb Li2RhO3

abstract: With large spin-orbit coupling, the $t_{2g}^5$ electron configuration in $d$-metal oxides is prone to highly anisotropic exchange interactions and exotic magnetic properties. In $5d^5$ iridates, given the existing variety of crystal structures, the magnetic anisotropy can be tuned from antisymmetric to symmetric Kitaev-type, with interaction strengths that outsize the isotropic terms. By many-body electronic-structure calculations we here address the nature of the magnetic exchange and the intriguing spin-glass behavior of Li$_2$RhO$_3$, a $4d^5$ honeycomb oxide. For pristine crystals without Rh-Li site inversion, we predict a dimerized ground state as in the isostructural $5d^5$ iridate Li$_2$IrO$_3$, with triplet spin dimers effectively placed on a frustrated triangular lattice. With Rh-Li anti-site disorder, we explain the observed spin-glass phase as a superposition of different, nearly degenerate symmetry-broken configurations.


title: On the complexity of heterogeneous multidimensional quantitative games

abstract: In this paper, we study two-player zero-sum turn-based games played on a finite multidimensional weighted graph. In recent papers all dimensions use the same measure, whereas here we allow to combine different measures. Such heterogeneous multidimensional quantitative games provide a general and natural model for the study of reactive system synthesis. We focus on classical measures like the Inf, Sup, LimInf, and LimSup of the weights seen along the play, as well as on the window mean-payoff (WMP) measure. This new measure is a natural strengthening of the mean-payoff measure. We allow objectives defined as Boolean combinations of heterogeneous constraints. While multidimensional games with Boolean combinations of mean-payoff constraints are undecidable, we show that the problem becomes EXPTIME-complete for DNF/CNF Boolean combinations of heterogeneous measures taken among {WMP, Inf, Sup, LimInf, LimSup} and that exponential memory strategies are sufficient for both players to win. We provide a detailed study of the complexity and the memory requirements when the Boolean combination of the measures is replaced by an intersection. EXPTIME-completeness and exponential memory strategies still hold for the intersection of measures in {WMP, Inf, Sup, LimInf, LimSup}, and we get PSPACE-completeness when WMP measure is no longer considered. To avoid EXPTIME-or PSPACE-hardness, we impose at most one occurrence of WMP measure and fix the number of Sup measures, and we propose several refinements (on the number of occurrences of the other measures) for which we get polynomial algorithms and lower memory requirements. For all the considered classes of games, we also study parameterized complexity.


title: Quantum filtering for multiple measurements driven by fields in single-photon states

abstract: In this paper, we derive the stochastic master equations for quantum systems driven by a single-photon input state which is contaminated by quantum vacuum noise. To improve estimation performance, quantum filters based on multiple-channel measurements are designed. Two cases, namely diffusive plus Poissonian measurements and two diffusive measurements, are considered.


title: On the use of BGP communities for fine-grained inbound traffic engineering

abstract: In the context of Border Gateway Protocol (BGP), inbound inter-domain traffic engineering (TE) remains a difficult problem without panacea. Each of previously investigated method solves a part of the problem. In this study, we try to complement the map by exploring the use of BGP communities. With BGP community based polices enabled in transit provider networks, we are able to manipulate incoming traffic for stub Autonomous System (AS) in a finer granularity than known techniques by customizing the AS-paths perceived by remote networks. We analyze the constraints using this technique, along with its effectiveness and granularity.


title: An A Posteriori Analysis of C^0 Interior Penalty Methods for the Obstacle Problem of Clamped Kirchhoff Plates

abstract: We develop an a posteriori analysis of C^0 interior penalty methods for the displacement obstacle problem of clamped Kirchhoff plates. We show that a residual based error estimator originally designed for C^0 interior penalty methods for the boundary value problem of clamped Kirchhoff plates can also be used for the obstacle problem. We obtain reliability and efficiency estimates for the error estimator and introduce an adaptive algorithm based on this error estimator. Numerical results indicate that the performance of the adaptive algorithm is optimal for both quadratic and cubic C^0 interior penalty methods.


title: On the support of Pollicott-Ruelle resonant states for Anosov flows

abstract: We show that all generalized Pollicott-Ruelle resonant states of a topologically transitiv $C^\infty$-Anosov flow with an arbitrary $C^\infty$ potential, have full support.


title: Dreaming of atmospheres

abstract: Here we introduce the RobERt (Robotic Exoplanet Recognition) algorithm for the classification of exoplanetary emission spectra. Spectral retrievals of exoplanetary atmospheres frequently requires the preselection of molecular/atomic opacities to be defined by the user. In the era of open-source, automated and self-sufficient retrieval algorithms, manual input should be avoided. User dependent input could, in worst case scenarios, lead to incomplete models and biases in the retrieval. The RobERt algorithm is based on deep belief neural (DBN) networks trained to accurately recognise molecular signatures for a wide range of planets, atmospheric thermal profiles and compositions. Reconstructions of the learned features, also referred to as `dreams' of the network, indicate good convergence and an accurate representation of molecular features in the DBN. Using these deep neural networks, we work towards retrieval algorithms that themselves understand the nature of the observed spectra, are able to learn from current and past data and make sensible qualitative preselections of atmospheric opacities to be used for the quantitative stage of the retrieval process.


title: Spontaneous symmetry breaking in nonlinear systems: An overview and a simple model

abstract: The paper combines two topics belonging to the general theme of the spontaneous symmetry breaking (SSB) in systems including two basic competing ingredients: the self-focusing cubic nonlinearity and a double-well-potential (DWP) structure. Such systems find diverse physical realizations, chiefly in optical waveguides, made of a nonlinear material and featuring a transverse DWP structure, and in models of atomic BEC with attractive inter-atomic interactions, loaded into a pair of symmetric potential wells coupled by tunneling across the separating barrier. With the increase of the nonlinearity strength, the SSB occurs at a critical value of the strength. The first part of the paper offers a brief overview of the topic. The second part presents a model which is designed as the simplest one capable to produce the SSB phenomenology in the one-dimensional geometry. The model is based on the DWP built as an infinitely deep potential box, which is split into two wells by a delta-functional barrier at the central point. Approximate analytical predictions for the SSB are produced for two limit cases: strong (deep) or weak (shallow) splitting of the potential box by the central barrier. Critical values of the strength of the nonlinearity at the SSB point, represented by the norm of the stationary wave field, are found in both cases (the critical strength is small in the former case, and large in the latter one). For the intermediate case, a less accurate variational approximation (VA) is developed.


title: Uniform exponential stability of Galerkin approximations for damped wave systems

abstract: We consider the numerical approximation of linear damped wave systems by Galerkin approximations in space and appropriate time-stepping schemes. Based on a dissipation estimate for a modified energy, we prove exponential decay of the physical energy on the continuous level provided that the damping is effective everywhere in the domain. The methods of proof allow us to analyze also a class of Galerkin approximations based on a mixed variational formulation of the problem. Uniform exponential stability can be guaranteed for these approximations under a general compatibility condition on the discretization spaces. As a particular example, we discuss the discretization by mixed finite element methods for which we obtain convergence and uniform error estimates under minimal regularity assumptions. We also prove unconditional and uniform exponential stability for the time discretization by certain one-step methods. The validity of the theoretical results as well as the necessity of some of the conditions required for our analysis are demonstrated in numerical tests.


title: Energy-Efficient User Association with Open Loop Power Control for Uplink Heterogeneous Cellular Networks

abstract: Energy reduction for wireless systems becomes more and more important due to its impact on the operation cost and global carbon footprint. In this paper, we investigate three kinds of energy-efficient association schemes under open loop power control for uplink heterogeneous cellular networks, which are formulated as a whole energy efficiency maximization problem, a sum energy efficiency maximization problem and a utility maximization problem respectively. The third case takes account of load balancing level and user's fairness in the energy-efficient association. Considering that the first problem is in a fractional mixed-integer form, we introduce an energy efficiency parameter to convert it into a parametric subtractive form, and then design an effective iterative algorithm to achieve the optimal solutions. As for the third problem, we first introduce a dual variable to decouple the constraint and then develop a distributed algorithm using dual decomposition. In addition, we also give the convergence proof for the proposed algorithms. In order to confirm the effectiveness of energy-efficient user association algorithms, we introduce other association rules for comparison, and investigate the influences of different parameters on the association performance of these association rules.


title: The Automatic Statistician: A Relational Perspective

abstract: Gaussian Processes (GPs) provide a general and analytically tractable way of modeling complex time-varying, nonparametric functions. The Automatic Bayesian Covariance Discovery (ABCD) system constructs natural-language description of time-series data by treating unknown time-series data nonparametrically using GP with a composite covariance kernel function. Unfortunately, learning a composite covariance kernel with a single time-series data set often results in less informative kernel that may not give qualitative, distinctive descriptions of data. We address this challenge by proposing two relational kernel learning methods which can model multiple time-series data sets by finding common, shared causes of changes. We show that the relational kernel learning methods find more accurate models for regression problems on several real-world data sets; US stock data, US house price index data and currency exchange rate data.


title: Scalable BGP Prefix Selection for Effective Inter-domain Traffic Engineering

abstract: Inter-domain Traffic Engineering for multi-homed networks faces a scalability challenge, as the size of BGP routing table continue to grow. In this context, the choice of the best path must be made potentially for each destination prefix, requiring all available paths to be characterised (e.g., through measurements) and compared with each other. Fortunately, it is well-known that a few number of prefixes carry the larger part of the traffic. As a natural consequence, to engineer large volume of traffic only few prefixes need to be managed. Yet, traffic characteristics of a given prefix can greatly vary over time, and little is known on the dynamism of traffic at this aggregation level, including predicting the set of the most significant prefixes in the near future. %based on past observations. Sophisticated prediction methods won't scale in such context. In this paper, we study the relationship between prefix volume, stability, and predictability, based on recent traffic traces from nine different networks. Three simple and resource-efficient methods to select the prefixes associated with the most important foreseeable traffic volume are then proposed. Such proposed methods allow to select sets of prefixes with both excellent representativeness (volume coverage) and stability in time, for which the best routes are identified. The analysis carried out confirm the potential benefits of a route decision engine.


title: Complete monotonicity and bernstein properties of functions are characterized by their restriction on N

abstract: We give several new characterizations of completely monotone functions and Bernstein functions via two approaches: the first one is driven algebraically via elementary preserving mappings and the second one is developed in terms of the behavior of their restriction on the set of non-negative integers. We give a complete answer to the following question: Can we affirm that a function is completely monotone (resp. a Bernstein function) if we know that the sequence formed by its restriction on the integers is completely monotone (resp. alternating)? This approach constitutes a kind of converse of Hausdorff's moment characterization theorem in the context of completely monotone sequences.


title: Genuine quantum coherence

abstract: Any quantum resource theory is based on free states and free operations, i.e., states and operations which can be created and performed at no cost. In the resource theory of coherence free states are diagonal in some fixed basis, and free operations are those which cannot create coherence for some particular experimental realization. Recently, some problems of this approach have been discussed, and new sets of operations have been proposed to resolve these problems. We propose here the framework of genuine quantum coherence. This approach is based on a simple principle: we demand that a genuinely incoherent operation preserves all incoherent states. This framework captures coherence under additional constrains such as energy preservation and all genuinely incoherent operations are incoherent regardless of their particular experimental realization. We also introduce the full class of operations with this property, which we call fully incoherent. We analyze in detail the mathematical structure of these classes and also study possible state transformations. We show that deterministic manipulation is severely limited, even in the asymptotic settings. In particular, this framework does not have a unique golden unit, i.e., there is no single state from which all other states can be created deterministically with the free operations. This suggests that any reasonably powerful resource theory of coherence must contain free operations which can potentially create coherence in some experimental realization.

categories: quant-ph cond-mat.stat-mech math-ph math.MP physics.optics


title: Determination of I-V Curves of HTS Tapes From The Frequency Dependent AC Transport Loss

abstract: The current-voltage characteristics of superconductors are commonly determined by means of a standard 4-probe DC measurement technique. In coated conductors, however, one often encounters problems due to weak or no stabilization and in such case, when the risk of burning the tape is high, the 4-probe approach can fail. In other cases such as in HTS cable structures, besides vulnerability and high risk of damage, it may also be difficult to achieve a high critical current level with a power supply that is normally used to characterize single strands. We therefore investigated an alternative method to determine the DC I-V curve, based on measuring the AC transport loss as a function of frequency in overcritical current range. In the AC regime, both the hysteretic loss component and the joule dissipation are present for applied transport currents exceeding the critical current Ic. In this work, AC loss measurements at different frequencies are related to different electric fields in DC and a curve similar to the DC I-V is obtained. From this curve, the power index N and Ic values are estimated. AC regime operation can be more beneficial for two reasons: firstly, because very high currents can be achieved easily by using a transformer; secondly, because the effective joule heat dissipation with overcritical AC currents is much lower than that with DC of the same amplitudes. In the experiment, we used a 4 mm wide YBCO reference tape with 20 {\mu}m of Cu-stabilization. For the comparison with AC transport loss, the sample was measured with the standard 4-probe technique and remained stable even in overload condition. To support our study, numerical simulations, reproducing both transient and stationary operation conditions, were performed. A similar relation between the AC current transport loss and the I-V curves was also observed in the simulations.


title: Tate-Hochschild Cohomology of Radical Square Zero Algebras

abstract: For algebras with radical square zero, we give a combinatorial description to the Tate-Hochschild cohomology. We compute the Gerstenhaber algebra structure on the Tate-Hochschild cohomology for some classes of such algebras.


title: On the Existence of Martingale Measures in Jump Diffusion Market Models

abstract: In the context of jump-diffusion market models we construct examples that satisfy the weaker no-arbitrage condition of NA1 (NUPBR), but not NFLVR. We show that in these examples the only candidate for the density process of an equivalent local martingale measure is a supermartingale that is not a martingale, not even a local martingale. This candidate is given by the supermartingale deflator resulting from the inverse of the discounted growth optimal portfolio. In particular, we con- sider an example with constraints on the portfolio that go beyond the standard ones for admissibility.


title: A global Constraint for mining Sequential Patterns with GAP constraint

abstract: Sequential pattern mining (SPM) under gap constraint is a challenging task. Many efficient specialized methods have been developed but they are all suffering from a lack of genericity. The Constraint Programming (CP) approaches are not so effective because of the size of their encodings. In[7], we have proposed the global constraint Prefix-Projection for SPM which remedies to this drawback. However, this global constraint cannot be directly extended to support gap constraint. In this paper, we propose the global constraint GAP-SEQ enabling to handle SPM with or without gap constraint. GAP-SEQ relies on the principle of right pattern extensions. Experiments show that our approach clearly outperforms both CP approaches and the state-of-the-art cSpade method on large datasets.


title: Ray Tracing in an Arbitrary Cloak in Two Dimensions

abstract: Electromagnetic wave behaviour in an anisotropic medium with a two dimensional arbitrary geometry is studied. The aim is to trace the path of a ray in such a complex medium for the purpose of achieving cloaking (invisibility). A coordinate transformation is carried out for the formulation of an annular region at the centre of the structure whose topology is a scaled geometry of outer boundary of the structure.


title: Search for the Standard Model Higgs boson produced in association with a vector boson and decaying into a tau pair in $pp$ collisions at $\sqrt{s} = 8$ TeV with the ATLAS detector

abstract: A search for the Standard Model Higgs boson produced in association with a vector boson with the decay $H\rightarrow \tau\tau$ is presented. The data correspond to 20.3 fb$^{-1}$ of integrated luminosity from proton-proton collisions at $\sqrt{s} = 8$ TeV recorded by the ATLAS experiment at the LHC during 2012. The data agree with the background expectation, and 95% confidence-level upper limits are placed on the cross section of this process. The observed (expected) limit, expressed in terms of the signal strength $\mu = \sigma/\sigma_{\mathrm{SM}}$ for $m_\mathrm{H} = 125 GeV$, is $\mu <$ 5.6 (3.7). The measured value of the signal strength is $\mu = 2.3\pm1.6$.


title: A note on hyperquadratic continued fractions in characteristic 2 with partial quotients of degree 1

abstract: In this note, we describe a family of particular algebraic, and nonquadratic, power series over an arbitrary finite field of characteristic 2, having a continued fraction expansion with all partial quotients of degree one. The main purpose being to point out a common origin with another analogue family in odd characteristic, which has been studied in [LY1].


title: All-sky coherent search for continuous gravitational waves in 6-7 Hz band with a torsion-bar antenna

abstract: A torsion-bar antenna (TOBA) is a low-frequency terrestrial gravitational wave (GW) antenna which consists of two orthogonal bar-shaped test masses. We upgraded the prototype TOBA and achieved the strain sensitivity $10^{-10}$ Hz$^{-1/2}$ at around 1 Hz. We operated the upgraded TOBA (called the "Phase-II TOBA") located at Tokyo in Japan for 22.5 hours and performed an all-sky coherent search for continuous GWs using the $\mathcal{F}$-statistic. We place upper limits on continuous GWs from electromagnetically unknown sources in the frequency range from 6 Hz to 7 Hz with the first derivative of frequency less than $7.62 \times 10^{-11}$ Hz/s using data from the TOBA. As a result, no significant GW signals are found in the frequency band 6-7 Hz. The most stringent upper limit upper limit on the dimensionless GW strain with 95% confidence level in this band is $3.6 \times 10^{-12}$ at 6.84 Hz.


title: From Static to Dynamic Tag Population Estimation: An Extended Kalman Filter Perspective

abstract: Tag population estimation has recently attracted significant research attention due to its paramount importance on a variety of radio frequency identification (RFID) applications. However, most, if not all, of existing estimation mechanisms are proposed for the static case where tag population remains constant during the estimation process, thus leaving the more challenging dynamic case unaddressed, despite the fundamental importance of the latter case on both theoretical analysis and practical application. In order to bridge this gap, %based on \textit{dynamic framed-slotted ALOHA} (DFSA) protocol, we devote this paper to designing a generic framework of stable and accurate tag population estimation schemes based on Kalman filter for both static and dynamic RFID systems. %The objective is to devise estimation schemes and analyze the boundedness of estimation error. Technically, we first model the dynamics of RFID systems as discrete stochastic processes and leverage the techniques in extended Kalman filter (EKF) and cumulative sum control chart (CUSUM) to estimate tag population for both static and dynamic systems. By employing Lyapunov drift analysis, we mathematically characterise the performance of the proposed framework in terms of estimation accuracy and convergence speed by deriving the closed-form conditions on the design parameters under which our scheme can stabilise around the real population size with bounded relative estimation error that tends to zero with exponential convergence rate.


title: The far-infrared behaviour of Herbig Ae/Be discs: Herschel PACS photometry

abstract: Herbig Ae/Be objects are pre-main sequence stars surrounded by gas- and dust-rich circumstellar discs. These objects are in the throes of star and planet formation, and their characterisation informs us of the processes and outcomes of planet formation processes around intermediate mass stars. Here we analyse the spectral energy distributions of disc host stars observed by the Herschel Open Time Key Programme `Gas in Protoplanetary Systems'. We present Herschel/PACS far-infrared imaging observations of 22 Herbig Ae/Bes and 5 debris discs, combined with ancillary photometry spanning ultraviolet to sub-millimetre wavelengths. From these measurements we determine the diagnostics of disc evolution, along with the total excess, in three regimes spanning near-, mid-, and far-infrared wavelengths. Using appropriate statistical tests, these diagnostics are examined for correlations. We find that the far-infrared flux, where the disc becomes optically thin, is correlated with the millimetre flux, which provides a measure of the total dust mass. The ratio of far-infrared to sub-millimetre flux is found to be greater for targets with discs that are brighter at millimetre wavelengths and that have steeper sub-millimetre slopes. Furthermore, discs with flared geometry have, on average, larger excesses than flat geometry discs. Finally, we estimate the extents of these discs (or provide upper limits) from the observations.


title: The Pontryagin Maximum Principle for Optimal Multiprocesses with Continuous States

abstract: In this paper we give a new approach to introduce switching strategies in a special class of optimal multiprocesses. Defined as the set of partitions of the time interval, switching strategies become the character of a classical control. With this approach we overcome the restrictive comparison of multiprocesses with the same switching strategy. The necessary conditions for strong local optimizer in form of the Pontryagin maximum principle are demonstrated in illustrative examples.


title: Free Energy Analysis of Spin Models on Hyperbolic Lattice Geometries

abstract: We investigate relations between spatial properties of the free energy and the radius of Gaussian curvature of the underlying curved lattice geometries. For this purpose we derive recurrence relations for the analysis of the free energy normalized per lattice site of various multistate spin models in the thermal equilibrium on distinct non-Euclidean surface lattices of the infinite sizes. Whereas the free energy is calculated numerically by means of the Corner Transfer Matrix Renormalization Group algorithm, the radius of curvature has an analytic expression. Two tasks are considered in this work. First, we search for such a lattice geometry, which minimizes the free energy per site. We conjecture that the only Euclidean flat geometry results in the minimal free energy per site regardless of the spin model. Second, the relations among the free energy, the radius of curvature, and the phase transition temperatures are analyzed. We found out that both the free energy and the phase transition temperature inherit the structure of the lattice geometry and asymptotically approach the profile of the Gaussian radius of curvature. This achievement opens new perspectives in the AdS-CFT correspondence theories.


title: Transference for Banach space representations of nilpotent Lie groups. Part 1. Irreducible representations

abstract: We establish a general CCR (liminarity) property for uniformly bounded irreducible representations of nilpotent Lie groups on reflexive Banach spaces, extending the well known property of unitary irreducible representations of these groups on Hilbert spaces. We also prove that this conclusion fails for many representations on non-reflexive Banach spaces. Our approach to these results blends the method of transference from abstract harmonic analysis and a systematic use of spaces of smooth vectors with respect to Lie group representations.


title: From horseshoe to quasi-satellite and back again: the curious dynamics of Earth co-orbital asteroid 2015 SO2

abstract: Earth co-orbitals of the horseshoe type are interesting objects to study for practical reasons. They are relatively easy to access from our planet and that makes them attractive targets for sample return missions. Here, we show that near-Earth asteroid (NEA) 2015 SO2 is a transient co-orbital to the Earth that experiences a rather peculiar orbital evolution characterised by recurrent, alternating horseshoe and quasi-satellite episodes. It is currently following a horseshoe trajectory, the ninth asteroid known to do so. Besides moving inside the 1:1 mean motion resonance with the Earth, it is subjected to a Kozai resonance with the value of the argument of perihelion librating around 270 degrees. Contrary to other NEAs, asteroid 2015 SO2 may have remained in the vicinity of Earth's co-orbital region for a few hundreds of thousands of years.


title: The gluon mass generation mechanism: a concise primer

abstract: We present a pedagogical overview of the nonperturbative mechanism that endows gluons with a dynamical mass. This analysis is performed based on pure Yang-Mills theories in the Landau gauge, within the theoretical framework that emerges from the combination of the pinch technique with the background field method. In particular, we concentrate on the Schwinger-Dyson equation satisfied by the gluon propagator and examine the necessary conditions for obtaining finite solutions within the infrared region. The role of seagull diagrams receives particular attention, as do the identities that enforce the cancellation of all potential quadratic divergences. We stress the necessity of introducing nonperturbative massless poles in the fully dressed vertices of the theory in order to trigger the Schwinger mechanism, and explain in detail the instrumental role of these poles in maintaining the Becchi-Rouet-Stora-Tyutin symmetry at every step of the mass-generating procedure. The dynamical equation governing the evolution of the gluon mass is derived, and its solutions are determined numerically following implementation of a set of simplifying assumptions. The obtained mass function is positive definite, and exhibits a power law running that is consistent with general arguments based on the operator product expansion in the ultraviolet region. A possible connection between confinement and the presence of an inflection point in the gluon propagator is briefly discussed.


title: An optomechanical elevator: Transport of a Bloch oscillating Bose-Einstein condensate up and down an optical lattice by cavity sideband amplification and cooling

abstract: We analyze the optomechanics of an atomic Bose-Einstein condensate interacting with the optical lattice inside a laser-pumped optical cavity and subject to a uniform bias force such as gravity. An atomic wave packet in a tilted lattice undergoes Bloch oscillations; in a cavity the backaction of the atoms on the light leads to a time-dependent modulation of the intracavity lattice at the Bloch frequency. When the Bloch frequency is on the order of the cavity damping rate we find transport of the atoms either up or down the lattice. The transport dynamics can be interpreted as a manifestation of dynamical backaction-induced sideband damping/amplification of the optomechanical Bloch oscillator. Depending on the sign of the pump-cavity detuning, atoms are transported either with or against the bias force accompanied by an up- or down-conversion of the frequency of the pump laser light. We also evaluate the prospects for using the optomechanical Bloch oscillator to make continuous measurements of forces by reading out the Bloch frequency. In this context we establish the significant result that the optical spring effect is absent and the Bloch frequency is not modified by the backaction.


title: Large-scale optical diffraction tomography for inspection of optical plastic lenses

abstract: Herein is presented an optical diffraction tomography (ODT) technique for measuring 3-D refractive index (RI) maps of optical plastic lenses. A Mach-Zehnder interferometer was used to measure multiple complex optical fields of a plastic lens immersed in RI matching oil, at various rotational orientations. From this, ODT was used to reconstruct a 3-D RI distribution of the plastic lens with unprecedented RI sensitivity (dn = 4.21 x 10^-5) and high resolution (12.8 um). As a demonstration, 3-D RI distributions of a 2-mm-diameter borosilicate sphere and a 5-mm-diameter plastic lens


title: Performance bounds for the mean-field limit of constrained dynamics

abstract: In this work we are interested in the mean-field formulation of kinetic models under control actions where the control is formulated through a model predictive control strategy (MPC) with varying horizon. The relation between the (usually hard to compute) optimal control and the MPC approach is investigated theoretically in the mean-field limit. We establish a computable and provable bound on the difference in the cost functional for MPC controlled and optimal controlled system dynamics in the mean-field limit. The result of the present work extends previous findings for systems of ordinary differential equations. Numerical results in the mean-field setting are given.


title: Asteroseismic inversions for radial differential rotation of Sun-like stars: Sensitivity to uncertainties

abstract: We quantify the effect of observational spectroscopic and asteroseismic uncertainties on regularised least squares (RLS) inversions for the radial differential rotation of Sun-like and subgiant stars. We first solved the forward problem to model rotational splittings plus the observed uncertainties for models of a Sun-like star, HD 52265, and a subgiant star, KIC 7341231. We randomly perturbed the parameters of the stellar models within the uncertainties of the spectroscopic and asteroseismic constraints and used these perturbed stellar models to compute rotational splittings. We experimented with three rotation profiles: solid body rotation, a step function, and a smooth rotation profile decreasing with radius. We then solved the inverse problem to infer the radial differential rotation profile using a RLS inversion and kernels from the best-fit stellar model.We found that the inversions for Sun-like stars with solar-like radial differential rotation profiles are insensitive to the uncertainties in the stellar models. We found that when the rotation rate below the convection zone is increased to six times that of the surface rotation rate the inferred rotation profile excluded solid body rotation. With the current observational uncertainties, we found that inversions of subgiant stars are sensitive to the uncertainties in the stellar model. Our findings suggest that inversions for the radial differential rotation of subgiant stars would benefit from more tightly constrained stellar models. In Sun-like stars, the insensitivity of the inversions to stellar model uncertainties suggests that it may be possible to perform ensemble inversions for the average radial differential rotation of many stars with a range of stellar types to better constrain the inversions.


title: On randomization of neural networks as a form of post-learning strategy

abstract: Today artificial neural networks are applied in various fields - engineering, data analysis, robotics. While they represent a successful tool for a variety of relevant applications, mathematically speaking they are still far from being conclusive. In particular, they suffer from being unable to find the best configuration possible during the training process (local minimum problem). In this paper, we focus on this issue and suggest a simple, but effective, post-learning strategy to allow the search for improved set of weights at a relatively small extra computational cost. Therefore, we introduce a novel technique based on analogy with quantum effects occurring in nature as a way to improve (and sometimes overcome) this problem. Several numerical experiments are presented to validate the approach.


title: Academic research groups: evaluation of their quality and quality of their evaluation

abstract: In recent years, evaluation of the quality of academic research has become an increasingly important and influential business. It determines, often to a large extent, the amount of research funding flowing into universities and similar institutes from governmental agencies and it impacts upon academic careers. Policy makers are becoming increasingly reliant upon, and influenced by, the outcomes of such evaluations. In response, university managers are increasingly attracted to simple indicators as guides to the dynamics of the positions of their various institutions in league tables. However, these league tables are frequently drawn up by inexpert bodies such as newspapers and magazines, using rather arbitrary measures and criteria. Terms such as "critical mass' and "metrics" are often bandied about without proper understanding of what they actually mean. Rather than accepting the rise and fall of universities, departments and individuals on a turbulent sea of arbitrary measures, we suggest it is incumbent upon the scientific community itself to clarify their nature. Here we report on recent attempts to do that by properly defining critical mass and showing how group size influences research quality. We also examine currently predominant metrics and show that these fail as reliable indicators of group research quality.


title: Upgrade of the Inner Tracking System of ALICE

abstract: The upgrade of the Inner Tracking System (ITS) of ALICE is planned for the second long shutdown of the LHC in 2019-2020. The ALICE physics program after the shutdown requires the ITS to have improved tracking capabilities and improved impact parameter resolution at very low transverse momentum, as well as a substantial increase in the readout rate. To fulfill these requirements the current ITS will be replaced by seven layers of Monolithic Active Pixel Sensors. The new detector will be moved as close as 23 mm to the interaction point and will have a significantly reduced material budget. Several prototypes of the sensor have been developed to test different aspects of the sensor design including prototypes with analog and digital readout, as well as small and final-size sensors. These prototypes have been thoroughly characterized both in laboratory tests and at test beam facilities including studies on the radiation hardness of the sensors. This contribution gives an overview of the current status of the research and development with a focus on the pixel sensors and the characterization of the latest prototypes.


title: Second-Order Inference for the Mean of a Variable Missing at Random

abstract: We present a second-order estimator of the mean of a variable subject to missingness, under the missing at random assumption. The estimator improves upon existing methods by using an approximate second-order expansion of the parameter functional, in addition to the first-order expansion employed by standard doubly robust methods. This results in weaker assumptions about the convergence rates necessary to establish consistency, local efficiency, and asymptotic linearity. The general estimation strategy is developed under the targeted minimum loss-based estimation (TMLE) framework. We present a simulation comparing the sensitivity of the first and second order estimators to the convergence rate of the initial estimators of the outcome regression and missingness score. In our simulation, the second-order TMLE improved the coverage probability of a confidence interval by up to 85%. In addition, we present a first-order estimator inspired by a second-order expansion of the parameter functional. This estimator only requires one-dimensional smoothing, whereas implementation of the second-order TMLE generally requires kernel smoothing on the covariate space. The first-order estimator proposed is expected to have improved finite sample performance compared to existing first-order estimators. In our simulations, the proposed first-order estimator improved the coverage probability by up to 90%. We provide an illustration of our methods using a publicly available dataset to determine the effect of an anticoagulant on health outcomes of patients undergoing percutaneous coronary intervention. We provide R code implementing the proposed estimator.


title: Nonlinear Beltrami operators, Schauder estimates and bounds for the Jacobian

abstract: We provide Schauder estimates for nonlinear Beltrami equations and lower bounds of the Jacobians for homeomorphic solutions. The results were announced in arXiv:1412.4046 but here we give detailed proofs.


title: Can secondary nucleation exist in ice banding of freezing colloidal suspensions?

abstract: The formation mechanism of ice banding in the system of freezing colloidal suspensions, which is of significance in frost heaving, ice-templating porous materials and biological materials, still remains a mystery. Recently, the theory of secondary nucleation and growth of ice has been proposed to explain the emergence of a new ice lens. However, this theory has not been quantitatively examined. Here, we quantitatively measured the initial interfacial undercooling of a new ice lens and the nucleation undercoolings of suspensions. We found that the interfacial undercooling can not satisfy the nucleation undercooling of ice and hence disprove the secondary nucleation mechanism for ice banding.


title: Modelling arbitrarily shaped and tightly focused laser pulses in electromagnetic codes

abstract: Investigation of laser matter interaction with electromagnetic codes requires to implement sources for the electromagnetic fields. A way to do so is to prescribe the fields at the numerical box boundaries in order to achieve the desired fields inside the numerical box. Here we show that the often used paraxial approximation can lead to unexpected field profiles with strong impact on the laser matter interaction results. We propose an efficient numerical algorithm to compute the required laser boundary conditions consistent with the Maxwell's equations for arbitrarily shaped, tightly focused laser pulses.


title: Weak additivity principle for current statistics in d-dimensions

abstract: The additivity principle (AP) allows to compute the current distribution in many one-dimensional (1d) nonequilibrium systems. Here we extend this conjecture to general d-dimensional driven diffusive systems, and validate its predictions against both numerical simulations of rare events and microscopic exact calculations of three paradigmatic models of diffusive transport in d=2. Crucially, the existence of a structured current vector field at the fluctuating level, coupled to the local mobility, turns out to be essential to understand current statistics in d>1. We prove that, when compared to the straightforward extension of the AP to high-d, the so-called weak AP always yields a better minimizer of the macroscopic fluctuation theory action for current statistics.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP


title: Induced YM theory with auxiliary bosons

abstract: We study pure SU(N) lattice gauge theory with a plaquette weight factor given by an inverse determinant which can be written as an integral over auxiliary bosonic fields (modifying a proposal of Budczies and Zirnbauer). We derive conditions for the existence of a continuum limit and its equivalence to Yang-Mills theory. Furthermore, we perturbatively compute the relation between the coupling constants of the `induced' gauge action and the familiar Wilson gauge action using the background-field technique. The perturbative relation agrees well with numerical results for N=2 in three dimensions.


title: Dynamic mesh refinement for discrete models of jet electro-hydrodynamics

abstract: Nowadays, several models of unidimensional fluid jets exploit discrete element methods. In some cases, as for models aiming at describing the electrospinning nanofabrication process of polymer fibers, discrete element methods suffer a non constant resolution of the jet representation. We develop a dynamic mesh-refinement method for the numerical study of the electro-hydrodynamic behavior of charged jets using discrete element methods. To this purpose, we import ideas and techniques from the string method originally developed in the framework of free-energy landscape simulations. The mesh-refined discrete element method is demonstrated for the case of electrospinning applications.


title: The K-theory of endomorphisms of spaces

abstract: We prove a non-linear version of a theorem of Grayson which is an analogue of the Fundamental Theorem of Algebraic $K$-theory and identify the $K$-theory of the endomorphism category over a space $X$ in terms of reduced $K$-theory of a certain localisation of the category of $\NN$-spaces over $X$. In particular we generalise the result of Klein and Williams describing the nil-terms of $A$-theory in terms of $K$-theory of nilpotent endomorphisms.


title: Monte Carlo Predictions of Proton SEE Cross-Sections from Heavy Ion Test Data

abstract: The limits of previous methods promote us to design a new approach (named PRESTAGE) to predict proton single event effect (SEE) cross-sections using heavy-ion test data. To more realistically simulate the SEE mechanisms, we adopt Geant4 and the location-dependent strategy to describe the physics processes and the sensitivity of the device. Cross-sections predicted by PRESTAGE for over twenty devices are compared with the measured data. Evidences show that PRESTAGE can calculate not only single event upsets induced by proton indirect ionization, but also direct ionization effects and single event latch-ups. Most of the PRESTAGE calculated results agree with the experimental data within a factor of 2-3.


title: Parametric Amplification of a Terahertz Quantum Plasma Wave

abstract: Many applications in photonics require all-optical manipulation of plasma waves, which can concentrate electromagnetic energy on sub-wavelength length scales. This is difficult in metallic plasmas because of their small optical nonlinearities. Some layered superconductors support weakly damped plasma waves, involving oscillatory tunneling of the superfluid between capacitively coupled planes. Such Josephson plasma waves (JPWs) are also highly nonlinear, and exhibit striking phenomena like cooperative emission of coherent terahertz radiation, superconductor-metal oscillations and soliton formation. We show here that terahertz JPWs in cuprate superconductors can be parametrically amplified through the cubic tunneling nonlinearity. Parametric amplification is sensitive to the relative phase between pump and seed waves and may be optimized to achieve squeezing of the order parameter phase fluctuations or single terahertz-photon devices.


title: From continuum QCD to hadron observables

abstract: We show that the form of the renormalization group invariant quark-gluon interaction predicted by a refined nonperturbative analysis of the QCD gauge sector is in quantitative agreement with the one required for describing a wide range of hadron observables using sophisticated truncation schemes of the Schwinger-Dyson equations relevant in the matter sector.


title: Measurements of absolute hadronic branching fractions of $\Lambda_{c}^{+}$ baryon

abstract: Using $567\rm{pb}^{-1}$ of $e^+e^-$ collisions recorded at $\sqrt{s}=4.599\rm{GeV}$ with the BESIII detector, we report first measurements of absolute hadronic branching fractions of Cabibbo-favored decays of the $\Lambda_{c}^{+}$ baryon with a double-tag technique. A global least-square fitter is utilized to improve the measured precision. Among the measurements for twelve $\Lambda_{c}^{+}$ decay modes, the branching fraction for $\Lambda_{c}^{+} \rightarrow pK^-\pi^+$ is determined to be $(5.84\pm0.27\pm0.23)\%$, where the first uncertainty is statistical and the second is systematic. In addition, the measurements of the branching fractions of the other eleven Cabbibo-favored hadronic decay modes are significantly improved.


title: Spin textures and spin-wave excitations in doped Dirac-Weyl semimetals

abstract: We study correlations and magnetic textures of localized spins, doped in three-dimensional Dirac semimetals. An effective field theory for magnetic moments is constructed by integrating out the fermionic degrees of freedom. The spin correlation shows a strong anisotropy, originating from spin-momentum locking of Dirac electrons, in addition to the conventional Heisenberg-like ferromagnetic correlation. The anisotropic spin correlation allows topologically nontrivial magnetic excitation textures such as a transient hedgehog state, as well as the ferromagnetic ground state. The spin-wave dispersion in ferromagnetic Weyl semimetal also becomes anisotropic, being less dispersed perpendicular to the magnetization.


title: Conditional symmetries in axisymmetric quantum cosmologies with scalar fields and the fate of the classical singularities

abstract: In this paper, the classical and quantum solutions of some axisymmetric cosmologies coupled to a massless scalar field are studied in the context of minisuperspace approximation. In these models, the singular nature of the Lagrangians entails a search for possible conditional symmetries. These have been proven to be the simultaneous conformal symmetries of the supermetric and the superpotential. The quantization is performed by adopting the Dirac proposal for constrained systems, i.e. promoting the first-class constraints to operators annihilating the wave function. To further enrich the approach, we follow \cite{Christodoulakis:2012eg} and impose the operators related to the classical conditional symmetries on the wave function. These additional equations select particular solutions of the Wheeler-DeWitt equation. In order to gain some physical insight from the quantization of these cosmological systems, we perform a semiclassical analysis following the Bohmian approach to quantum theory. The generic result is that, in all but one model, one can find appropriate ranges of the parameters, so that the emerging semiclassical geometries are non-singular. An attempt for physical interpretation involves the study of the effective energy-momentum tensor which corresponds to an imperfect fluid.


title: Torus actions on rationally elliptic manifolds

abstract: An upper bound is obtained on the rank of a torus which can act smoothly and effectively on a smooth, closed, simply connected, rationally elliptic manifold. In the maximal-rank case, the manifolds admitting such actions are classified up to equivariant rational homotopy type.


title: Lifting of the Landau level degeneracy in graphene devices in a tilted magnetic field

abstract: We report on transport and capacitance measurements of graphene devices in magnetic fields up to 30 T. In both techniques, we observe the full splitting of Landau levels and we employ tilted field experiments to address the origin of the observed broken symmetry states. In the lowest energy level, the spin degeneracy is removed at filling factors $\nu=\pm1$ and we observe an enhanced energy gap. In the higher levels, the valley degeneracy is removed at odd filling factors while spin polarized states are formed at even $\nu$. Although the observation of odd filling factors in the higher levels points towards the spontaneous origin of the splitting, we find that the main contribution to the gap at $\nu= -4,-8$, and $-12$ is due to the Zeeman energy.


title: The Data Acquisition System for LZ

abstract: The Data Acquisition System of the LZ experiment, the 10-tonne dark matter detector to be installed at the Sanford Underground Research Facility (SURF), will collect signals from 788 photomultiplier tubes (PMTs). Because the signals from the time projection chamber PMTs will be passed through dual-gain amplifiers, the DAQ system will collect waveforms from a total of 1276 channels, using custom built, 32-channel, FPGA-based digital signal processors. The appropriately conditioned signals will be digitized at 100 MHz with 14-bit resolution. Based on actual measurements with a small-scale prototype system, the LZ DAQ is expected to be able to handle a maximum sparsified data rate of ~1500 MB/s. During calibrations, it is estimated that only 33% of the system resources are utilized. The digital filters that are used for data selection operate with an aggregate throughput in excess of 595,000 MB/s. Data selection decisions are based on, for example, the amount of scintillation (S1) and photoluminescence S2 light, S1 and S2 hit-patterns, and total energy deposition.


title: gMark: Schema-Driven Generation of Graphs and Queries

abstract: Massive graph data sets are pervasive in contemporary application domains. Hence, graph database systems are becoming increasingly important. In the experimental study of these systems, it is vital that the research community has shared solutions for the generation of database instances and query workloads having predictable and controllable properties. In this paper, we present the design and engineering principles of gMark, a domain- and query language-independent graph instance and query workload generator. A core contribution of gMark is its ability to target and control the diversity of properties of both the generated instances and the generated workloads coupled to these instances. Further novelties include support for regular path queries, a fundamental graph query paradigm, and schema-driven selectivity estimation of queries, a key feature in controlling workload chokepoints. We illustrate the flexibility and practical usability of gMark by showcasing the framework's capabilities in generating high quality graphs and workloads, and its ability to encode user-defined schemas across a variety of application domains.


title: Bridging the gap between rooted and unrooted phylogenetic networks

abstract: The need for structures capable of accommodating complex evolutionary signals such as those found in, for example, wheat has fueled research into phylogenetic networks. Such structures generalize the standard phylogenetic tree model by also allowing cycles and have been introduced in rooted and unrooted form. In contrast to phylogenetic trees, however, surprisingly little is known about the interplay between both types thus hampering our ability to make much needed progress for rooted phylogenetic networks by drawing on insights from their much better understood unrooted counterparts. Unrooted phylogenetic networks are underpinned by split systems and by focusing on them we establish a first link between both types. More precisely, we develop a link between 1-nested phylogenetic networks which are examples of rooted phylogenetic networks and the well-studied median networks (aka Buneman graph) which are examples of unrooted phylogenetic networks. In particular, we show that not only can a 1-nested network be obtained from a median network but also that that network is, in a well-defined sense, optimal. Along the way, we characterize circular split systems in terms of the novel $\mathcal I$-intersection closure of a split system and establish the 1-nested analogue of the fundamental "Splits Equivalence Theorem" for phylogenetic trees.


title: Electromagnetic cloaking in convex and concave media with surface modelled as a parameterised function

abstract: The onset of transformation optics has opened avenues for designing of a plenitude of applications related to propagation of electromagnetic waves in anisotropic media. In this paper, an algorithm is proposed using a coordinate transformation and a piecewise function for the purpose of designing a three dimensional cloak having an arbitrary geometry which could be convex or non-convex in nature. The surfaces of the cloak as well as of the body under consideration are assumed to be conformal to each other. For an arbitrary geometry, the coordinate system needed to model the surface can be a non-orthogonal system. For the purpose of verification of the algorithm, a ray tracing process is carried out for an ellipsoid as well as for a concave surface having axial symmetry. In order to solve the Hamiltonian equation for the purpose of ray tracing, the process of finding the derivatives analytically, for an arbitrary geometry as considered here, becomes very cumbersome. Here, a numerical method is described which provides a better approximation to the partial derivatives than the conventional finite difference approach based on forward differences.


title: Semi-implicit finite-difference method with predictor-corrector algorithm for solution of diffusion equation with nonlinear terms

abstract: We present a finite-difference integration algorithm for solution of a system of differential equations containing a diffusion equation with nonlinear terms. The approach is based on Crank-Nicolson method with predictor-corrector algorithm and provides high stability and precision. Using a specific example of short-pulse laser interaction with semiconductors, we give a detailed description of the method and apply it for the solution of the corresponding system of differential equations, one of which is a nonlinear diffusion equation. The calculated dynamics of the energy density and the number density of photoexcited free carriers upon the absorption of laser energy are presented for the irradiated thin silicon film. The energy conservation within 0.2% has been achieved for the time step $10^4$ times larger than that in case of the explicit scheme, for the chosen numerical setup. We also present a few examples of successful application of the method demonstrating its benefits for the theoretical studies of laser-matter interaction problems.


title: Quantum plasmonics: An energy perspective to quantify nonclassical effects

abstract: Plasmons are commonly interpreted with classical electrodynamics, while nonclassical effects may influence the dynamics of plasmon resonances as the plasmon confinement is approaching the few--nanometer scale. However, an unambiguous approach to quantify the degree of nonclassical dynamics remains. We propose a nonclassical-impact parameter (NCI) to characterize the degree of nonclassical effects from an energy perspective, i.e. which fraction of the total electromagnetic energy is attributed to classical electrodynamic terms and which fraction is correspondingly to be assigned to nonclassical degrees of freedom? We show that the NCI relates directly to two fundamental parameters of plasmon resonances: the loss function and the quality factor. Guided by the NCI, we discuss the nonclassical effects of plasmon waveguiding modes of metallic slab waveguides, and highlight the general features of the nonclassical effects at different microscopic levels by contrasting the numerical results from the semi-classical hydrodynamic Drude model (HDM) and the microscopic random-phase approximation (RPA). The formal relation between the HDM and the RPA is also established for metals by exploring the limit of an infinite work function.


title: Relatively normal-slant helices lying on a surface and their characterizations

abstract: In this paper, we consider a regular curve on an oriented surface in Euclidean 3-space with the Darboux frame $\{\mathsf{T},\mathsf{V},\mathsf{U}\}$ along the curve, where $\mathsf{T}$ is the unit tangent vector field of the curve, $\mathsf{U}$ is the surface normal restricted to the curve and $\mathsf{V}=\mathsf{U}\times \mathsf{T}$. We define a new curve on a surface by using the Darboux frame. This new curve whose vector field $\mathsf{V}$ makes a constant angle with a fixed direction is called as relatively normal-slant helix. We give some characterizations for such curves and obtain their axis. Besides we give some relations between some special curves (general helices, integral curves, etc.) and relatively normal-slant helices. Moreover, when a regular surface is given by its implicit or parametric equation, we introduce the method for generating the relatively normal-slant helix with the chosen direction and constant angle on the given surface.


title: Computational Investigations on Polymerase Actions in Gene Transcription and Replication Combining Physical Modeling and Atomistic Simulations

abstract: Polymerases are protein enzymes that move along nucleic acid chains and catalyze template-based polymerization reactions during gene transcription and replication. The polymerases also substantially improve transcription or replication fidelity through the non-equilibrium enzymatic cycles. We briefly review computational efforts that have been made toward understanding mechano-chemical coupling and fidelity control mechanisms of the polymerase elongation. The polymerases are regarded as molecular information motors during the elongation process. It requires a full spectrum of computational approaches from multiple time and length scales to understand the full polymerase functional cycle. We keep away from quantum mechanics based approaches to the polymerase catalysis due to abundant former surveys, while address only statistical physics modeling approach and all-atom molecular dynamics simulation approach. We organize this review around our own modeling and simulation practices on a single-subunit T7 RNA polymerase, and summarize commensurate studies on structurally similar DNA polymerases. For multi-subunit RNA polymerases that have been intensively studied in recent years, we leave detailed discussions on the simulation achievements to other computational chemical surveys, while only introduce very recently published representative studies, including our own preliminary work on structure-based modeling on yeast RNA polymerase II. In the end, we quickly go through kinetic modeling on elongation pauses and backtracking activities. We emphasize the fluctuation and control mechanisms of the polymerase actions, highlight the non-equilibrium physical nature of the system, and try to bring some perspectives toward understanding replication and transcription regulation from single molecular details to a genome-wide scale.


title: Light emission from particle beam induced plasma - An overview

abstract: Experiments to study the light emission from plasma produced by particle beams are presented. Fundamental aspects in comparison with discharge plasma formation are discussed. It is shown that the formation of excimer molecules is an important process. This paper summarizes various studies of particle beam induced light emission and presents first results of a direct comparison of light emission induced by electron- and ion beam excitation. Both high energy heavy ion beam and low energy electron beam experiments are described and an overview over applications in the form of light sources, lasers, and ionization devices is given.


title: Electron-beam-sustained discharge revisited - light emission from combined electron beam and microwave excited argon at atmospheric pressure

abstract: A novel kind of electron beam sustained discharge is presented in which a 12keV electron beam is combined with a 2.45GHz microwave power to excite argon gas at atmospheric pressure in a continuous mode of operation. Optical emission spectroscopy is performed over a wide wavelength range from the vacuum ultraviolet (VUV) to the near infrared (NIR). Several effects which modify the emission spectra compared to sole electron beam excitation are observed and interpreted by the changing plasma parameters such as electron density, electron temperature and gas temperature.


title: Electron-beam-ignited, high-frequency-driven vacuum ultraviolet excimer light source

abstract: Transformation of a table-top electron beam sustained 2.45 GHz RF discharge in rare gases into a self burning discharge has been observed for increasing RF-amplitude. Thereby, the emission spectrum undergoes significant changes in a wide spectral range from the vacuum ultraviolet (VUV) to the near infrared. A strong increase of VUV excimer emission is observed for the self burning discharge. The so called first excimer continuum, in particular, shows a drastic increase in intensity. For argon this effect results in a brilliant light source emitting near the 105 nm short wavelength cutoff of LiF windows. The appearance of a broad-band continuum in the UV and visible range as well as effects of RF excitation on the atomic line radiation and the so called third excimer continuum are briefly described.


title: On Basic Properties of Jumping Finite Automata

abstract: We complete the initial study of jumping finite automata, which was started in a former article of Meduna and Zemek \citep{athMED1}. The open questions about basic closure properties are solved. Besides this, we correct erroneous results presented in the article. Finally, we point out important relations between jumping finite automata and some other models studied in the literature.


title: The SOPHIE search for northern extrasolar planets VIII. Follow-up of ELODIE candidates: long-period brown-dwarf companions

abstract: Long-period brown dwarf companions detected in radial velocity surveys are important targets for direct imaging and astrometry to calibrate the mass-luminosity relation of substellar objects. Through a 20-year radial velocity monitoring of solar-type stars that began with ELODIE and was extended with SOPHIE spectrographs, giant exoplanets and brown dwarfs with orbital periods longer than ten years are discovered. We report the detection of five new potential brown dwarfs with minimum masses between 32 and 83 Jupiter mass orbiting solar-type stars with periods longer than ten years. An upper mass limit of these companions is provided using astrometric Hipparcos data, high-angular resolution imaging made with PUEO, and a deep analysis of the cross-correlation function of the main stellar spectra to search for blend effects or faint secondary components. These objects double the number of known brown dwarf companions with orbital periods longer than ten years and reinforce the conclusion that the occurrence of such objects increases with orbital separation. With a projected separation larger than 100 mas, all these brown dwarf candidates are appropriate targets for high-contrast and high angular resolution imaging.


title: High harmonic generation from periodic potentials driven by few-cycle laser pulses

abstract: We investigate the high harmonic generation (HHG) from solids by simulating the dynamics of a single active electron in periodic potentials. The corresponding time-dependent Schr\"odinger equations (TDSE) are solved numerically by using B-spline basis sets in coordinate space. The energy band structure and wave vectors can be directly retrived from the eigenfunctions. The harmonic spectra obtained agree well with the results simulated by TDSE in $k$ space using Bloch states and show a two-plateau structure. Both of the cutoff energies of the two plateaus in the harmonic spectrum scale linearly with the field strength. We also study HHG driven by intense few-cycle laser pulses and find that the cutoff energy of the harmonic spectrum is as sensitive to the changes of the carrier envelope phase, as to HHG from gas samples, which suggests recollision pictures in HHG as found by recent experiments (Nature {\bf 522}, 462 (2015)).


title: $3$-dimensional Continued Fraction Algorithms Cheat Sheets

abstract: Multidimensional Continued Fraction Algorithms are generalizations of the Euclid algorithm and find iteratively the gcd of two or more numbers. They are defined as linear applications on some subcone of $\mathbb{R}^d$. We consider multidimensional continued fraction algorithms that acts symmetrically on the positive cone $\mathbb{R}^d_+$ for $d=3$. We include well-known and old ones (Poincar\'e, Brun, Selmer, Fully Subtractive) and new ones (Arnoux-Rauzy-Poincar\'e, Reverse, Cassaigne). For each algorithm, one page (called cheat sheet) gathers a handful of informations most of them generated with the open source software Sage with the optional Sage package \texttt{slabbe-0.2.spkg}. The information includes the $n$-cylinders, density function of an absolutely continuous invariant measure, domain of the natural extension, lyapunov exponents as well as data regarding combinatorics on words, symbolic dynamics and digital geometry, that is, associated substitutions, generated $S$-adic systems, factor complexity, discrepancy, dual substitutions and generation of digital planes. The document ends with a table of comparison of Lyapunov exponents and gives the code allowing to reproduce any of the results or figures appearing in these cheat sheets.


title: Regularizing RNNs by Stabilizing Activations

abstract: We stabilize the activations of Recurrent Neural Networks (RNNs) by penalizing the squared distance between successive hidden states' norms. This penalty term is an effective regularizer for RNNs including LSTMs and IRNNs, improving performance on character-level language modeling and phoneme recognition, and outperforming weight noise and dropout. We achieve competitive performance (18.6\% PER) on the TIMIT phoneme recognition task for RNNs evaluated without beam search or an RNN transducer. With this penalty term, IRNN can achieve similar performance to LSTM on language modeling, although adding the penalty term to the LSTM results in superior performance. Our penalty term also prevents the exponential growth of IRNN's activations outside of their training horizon, allowing them to generalize to much longer sequences.


title: Genuinely multipartite entangled quantum states with fully local hidden variable models and hidden multipartite nonlocality

abstract: The relation between entanglement and nonlocality is discussed in the case of multipartite quantum systems. We show that, for any number of parties, there exist genuinely multipartite entangled states which admit a fully local hidden variable model, i.e. where all parties are separated. Hence, although these states are entangled in the strongest possible sense, they cannot lead to Bell inequality violation considering general non-sequential local measurements. Then, we show that the nonlocality of these states can nevertheless be activated using sequences of local measurements, thus revealing genuine multipartite hidden nonlocality.


title: UBVRIz Light Curves of 51 Type II Supernovae

abstract: We present a compilation of UBV RIz light curves of 51 type II supernovae discovered during the course of four different surveys during 1986 to 2003: the Cerro Tololo Supernova Survey, the Calan/Tololo Supernova Program (C&T), the Supernova Optical and Infrared Survey (SOIRS), and the Carnegie Type II Supernova Survey (CATS). The photometry is based on template-subtracted images to eliminate any potential host galaxy light contamination, and calibrated from foreground stars. This work presents these photometric data, studies the color evolution using different bands, and explores the relation between the magnitude at maximum brightness and the brightness decline parameter (s) from maximum light through the end of the recombination phase. This parameter is found to be shallower for redder bands and appears to have the best correlation in the B band. In addition, it also correlates with the plateau duration, being thus shorter (longer) for larger (smaller) s values.


title: On bounding the difference between the maximum degree and the chromatic number by a constant

abstract: We provide a finite forbidden induced subgraph characterization for the graph class $\varUpsilon_k$, for all $k \in \mathbb{N}_0$, which is defined as follows. A graph is in $\varUpsilon_k$ if for any induced subgraph, $\Delta \leq \chi -1 + k$ holds, where $\Delta$ is the maximum degree and $\chi$ is the chromatic number of the subgraph. We compare these results with those given in [O. Schaudt, V. Weil, On bounding the difference between the maximum degree and the clique number, Graphs and Combinatorics 31(5), 1689-1702 (2015). DOI: 10.1007/s00373-014-1468-3], where we studied the graph class $\varOmega_k$, for $k \in \mathbb{N}_0$, whose graphs are such that for any induced subgraph, $\Delta \leq \omega -1 + k$ holds, where $\omega$ denotes the clique number of a graph. In particular, we give a characterization in terms of $\varOmega_k$ and $\varUpsilon_k$ of those graphs where the neighborhood of every vertex is perfect.


title: Improved Precision in the Analysis of Randomized Trials with Survival Outcomes, without Assuming Proportional Hazards

abstract: We present a new estimator of the restricted mean survival time in randomized trials where there is right censoring that may depend on treatment and baseline variables. The proposed estimator leverages prognostic baseline variables to obtain equal or better asymptotic precision compared to traditional estimators. Under regularity conditions and random censoring within strata of treatment and baseline variables, the proposed estimator has the following features: (i) it is interpretable under violations of the proportional hazards assumption; (ii) it is consistent and at least as precise as the Kaplan-Meier estimator under independent censoring; (iii) it remains consistent under violations of independent censoring (unlike the Kaplan-Meier estimator) when either the censoring or survival distributions are estimated consistently; and (iv) it achieves the nonparametric efficiency bound when both of these distributions are consistently estimated. We illustrate the performance of our method using simulations based on resampling data from a completed, phase 3 randomized clinical trial of a new surgical treatment for stroke; the proposed estimator achieves a 12% gain in relative efficiency compared to the Kaplan-Meier estimator. The proposed estimator has potential advantages over existing approaches for randomized trials with time-to-event outcomes, since existing methods either rely on model assumptions that are untenable in many applications, or lack some of the efficiency and consistency properties (i)-(iv). We focus on estimation of the restricted mean survival time, but our methods may be adapted to estimate any treatment effect measure defined as a smooth contrast between the survival curves for each study arm. We provide R code to implement the estimator.


title: Gains and Losses are Fundamentally Different in Regret Minimization: The Sparse Case

abstract: We demonstrate that, in the classical non-stochastic regret minimization problem with $d$ decisions, gains and losses to be respectively maximized or minimized are fundamentally different. Indeed, by considering the additional sparsity assumption (at each stage, at most $s$ decisions incur a nonzero outcome), we derive optimal regret bounds of different orders. Specifically, with gains, we obtain an optimal regret guarantee after $T$ stages of order $\sqrt{T\log s}$, so the classical dependency in the dimension is replaced by the sparsity size. With losses, we provide matching upper and lower bounds of order $\sqrt{Ts\log(d)/d}$, which is decreasing in $d$. Eventually, we also study the bandit setting, and obtain an upper bound of order $\sqrt{Ts\log (d/s)}$ when outcomes are losses. This bound is proven to be optimal up to the logarithmic factor $\sqrt{\log(d/s)}$.


title: Ambitwistor String Theory in the Operator Formalism

abstract: After a brief overview of the operator formalism for conventional string theory, an operator formalism for ambitwistor string theory is presented. It is shown how tree level supergravity scattering amplitudes are recovered in this formalism. More general applications of this formalism to loop amplitudes and the construction of an ambitwistor string field theory are briefly discussed.


title: The Mechanism of Additive Composition

abstract: Additive composition (Foltz et al, 1998; Landauer and Dumais, 1997; Mitchell and Lapata, 2010) is a widely used method for computing meanings of phrases, which takes the average of vector representations of the constituent words. In this article, we prove an upper bound for the bias of additive composition, which is the first theoretical analysis on compositional frameworks from a machine learning point of view. The bound is written in terms of collocation strength; we prove that the more exclusively two successive words tend to occur together, the more accurate one can guarantee their additive composition as an approximation to the natural phrase vector. Our proof relies on properties of natural language data that are empirically verified, and can be theoretically derived from an assumption that the data is generated from a Hierarchical Pitman-Yor Process. The theory endorses additive composition as a reasonable operation for calculating meanings of phrases, and suggests ways to improve additive compositionality, including: transforming entries of distributional word vectors by a function that meets a specific condition, constructing a novel type of vector representations to make additive composition sensitive to word order, and utilizing singular value decomposition to train word vectors.


title: Extended Skew-Symmetric Form for Summation-by-Parts Operators and Varying Jacobians

abstract: A generalised analytical notion of summation-by-parts (SBP) methods is proposed, extending the concept of SBP operators in the correction procedure via reconstruction (CPR), a framework of high-order methods for conservation laws. For the first time, SBP operators with dense norms and not including boundary points are used to get an entropy stable split-form of Burgers' equation. Moreover, overcoming limitations of the finite difference framework, stability for curvilinear grids and dense norms is obtained for SBP CPR methods by using a suitable way to compute the Jacobian.


title: Optimal Real-Time Bidding Strategies

abstract: The ad-trading desks of media-buying agencies are increasingly relying on complex algorithms for purchasing advertising inventory. In particular, Real-Time Bidding (RTB) algorithms respond to many auctions -- usually Vickrey auctions -- throughout the day for buying ad-inventory with the aim of maximizing one or several key performance indicators (KPI). The optimization problems faced by companies building bidding strategies are new and interesting for the community of applied mathematicians. In this article, we introduce a stochastic optimal control model that addresses the question of the optimal bidding strategy in various realistic contexts: the maximization of the inventory bought with a given amount of cash in the framework of audience strategies, the maximization of the number of conversions/acquisitions with a given amount of cash, etc. In our model, the sequence of auctions is modeled by a Poisson process and the \textit{price to beat} for each auction is modeled by a random variable following almost any probability distribution. We show that the optimal bids are characterized by a Hamilton-Jacobi-Bellman equation, and that almost-closed form solutions can be found by using a fluid limit. Numerical examples are also carried out.


title: Modeling of anechoich chambers with equivalent materials and equivalent sources

abstract: Numerical simulation of anechoic chambers is a hot topic since it can provide useful data about the performance of the EMC site. However, the mathematical nature of the problem, the physical dimensions of the simulated sites and the frequency ranges pose nontrivial challenges to the simulation. Computational requirements in particular will quickly become unmanageable if adequate techniques are not employed. In this work we describe a novel approach, based on equivalent elements, that enables the simulation of large chambers with modest computational resources. The method is then validated against real measurement results.


title: OntoSeg: a Novel Approach to Text Segmentation using Ontological Similarity

abstract: Text segmentation (TS) aims at dividing long text into coherent segments which reflect the subtopic structure of the text. It is beneficial to many natural language processing tasks, such as Information Retrieval (IR) and document summarisation. Current approaches to text segmentation are similar in that they all use word-frequency metrics to measure the similarity between two regions of text, so that a document is segmented based on the lexical cohesion between its words. Various NLP tasks are now moving towards the semantic web and ontologies, such as ontology-based IR systems, to capture the conceptualizations associated with user needs and contents. Text segmentation based on lexical cohesion between words is hence not sufficient anymore for such tasks. This paper proposes OntoSeg, a novel approach to text segmentation based on the ontological similarity between text blocks. The proposed method uses ontological similarity to explore conceptual relations between text segments and a Hierarchical Agglomerative Clustering (HAC) algorithm to represent the text as a tree-like hierarchy that is conceptually structured. The rich structure of the created tree further allows the segmentation of text in a linear fashion at various levels of granularity. The proposed method was evaluated on a wellknown dataset, and the results show that using ontological similarity in text segmentation is very promising. Also we enhance the proposed method by combining ontological similarity with lexical similarity and the results show an enhancement of the segmentation quality.


title: Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version)

abstract: Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-Lite_R, which is the logic underpinning the W3C ontology language OWL 2 QL and the current language of choice for OBDA, has been designed with the goal of delegating query answering to the underlying database engine, and thus is restricted in expressive power. E.g., it does not allow one to express disjunctive information, and any form of recursion on the data. The aim of this paper is to overcome these limitations of DL-Lite_R, and extend OBDA to more expressive ontology languages, while still leveraging the underlying relational technology for query answering. We achieve this by relying on two well-known mechanisms, namely conservative rewriting and approximation, but significantly extend their practical impact by bringing into the picture the mapping, an essential component of OBDA. Specifically, we develop techniques to rewrite OBDA specifications with an expressive ontology to "equivalent" ones with a DL-Lite_R ontology, if possible, and to approximate them otherwise. We do so by exploiting the high expressive power of the mapping layer to capture part of the domain semantics of rich ontology languages. We have implemented our techniques in the prototype system OntoProx, making use of the state-of-the-art OBDA system Ontop and the query answering system Clipper, and we have shown their feasibility and effectiveness with experiments on synthetic and real-world data.


title: Code-Based Cryptosystems Using Generalized Concatenated Codes

abstract: The security of public-key cryptosystems is mostly based on number theoretic problems like factorization and the discrete logarithm. There exists an algorithm which solves these problems in polynomial time using a quantum computer. Hence, these cryptosystems will be broken as soon as quantum computers emerge. Code-based cryptography is an alternative which resists quantum computers since its security is based on an NP-complete problem, namely decoding of random linear codes. The McEliece cryptosystem is the most prominent scheme to realize code-based cryptography. Many codeclasses were proposed for the McEliece cryptosystem, but most of them are broken by now. Sendrier suggested to use ordinary concatenated codes, however, he also presented an attack on such codes. This work investigates generalized concatenated codes to be used in the McEliece cryptosystem. We examine the application of Sendrier's attack on generalized concatenated codes and present alternative methods for both partly finding the code structure and recovering the plaintext from a cryptogram. Further, we discuss modifications of the cryptosystem making it resistant against these attacks.


title: A declarative extension of parsing expression grammars for recognizing most programming languages

abstract: Parsing Expression Grammars are a popular foundation for describing syntax. Unfortunately, several syntax of programming languages are still hard to recognize with pure PEGs. Notorious cases appears: typedef-defined names in C/C++, indentation-based code layout in Python, and HERE document in many scripting languages. To recognize such PEG-hard syntax, we have addressed a declarative extension to PEGs. The "declarative" extension means no programmed semantic actions, which are traditionally used to realize the extended parsing behavior. Nez is our extended PEG language, including symbol tables and conditional parsing. This paper demonstrates that the use of Nez Extensions can realize many practical programming languages, such as C, C\#, Ruby, and Python, which involve PEG-hard syntax.


title: On the regularity of the generalised golden ratio function

abstract: Given a finite set of real numbers $A$, the generalised golden ratio is the unique real number $\mathcal{G}(A) > 1$ for which we only have trivial unique expansions in smaller bases, and have non-trivial unique expansions in larger bases. We show that $\mathcal{G}(A)$ varies continuously with the alphabet $A$ (of fixed size). What is more, we demonstrate that as we vary a single parameter $m$ within~$A$, the generalised golden ratio function may behave like $m^{1/h}$ for any positive integer $h$. These results follow from a detailed study of $\mathcal{G}(A)$ for ternary alphabets, building upon the work of Komornik, Lai, and Pedicini (2011). We give a new proof of their main result, that is we explicitly calculate the function $\mathcal{G}(\{0,1,m\})$. (For a ternary alphabet, it may be assumed without loss of generality that $A = \{0,1,m\}$ with $m\in(1,2)]$.) We also study the set of $m \in (1,2]$ for which $\mathcal{G}(\{0,1,m\})=1+\sqrt{m},$ we prove that this set is uncountable and has Hausdorff dimension~$0$. We show that the function mapping $m$ to $\mathcal{G}(\{0,1,m\})$ is of bounded variation yet has unbounded derivative. Finally, we show that it is possible to have unique expansions as well as points with precisely two expansions at the generalised golden ratio.


title: Who Can Win a Single-Elimination Tournament?

abstract: A single-elimination (SE) tournament is a popular way to select a winner in both sports competitions and in elections. A natural and well-studied question is the tournament fixing problem (TFP): given the set of all pairwise match outcomes, can a tournament organizer rig an SE tournament by adjusting the initial seeding so that their favorite player wins? We prove new sufficient conditions on the pairwise match outcome information and the favorite player, under which there is guaranteed to be a seeding where the player wins the tournament. Our results greatly generalize previous results. We also investigate the relationship between the set of players that can win an SE tournament under some seeding (so called SE winners) and other traditional tournament solutions. In addition, we generalize and strengthen prior work on probabilistic models for generating tournaments. For instance, we show that \emph{every} player in an $n$ player tournament generated by the Condorcet Random Model will be an SE winner even when the noise is as small as possible, $p=\Theta(\ln n/n)$; prior work only had such results for $p\geq \Omega(\sqrt{\ln n/n})$. We also establish new results for significantly more general generative models.


title: TGSum: Build Tweet Guided Multi-Document Summarization Dataset

abstract: The development of summarization research has been significantly hampered by the costly acquisition of reference summaries. This paper proposes an effective way to automatically collect large scales of news-related multi-document summaries with reference to social media's reactions. We utilize two types of social labels in tweets, i.e., hashtags and hyper-links. Hashtags are used to cluster documents into different topic sets. Also, a tweet with a hyper-link often highlights certain key points of the corresponding document. We synthesize a linked document cluster to form a reference summary which can cover most key points. To this aim, we adopt the ROUGE metrics to measure the coverage ratio, and develop an Integer Linear Programming solution to discover the sentence set reaching the upper bound of ROUGE. Since we allow summary sentences to be selected from both documents and high-quality tweets, the generated reference summaries could be abstractive. Both informativeness and readability of the collected summaries are verified by manual judgment. In addition, we train a Support Vector Regression summarizer on DUC generic multi-document summarization benchmarks. With the collected data as extra training resource, the performance of the summarizer improves a lot on all the test sets. We release this dataset for further research.


title: A Computational Model for Amodal Completion

abstract: This paper presents a computational model to recover the most likely interpretation of the 3D scene structure from a planar image, where some objects may occlude others. The estimated scene interpretation is obtained by integrating some global and local cues and provides both the complete disoccluded objects that form the scene and their ordering according to depth. Our method first computes several distal scenes which are compatible with the proximal planar image. To compute these different hypothesized scenes, we propose a perceptually inspired object disocclusion method, which works by minimizing the Euler's elastica as well as by incorporating the relatability of partially occluded contours and the convexity of the disoccluded objects. Then, to estimate the preferred scene we rely on a Bayesian model and define probabilities taking into account the global complexity of the objects in the hypothesized scenes as well as the effort of bringing these objects in their relative position in the planar image, which is also measured by an Euler's elastica-based quantity. The model is illustrated with numerical experiments on, both, synthetic and real images showing the ability of our model to reconstruct the occluded objects and the preferred perceptual order among them. We also present results on images of the Berkeley dataset with provided figure-ground ground-truth labeling.


title: A general theory for irreversible thermodynamics

abstract: We demonstrate that irreversibility arises from the principle of microscopic reversibility and the presence of memory in the time evolution of a single copy of a system driven by a protocol. We introduce microscopic reversibility by using the concept of protocol- and pathway-dependent thermodynamic function, as defined in J.R. Arias-Gonzalez, arXiv:1511.08017 [cond-mat.stat-mech], and memory by using the concept of non-Markovianity, as in J.R. Arias-Gonzalez, arXiv:1511.06139 [cond-mat.stat-mech]. We define work as the change in free energy and heat as the change in entropy for micoscopic, individual pathways of a system subject to a protocol. We find that all non-equilibrium statistics emerge naturally. In particular, we derive most known fluctuation theorems and formulate two others. While the conservation of energy is invoked both at the level of the individual pathway and in ensemble-average processes, the second law of thermodynamics and the time arrow, which are only fulfilled in ensemble-average processes, are shown to be consequences of microscopic reversibility and non-Markovianity.

categories: cond-mat.stat-mech cond-mat.mes-hall physics.bio-ph quant-ph


title: Orthogonal forms and orthogonality preservers on real function algebras revisited

abstract: In 2014, we determine the precise form of a continuous orthogonal form on a commutative real C$^*$-algebra. We also describe the general form of a (not-necessarily continuous) orthogonality preserving linear map between commutative unital real C$^*$-algebras. Among the consequences, we show that every orthogonality preserving linear bijection between commutative unital real C$^*$-algebras is continuous. In this note we revisit these results and their proofs with the idea of filling a gap in the arguments, and to extend the original conclusions.


title: Electronic Properties of CdS/CdTe Solar Cells as Influenced by a Buffer Layer

abstract: We considered modification of the defect density of states in CdTe as influenced by a buffer layer in ZnO(ZnS, SnSe)/CdS/CdTe solar cells. Compared to the solar cells employing ZnO buffer layers, implementation of ZnSe and ZnS resulted in the lower net ionized acceptor concentration and the energy shift of the dominant deep trap levels to the midgap of CdTe. The results clearly indicated that the same defect was responsible for the inefficient doping and the formation of recombination centers in CdTe. This observation can be explained taking into account the effect of strain on the electronic properties of the grain boundary interface states in polycrystalline CdTe. In the conditions of strain, interaction of chlorine with the grain boundary point defects can be altered.


title: The daily processing of asteroid observations by Gaia

abstract: The Gaia mission started its regular observing program in the summer of 2014, and since then it is regularly obtaining observations of asteroids. This paper draws the outline of the data processing for Solar System objects, and in particular on the daily "short-term" processing, from the on-board data acquisition to the ground-based processing. We illustrate the tools developed to compute predictions of asteroid observations, we discuss the procedures implemented by the daily processing, and we illustrate some tests and validations of the processing of the asteroid observations. Our findings are overall consistent with the expectations concerning the performances of Gaia and the effectiveness of the developed software for data reduction.


title: Continuity of Lyapunov exponents is equivalent to continuity of Oseledets subspaces

abstract: We prove that, for semi-invertible continuous cocycles, continuity of Lyapunov exponents is equivalent to continuity, in measure, of Oseledets subspaces.


title: Temperature dependence of alpha-induced scintillation in the 1,1,4,4-tetraphenyl-1,3-butadiene wavelength shifter

abstract: Liquid noble based particle detectors often use the organic wavelength shifter 1,1,4,4- tetraphenyl-1,3-butadiene (TPB) which shifts UV scintillation light to the visible regime, facilitating its detection, but which also can scintillate on its own. Dark matter searches based on this type of detector commonly rely on pulse-shape discrimination (PSD) for background mitigation. Alpha-induced scintillation therefore represents a possible background source in dark matter searches. The timing characteristics of this scintillation determine whether this background can be mitigated through PSD. We have therefore characterized the pulse shape and light yield of alpha induced TPB scintillation at temperatures ranging from 300 K down to 4 K, with special attention given to liquid noble gas temperatures. We find that the pulse shapes and light yield depend strongly on temperature. In addition, the significant contribution of long time constants above ~50 K provides an avenue for discrimination between alpha decay events in TPB and nuclear-recoil events in noble liquid detectors.


title: The MiMeS Survey of Magnetism in Massive Stars: Introduction and overview

abstract: The MiMeS project is a large-scale, high resolution, sensitive spectropolarimetric investigation of the magnetic properties of O and early B type stars. Initiated in 2008 and completed in 2013, the project was supported by 3 Large Program allocations, as well as various programs initiated by independent PIs and archival resources. Ultimately, over 4800 circularly polarized spectra of 560 O and B stars were collected with the instruments ESPaDOnS at the Canada-France-Hawaii Telescope, Narval at the T\'elescope Bernard Lyot, and HARPSpol at the European Southern Observatory La Silla 3.6m telescope, making MiMeS by far the largest systematic investigation of massive star magnetism ever undertaken. In this paper, the first in a series reporting the general results of the survey, we introduce the scientific motivation and goals, describe the sample of targets, review the instrumentation and observational techniques used, explain the exposure time calculation designed to provide sensitivity to surface dipole fields above approximately 100 G, discuss the polarimetric performance, stability and uncertainty of the instrumentation, and summarize the previous and forthcoming publications.


title: Building Projected Entangled Pair States with a Local Gauge Symmetry

abstract: Tensor network states, and in particular projected entangled pair states (PEPS), suggest an innovative approach for the study of lattice gauge theories, both from a pure theoretic point of view, and as a tool for the analysis of the recent proposals for quantum simulations of lattice gauge theories. In this paper we present a framework for describing locally gauge invariant states on lattices using PEPS. The PEPS constructed hereby shall include both bosonic and fermionic states, suitable for all combinations of matter and gauge fields in lattice gauge theories defined by either finite or compact Lie groups.