title: Coarsening and mechanics in the bubble model for wet foams

abstract: Aqueous foams are an important model system that displays coarsening dynamics. Coarsening in dispersions and foams is well understood in the dilute and dry limits, where the gas fraction tends to zero and one, respectively. However, foams are known to undergo a jamming transition from a fluid-like to a solid-like state at an intermediate gas fraction,$\phi_c$. Much less is known about coarsening dynamics in wet foams near jamming, and the link to mechanical response, if any, remains poorly understood. Here, we probe coarsening and mechanical response using numerical simulations of a variant of the Durian bubble model for wet foams. As in other coarsening systems we find a steady state scaling regime with an associated particle size distribution. We relate the time-rate of evolution of the coarsening process to the wetness of the foam and identify a characteristic coarsening time that diverges approaching jamming. We further probe mechanical response of the system to strain while undergoing coarsening. There are two competing time scales, namely the coarsening time and the mechanical relaxation time. We relate these to the evolution of the elastic response and the mechanical structure.


title: New results of the search for hidden photons by means of a multicathode counter

abstract: New upper limit on a mixing parameter for hidden photons with a mass from 5 eV till 10 keV has been obtained from the results of measurements during 78 days in two configurations R1 and R2 of a multicathode counter. For a region of a maximal sensitivity from 10 eV till 30 eV the upper limit obtained is less than 4 x 10-11. The measurements have been performed at three temperatures: 26C, 31C and 36C. A positive effect for the spontaneous emission of single electrons has been obtained at the level of more than 7{\sigma}. A falling tendency of a temperature dependence of the spontaneous emission rate indicates that the effect of thermal emission from a copper cathode can be neglected.


title: Exploring Code Clones in Programmable Logic Controller Software

abstract: The reuse of code fragments by copying and pasting is widely practiced in software development and results in code clones. Cloning is considered an anti-pattern as it negatively affects program correctness and increases maintenance efforts. Programmable Logic Controller (PLC) software is no exception in the code clone discussion as reuse in development and maintenance is frequently achieved through copy, paste, and modification. Even though the presence of code clones may not necessary be a problem per se, it is important to detect, track and manage clones as the software system evolves. Unfortunately, tool support for clone detection and management is not commonly available for PLC software systems or limited to generic tools with a reduced set of features. In this paper, we investigate code clones in a real-world PLC software system based on IEC 61131-3 Structured Text and C/C++. We extended a widely used tool for clone detection with normalization support. Furthermore, we evaluated the different types and natures of code clones in the studied system and their relevance for refactoring. Results shed light on the applicability and usefulness of clone detection in the context of industrial automation systems and it demonstrates the benefit of adapting detection and management tools for IEC 611313-3 languages.


title: Exact Learning from an Honest Teacher That Answers Membership Queries

abstract: Given a teacher that holds a function $f:X\to R$ from some class of functions $C$. The teacher can receive from the learner an element~$d$ in the domain $X$ (a query) and returns the value of the function in $d$, $f(d)\in R$. The learner goal is to find $f$ with a minimum number of queries, optimal time complexity, and optimal resources. In this survey, we present some of the results known from the literature, different techniques used, some new problems, and open problems.


title: A linearized stability theorem for nonlinear delay fractional differential equations

abstract: In this paper, we prove a theorem of linearized asymptotic stability for fractional differential equations with a time delay. More precisely, using the method of linearization of a nonlinear equation along an orbit (Lyapunov's first method), we show that an equilibrium of a nonlinear Caputo fractional differential equation with a time delay is asymptotically stable if its linearization at the equilibrium is asymptotically stable. Our approach based on a technique which converts the linear part of the equation into a diagonal one. Then using properties of generalized Mittag-Leffler functions, the construction of an associated Lyapunov--Perron operator and the Banach contraction mapping theorem, we obtain the desired result.


title: Dove prism in single-path Sagnac interferometer for orbital-angular-momentum photon states

abstract: The degree of freedom of orbital angular momentum (OAM) is an important resource in high-dimensional quantum information processing, as the quantum number of OAM can be infinite. The Dove prism (DP) is a most common tool to manipulate the OAM light, such as in interferometers. However, the Dove prism does not preserve the polarization of the photon states and decreases the sorting fidelity of the interferometer. In this work, we analyze the polarization-dependent effect of the DP on single-path Sagnac interferometers. The results are instructive to quantum information processing with OAM light. We also proposed a modified single-path beam splitter Sagnac interferometer (BSSI), of which the sorting fidelity is independent on input polarization and can be 100\% in principle. The single-path BSSI is stable for free running. These merits are crucial in quantum information processing, such as quantum cryptography.


title: Efficient Bayesian inference for multivariate factor stochastic volatility models with leverage

abstract: This paper discusses the efficient Bayesian estimation of a multivariate factor stochastic volatility (Factor MSV) model with leverage. We propose a novel approach to construct the sampling schemes that converges to the posterior distribution of the latent volatilities and the parameters of interest of the Factor MSV model based on recent advances in Particle Markov chain Monte Carlo (PMCMC). As opposed to the approach of Chib et al. (2006} and Omori et al. (2007}, our approach does not require approximating the joint distribution of outcome and volatility innovations by a mixture of bivariate normal distributions. To sample the free elements of the loading matrix we employ the interweaving method used in Kastner et al. (2017} in the Particle Metropolis within Gibbs (PMwG) step. The proposed method is illustrated empirically using a simulated dataset and a sample of daily US stock returns.


title: Mesoscopic magnetic resonance spectroscopy with a remote spin sensor

abstract: Quantum sensing based on nitrogen-vacancy (NV) centers in diamond has been developed as a powerful tool for microscopic magnetic resonance. However, the reported sensor-to-sample distance is limited within tens of nanometers because the signal of spin fluctuation decreases cubically with the increasing distance. Here we extend the sensing distance to tens of micrometers by detecting spin polarization rather than spin fluctuation. We detected the mesoscopic magnetic resonance spectra of polarized electrons of a pentacene-doped crystal, measured its two typical decay times and observed the optically enhanced spin polarization. This work paves the way for the NV-based mesoscopic magnetic resonance spectroscopy and imaging at ambient conditions.


title: Fuzzy Recommendations in Marketing Campaigns

abstract: The population in Sweden is growing rapidly due to immigration. In this light, the issue of infrastructure upgrades to provide telecommunication services is of importance. New antennas can be installed at hot spots of user demand, which will require an investment, and/or the clientele expansion can be carried out in a planned manner to promote the exploitation of the infrastructure in the less loaded geographical zones. In this paper, we explore the second alternative. Informally speaking, the term Infrastructure-Stressing describes a user who stays in the zones of high demand, which are prone to produce service failures, if further loaded. We have studied the Infrastructure-Stressing population in the light of their correlation with geo-demographic segments. This is motivated by the fact that specific geo-demographic segments can be targeted via marketing campaigns. Fuzzy logic is applied to create an interface between big data, numeric methods for processing big data and a manager.


title: Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials

abstract: It is well-known that every non-negative univariate real polynomial can be written as the sum of two polynomial squares with real coefficients. When one allows a weighted sum of finitely many squares instead of a sum of two squares, then one can choose all coefficients in the representation to lie in the field generated by the coefficients of the polynomial. In this article, we describe, analyze and compare both from the theoretical and practical points of view, two algorithms computing such a weighted sums of squares decomposition for univariate polynomials with rational coefficients. The first algorithm, due to the third author relies on real root isolation, quadratic approximations of positive polynomials and square-free decomposition but its complexity was not analyzed. We provide bit complexity estimates, both on runtime and output size of this algorithm. They are exponential in the degree of the input univariate polynomial and linear in the maximum bitsize of its complexity. This analysis is obtained using quantifier elimination and root isolation bounds. The second algorithm, due to Chevillard, Harrison, Joldes and Lauter, relies on complex root isolation and square-free decomposition and has been introduced for certifying positiveness of polynomials in the context of computer arithmetics. Again, its complexity was not analyzed. We provide bit complexity estimates, both on runtime and output size of this algorithm, which are polynomial in the degree of the input polynomial and linear in the maximum bitsize of its complexity. This analysis is obtained using Vieta's formula and root isolation bounds. Finally, we report on our implementations of both algorithms. While the second algorithm is, as expected from the complexity result, more efficient on most of examples, we exhibit families of non-negative polynomials for which the first algorithm is better.


title: Uniform energy decay for wave equations with unbounded damping coefficients

abstract: We consider the Cauchy problem for wave equations with unbounded damping coefficients in the whole space. For a general class of unbounded damping coefficients, we derive uniform total energy decay estimates together with a unique existence result of a weak solution. In this case we never impose strong assumptions such as compactness of the support of the initial data. This means that we never rely on the finite propagation speed property of the solution, and we try to deal with an essential unbounded coefficient case.


title: On the difference of time-integrated $CP$ asymmetries in $D^0\rightarrow K^+K^-$ and $D^0\rightarrow\pi^+\pi^-$ decays: unparticle physics contribution

abstract: The LHCb Collaboration has recently measured the difference of time-integrated $CP$ asymmetry in $D^{0}\rightarrow K^{+}K^{-}$ and $D^{0}\rightarrow \pi^{+}\pi^{-}$ decays, more precisely. The reported value is $ \Delta A_{CP}=-0.10 \pm 0.08 (\text{stat}) \pm 0.03 (\text{syst})\% $ which indicates no evidence for $CP$ violation. We consider the possible unparticle physics contribution in this quantity and by using the LCHb data try to constrain the parameter space of unparticle stuff.


title: Recommendations for Marketing Campaigns in Telecommunication Business based on the footprint analysis

abstract: A major investment made by a telecom operator goes into the infrastructure and its maintenance, while business revenues are proportional to how big and good the customer base is. We present a data-driven analytic strategy based on combinatorial optimization and analysis of historical data. The data cover historical mobility of the users in one region of Sweden during a week. Applying the proposed method to the case study, we have identified the optimal proportion of geo-demographic segments in the customer base, developed a functionality to assess the potential of a planned marketing campaign, and explored the problem of an optimal number and types of the geo-demographic segments to target through marketing campaigns. With the help of fuzzy logic, the conclusions of data analysis are automatically translated into comprehensible recommendations in a natural language.


title: Dynamical storage of quantum states

abstract: We consider a dynamical method of storage of quantum states based on the spin-1/2 systems with the dipole-dipole interactions in a strong external magnetic field { supplemented with the special time-reversion procedure}. The stored information can be extracted at certain time instants.


title: A Supervised Approach to Extractive Summarisation of Scientific Papers

abstract: Automatic summarisation is a popular approach to reduce a document to its main arguments. Recent research in the area has focused on neural approaches to summarisation, which can be very data-hungry. However, few large datasets exist and none for the traditionally popular domain of scientific publications, which opens up challenging research avenues centered on encoding large, complex documents. In this paper, we introduce a new dataset for summarisation of computer science publications by exploiting a large resource of author provided summaries and show straightforward ways of extending it further. We develop models on the dataset making use of both neural sentence encoding and traditionally used summarisation features and show that models which encode sentences as well as their local and global context perform best, significantly outperforming well-established baseline methods.


title: Long-Term Video Interpolation with Bidirectional Predictive Network

abstract: This paper considers the challenging task of long-term video interpolation. Unlike most existing methods that only generate few intermediate frames between existing adjacent ones, we attempt to speculate or imagine the procedure of an episode and further generate multiple frames between two non-consecutive frames in videos. In this paper, we present a novel deep architecture called bidirectional predictive network (BiPN) that predicts intermediate frames from two opposite directions. The bidirectional architecture allows the model to learn scene transformation with time as well as generate longer video sequences. Besides, our model can be extended to predict multiple possible procedures by sampling different noise vectors. A joint loss composed of clues in image and feature spaces and adversarial loss is designed to train our model. We demonstrate the advantages of BiPN on two benchmarks Moving 2D Shapes and UCF101 and report competitive results to recent approaches.


title: Search for dark matter in association with a Higgs boson decaying to two photons at $\sqrt{s}$= 13 TeV with the ATLAS detector

abstract: A search for dark matter in association with a Higgs boson decaying to two photons is presented. This study is based on data collected with the ATLAS detector, corresponding to an integrated luminosity of 36.1 fb$^{-1}$ of proton--proton collisions at the LHC at a center-of-mass energy of 13 TeV in 2015 and 2016. No significant excess over the expected background is observed. Upper limits at 95% confidence level are set on the visible cross section for beyond the Standard Model physics processes, and the production cross section times branching fraction of the Standard Model Higgs boson decaying into two photons in association with missing transverse momentum in three different benchmark models. Limits at 95% confidence level are also set on the observed signal in two-dimensional mass planes. Additionally, the results are interpreted in terms of 90% confidence-level limits on the dark-matter--nucleon scattering cross section, as a function of the dark-matter particle mass, for a spin-independent scenario.


title: On Generalizing Decidable Standard Prefix Classes of First-Order Logic

abstract: Recently, the separated fragment (SF) of first-order logic has been introduced. Its defining principle is that universally and existentially quantified variables may not occur together in atoms. SF properly generalizes both the Bernays-Sch\"onfinkel-Ramsey (BSR) fragment and the relational monadic fragment. In this paper the restrictions on variable occurrences in SF sentences are relaxed such that universally and existentially quantified variables may occur together in the same atom under certain conditions. Still, satisfiability can be decided. This result is established in two ways: firstly, by an effective equivalence-preserving translation into the BSR fragment, and, secondly, by a model-theoretic argument. Slight modifications to the described concepts facilitate the definition of other decidable classes of first-order sentences. The paper presents a second fragment which is novel, has a decidable satisfiability problem, and properly contains the Ackermann fragment and---once more---the relational monadic fragment. The definition is again characterized by restrictions on the occurrences of variables in atoms. More precisely, after certain transformations, Skolemization yields only unary functions and constants, and every atom contains at most one universally quantified variable. An effective satisfiability-preserving translation into the monadic fragment is devised and employed to prove decidability of the associated satisfiability problem.


title: Procedural Wang Tile Algorithm for Stochastic Wall Patterns

abstract: The game and movie industries always face the challenge of reproducing materials. This problem is tackled by combining illumination models and various textures (painted or procedural patterns). Gnerating stochastic wall patterns is crucial in the creation of a wide range of backgrounds (castles, temples, ruins...). A specific Wang tile set was introduced previously to tackle this problem, in a non-procedural fashion. Long lines may appear as visual artifacts. We use this tile set in a new procedural algorithm to generate stochastic wall patterns. For this purpose, we introduce specific hash functions implementing a constrained Wang tiling. This technique makes possible the generation of boundless textures while giving control over the maximum line length. The algorithm is simple and easy to implement, and the wall structure we get from the tiles allows to achieve visuals that reproduce all the small details of artist painted walls.


title: Optimization over Degree Sequences

abstract: We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that deciding if a given sequence is the degree sequence of a 3-hypergraph is NP-complete, thereby solving a 30 year long open problem. This implies that optimization over hypergraphs is hard already for simple concave functions. In contrast, we show that for graphs, if the functions at vertices are the same, then the problem is polynomial time solvable. We also provide positive results for convex optimization over multihypergraphs and graphs and exploit connections to degree sequence polytopes and threshold graphs. We then elaborate on connections to the emerging theory of shifted combinatorial optimization.


title: Modelling prosodic structure using Artificial Neural Networks

abstract: The ability to accurately perceive whether a speaker is asking a question or is making a statement is crucial for any successful interaction. However, learning and classifying tonal patterns has been a challenging task for automatic speech recognition and for models of tonal representation, as tonal contours are characterized by significant variation. This paper provides a classification model of Cypriot Greek questions and statements. We evaluate two state-of-the-art network architectures: a Long Short-Term Memory (LSTM) network and a convolutional network (ConvNet). The ConvNet outperforms the LSTM in the classification task and exhibited an excellent performance with 95% classification accuracy.


title: Efficient Bayesian estimation for flexible panel models for multivariate outcomes: Impact of life events on mental health and excessive alcohol consumption

abstract: The problem we consider considers estimating a multivariate longitudinal panel data model whose outcomes can be a combination of discrete and continuous variables. This problem is challenging because the likelihood is usually analytically intractable. Our article makes both a methodological contribution and also a substantive contribution to the application. The methodological contribution is to introduce into the panel data literature a particle Metropolis within Gibbs method to carry out Bayesian inference, using a Hamiltonian Monte Carlo (Neal 2011} proposal for sampling the vector of unknown parameters. We note that in panel data models the Our second contribution is to apply our method to carry out a serious analysis of the impact of serious life events on mental health and excessive alcohol consumption. The dependence between these two outcomes may be more pronounced when consumption of alcohol is excessive and mental health poor, which in turn has implications for how life events impact the joint distribution of the outcomes.


title: Three superconducting phases with different categories of pairing in hole- and electron-doped LaFeAs$_{1-x}$P$_x$O

abstract: The phase diagram of LaFeAs$_{1-x}$P$_x$O system has been extensively studied through hole- and electron-doping as well as As/P-substitution. It has been revealed that there are three different superconducting phases with different Fermi surface (FS) topologies and thus with possibly different pairing glues. One of them is well understood as spin fluctuation-mediated superconductivity within a FS nesting scenario. Another one with the FSs in a bad nesting condition must be explained in a different context such as orbital or spin fluctuation in strongly correlated electronic system. In both phases, $T$-linear resistivity was commonly observed when the superconducting transition temperature $T_{\rm c}$ becomes the highest value, indicating that the strength of bosonic fluctuation determines $T_{\rm c}$. In the last superconducting phase, the nesting condition of FSs and the related bosonic fluctuation are moderate. Variety of phase diagram characterizes the multiple orbital nature of the iron-based superconductors which are just near the boundary between weak and strong correlation regimes.


title: A Note on the Relationship Between Conditional and Unconditional Independence, and its Extensions for Markov Kernels

abstract: Two known results on the relationship between conditional and unconditional independence are obtained as a consequence of the main result of this paper, a theorem that uses independence of Markov kernels to obtain a minimal condition which added to conditional independence implies independence. Some counterexamples and representation results are provided to clarify the concepts introduced and the propositions of the statement of the main theorem. Moreover, conditional independence and the mentioned results are extended to the framework of Markov kernels.


title: Reverse juggling processes

abstract: Knutson introduced two families of reverse juggling Markov chains (single and multispecies) motivated by the study of random semi-infinite matrices over $\mathbb{F}_q$. We present natural generalizations of both chains by placing generic weights that still lead to simple combinatorial expressions for the stationary distribution. For permutations, this is a seemingly new multivariate generalization of the inversion polynomial.


title: Convergent series for polynomial lattice models with complex actions

abstract: Lattice models with complex actions are important for the understanding of matter at finite densities, but not accessible by the standard Monte Carlo techniques due to the sign problem. Here we derive a new approach for avoiding the complex action/sign problem, by extending the method of convergent series with a non-Gaussian initial approximation. The main features of the new series are demonstrated on the example of the two dimensional oscillating integral.


title: Accelerated Dual Learning by Homotopic Initialization

abstract: Gradient descent and coordinate descent are well understood in terms of their asymptotic behavior, but less so in a transient regime often used for approximations in machine learning. We investigate how proper initialization can have a profound effect on finding near-optimal solutions quickly. We show that a certain property of a data set, namely the boundedness of the correlations between eigenfeatures and the response variable, can lead to faster initial progress than expected by commonplace analysis. Convex optimization problems can tacitly benefit from that, but this automatism does not apply to their dual formulation. We analyze this phenomenon and devise provably good initialization strategies for dual optimization as well as heuristics for the non-convex case, relevant for deep learning. We find our predictions and methods to be experimentally well-supported.


title: Non-wetting drops at liquid interfaces: From liquid marbles to Leidenfrost drops

abstract: We consider the flotation of deformable, non-wetting drops on a liquid interface. We consider the deflection of both the liquid interface and the droplet itself in response to the buoyancy forces, density difference and the various surface tensions within the system. Our results suggest new insight into a range of phenomena in which such drops occur, including Leidenfrost droplets and floating liquid marbles. In particular, we show that the floating state of liquid marbles is very sensitive to the tension of the particle-covered interface and suggest that this sensitivity may make such experiments a useful assay of the properties of these complex interfaces.


title: RELink: A Research Framework and Test Collection for Entity-Relationship Retrieval

abstract: Improvements of entity-relationship (E-R) search techniques have been hampered by a lack of test collections, particularly for complex queries involving multiple entities and relationships. In this paper we describe a method for generating E-R test queries to support comprehensive E-R search experiments. Queries and relevance judgments are created from content that exists in a tabular form where columns represent entity types and the table structure implies one or more relationships among the entities. Editorial work involves creating natural language queries based on relationships represented by the entries in the table. We have publicly released the RELink test collection comprising 600 queries and relevance judgments obtained from a sample of Wikipedia List-of-lists-of-lists tables. The latter comprise tuples of entities that are extracted from columns and labelled by corresponding entity types and relationships they represent. In order to facilitate research in complex E-R retrieval, we have created and released as open source the RELink Framework that includes Apache Lucene indexing and search specifically tailored to E-R retrieval. RELink includes entity and relationship indexing based on the ClueWeb-09-B Web collection with FACC1 text span annotations linked to Wikipedia entities. With ready to use search resources and a comprehensive test collection, we support community in pursuing E-R research at scale.


title: Biopolymer dynamics driven by helical flagella

abstract: Microbial flagellates typically inhabit complex suspensions of polymeric material which can impact the swimming speed of motile microbes, filter-feeding of sessile cells, and the generation of biofilms. There is currently a need to better understand how the fundamental dynamics of polymers near active cells or flagella impacts these various phenomena, in particular the hydrodynamic and steric influence of a rotating helical filament on suspended polymers. Our Stokesian dynamics simulations show that as a stationary rotating helix pumps fluid along its long axis, polymers migrate radially inwards while being elongated. We observe that the actuation of the helix tends to increase the probability of finding polymeric material within its pervaded volume. This accumulation of polymers within the vicinity of the helix is stronger for longer polymers. We further analyse the stochastic work performed by the helix on the polymers and show that this quantity is positive on average and increases with polymer contour length.


title: Detecting stochastic inclusions in electrical impedance tomography

abstract: This work considers the inclusion detection problem of electrical impedance tomography with stochastic conductivities. It is shown that a conductivity anomaly with a random conductivity can be identified by applying the Factorization Method or the Monotonicity Method to the mean value of the corresponding Neumann-to-Dirichlet map provided that the anomaly has high enough contrast in the sense of expectation. The theoretical results are complemented by numerical examples in two spatial dimensions.


title: Coherence retrieval using trace regularization

abstract: The mutual intensity and its equivalent phase-space representations quantify an optical field's state of coherence and are important tools in the study of light propagation and dynamics, but they can only be estimated indirectly from measurements through a process called coherence retrieval, otherwise known as phase-space tomography. As practical considerations often rule out the availability of a complete set of measurements, coherence retrieval is usually a challenging high-dimensional ill-posed inverse problem. In this paper, we propose a trace-regularized optimization model for coherence retrieval and a provably-convergent adaptive accelerated proximal gradient algorithm for solving the resulting problem. Applying our model and algorithm to both simulated and experimental data, we demonstrate an improvement in reconstruction quality over previous models as well as an increase in convergence speed compared to existing first-order methods.


title: Hybrid-DFT+V$_w$ method for accurate band structure of correlated transition metal compounds: the case of cerium dioxide

abstract: Hybrid functionals' non-local exchange-correlation potential contains a derivative discontinuity that improves on standard semi-local density functional theory (DFT) band gaps. Moreover, by careful parameterization, hybrid functionals can provide self-interaction reduced description of selected states. On the other hand, the uniform description of all the electronic states of a given system is a know drawback of these functionals that causes varying accuracy in the description of states with different degrees of localization. This limitation can be remedied by the orbital dependent exact exchange extension of hybrid functionals; the hybrid-DFT+V$_w$ method [V. Iv{\'a}dy, et al., Phys. Rev. B 90, 035146 (2014)]. Based on the analogy of quasi-particle equations and hybrid-DFT single particle equations, here we demonstrate that parameters of hybrid-DFT+V$_w$ functional can be determined from approximate quasi-particle spectra. The proposed technique leads to a reduction of self-interaction and provides improved description for both $s$ / $p$ and $d$ / $f$-electrons of the simulated system. The performance of our charge self-consistent method is illustrated on the electronic structure calculation of cerium dioxide where good agreement with both quasi-particle and experimental spectra is achieved.


title: Structural and bonding character of potassium-doped p-terphenyl superconductors

abstract: Recently, there is a series of reports by Wang et al. on the superconductivity in K-doped p-terphenyl (KxC18H14) with the transition temperatures range from 7 to 123 Kelvin. Identifying the structural and bonding character is the key to understand the superconducting phases and the related properties. Therefore we carried out an extensive study on the crystal structures with different doping levels and investigate the thermodynamic stability, structural, electronic, and magnetic properties by the first-principles calculations. Our calculated structures capture most features of the experimentally observed X-ray diffraction patterns. The K doping concentration is constrained to within the range of 2 and 3. The obtained formation energy indicates that the system at x = 2.5 is more stable. The strong ionic bonding interaction is found in between K atoms and organic molecules. The charge transfer accounts for the metallic feature of the doped materials. For a small amount of charge transferred, the tilting force between the two successive benzenes drives the system to stabilize at the antiferromagnetic ground state, while the system exhibits non-magnetic behavior with increasing charge transfer. The multiformity of band structures near the Fermi level indicates that the driving force for superconductivity is complicated.


title: Fast forward of adiabatic control of tunneling states

abstract: By developing the preceding work on the fast forward of transient phenomena of quantum tunneling by Khujakulov and Nakamura (Phys. Rev. {\bf A 93}, 022101 (2016) ), we propose a scheme of the exact fast forward of adiabatic control of stationary tunneling states with use of the electromagnetic field. The idea allows the acceleration of both the amplitude and phase of wave functions throughout the fast-forward time range. The scheme realizes the fast-forward observation of the transport coefficients under the adiabatically-changing barrier with the fixed energy of an incoming particle. As typical examples we choose systems with (1) Eckart's potential with tunable asymmetry and (2) double $\delta$-function barriers under tunable relative height. We elucidate the driving electric field to guarantee the stationary tunneling state during a rapid change of the barrier and evaluate both the electric-field-induced temporary deviation of transport coefficients from their stationary values and the modulation of the phase of complex scattering coefficients


title: LMC Blue Supergiant Stars and the Calibration of the Flux-weighted Gravity--Luminosity Relationship

abstract: High quality spectra of 90 blue supergiant stars in the Large Magellanic Cloud are analyzed with respect to effective temperature, gravity, metallicity, reddening, extinction and extinction law. An average metallicity, based on Fe and Mg abundances, relative to the Sun of [Z] = -0.35 +/- 0.09 dex is obtained. The reddening distribution peaks at E(B-V) = 0.08 mag, but significantly larger values are also encountered. A wide distribution of the ratio of extinction to reddening is found ranging from Rv = 2 to 6. The results are used to investigate the blue supergiant relationship between flux-weighted gravity, and absolute bolometric magnitude. The existence of a tight relationship, the FGLR, is confirmed. However, in contrast to previous work the observations reveal that the FGLR is divided into two parts with a different slope. For flux-weighted gravities larger than 1.30 dex the slope is similar as found in previous work, but the relationship becomes significantly steeper for smaller values of the flux-weighted gravity. A new calibration of the FGLR for extragalactic distance determinations is provided.


title: Asynchronous Graph Pattern Matching on Multiprocessor Systems

abstract: Pattern matching on large graphs is the foundation for a variety of application domains. Strict latency requirements and continuously increasing graph sizes demand the usage of highly parallel in-memory graph processing engines that need to consider non-uniform memory access (NUMA) and concurrency issues to scale up on modern multiprocessor systems. To tackle these aspects, graph partitioning becomes increasingly important. Hence, we present a technique to process graph pattern matching on NUMA systems in this paper. As a scalable pattern matching processing infrastructure, we leverage a data-oriented architecture that preserves data locality and minimizes concurrency-related bottlenecks on NUMA systems. We show in detail, how graph pattern matching can be asynchronously processed on a multiprocessor system.


title: EXO 2030+375 Restarts in Reverse

abstract: The Be X-ray binary pulsar EXO 2030+375, first detected in 1985, has shown a significant detected X-ray outburst at nearly every periastron passage of its 46-day orbit for the past ~25 years, with one low state accompanied by a torque reversal in the 1990s. In early 2015 the outbursts progressively became fainter and less regular while the monotonic spin-up flattened. At the same time a decrease in the H$\alpha$ line equivalent width was reported, indicating a change in the disk surrounding the mass donor. In order to explore the source behaviour in the poorly explored low-flux state with a possible transition to a state of centrifugal inhibition of accretion we have undertaken an observing campaign with Swift/XRT, NuSTAR and the Nordic Optical Telescope (NOT). This conference contribution reports the preliminary results obtained from our campaign.


title: Topological Phase Transition in Layered XIn$_2$P$_2$ (X = Ca, Sr)

abstract: Based on fully relativistic first-principles calculations, we studied the topological properties of layered XIn$_2$P$_2$ (X = Ca, Sr). Band inversion can be induced by strain without SOC, forming one nodal ring in the k$_z$ = 0 plane, which is protected by the coexistence of time-reversal and mirror-reflection symmetry. Including SOC, a substantial band gap is opened along the nodal line and the line-node semimetal would evolve into a topological insulator. These results reveal a category of materials showing quantum phase transition from trivial semiconductor and topologically nontrivial insulator by the tuneable elastic strain engineering. Our investigations provide a new perspective about the formation of topological line-node semimetal under stain.


title: Relativistic corrections to the static energy in terms of Wilson loops at weak coupling

abstract: We consider the ${\mathcal O}(1/m)$ and the spin-independent momentum-dependent ${\mathcal O}(1/m^2)$ quasi-static energies of heavy quarkonium (with unequal masses). They are defined nonperturbatively in terms of Wilson loops. We determine their short-distance behavior through ${\mathcal O}(\alpha^3)$ and ${\mathcal O}(\alpha^2)$, respectively. In particular, we calculate the ultrasoft contributions to the quasi-static energies, which requires the resummation of potential interactions. Our results can be directly compared to lattice simulations. In addition, we also compare the available lattice data with the expectations from effective string models for the long-distance behavior of the quasi-static energies.


title: Mechanics of collapsing cavitation bubbles

abstract: A brief survey is given of the dynamical phenomena accompanying the collapse of cavitation bubbles. The discussion includes shock waves, microjets and the various ways in which collapsing bubbles produce damage.


title: On general $(\alpha, \beta)$-metrics of weak Landsberg type

abstract: In this paper, we study general $(\alpha,\beta)$-metrics which $\alpha$ is a Riemannian metric and $\beta$ is an one-form. We have proven that every weak Landsberg general $(\alpha,\beta)$-metric is a Berwald metric, where $\beta$ is a closed and conformal one-form. This show that there exist no generalized unicorn metric in this class of general $(\alpha,\beta)$-metric. Further, We show that $F$ is a Landsberg general $(\alpha,\beta)$-metric if and only if it is weak Landsberg general $(\alpha,\beta)$-metric, where $\beta$ is a closed and conformal one-form.


title: Polarimetry and Photometry of Gamma-Ray Bursts with RINGO2

abstract: We present a catalog of early-time (~10^2-10^4s) photometry and polarimetry of all Gamma-Ray Burst (GRB) optical afterglows observed with RINGO2 imaging polarimeter on the Liverpool Telescope. For the 19 optical afterglows observed, the following 9 were bright enough to perform photometry and attempt polarimetry: GRB 100805A, GRB 101112A, GRB 110205A, GRB 110726A, GRB 120119A, GRB 120308A, GRB 120311A, GRB 120326A and GRB 120327A. We present multi-wavelength light curves for these 9 GRBs, together with estimates of their optical polarization degrees and/or limits. We carry out a thorough investigation of detection probabilities, instrumental properties and systematics. Using two independent methods, we confirm previous reports of significant polarization in GRB 110205A and 120308A, and report new detection of $P=6^{+3}_{-2}\%$ in GRB101112A. We discuss the results for the sample in the context of the reverse and forward shock afterglow scenario, and show that GRBs with detectable optical polarization at early time have clearly identifiable signatures of reverse-shock emission in their optical light curves. This supports the idea that GRB ejecta contain large-scale magnetic fields and highlights the importance of rapid-response polarimetry.


title: A note on critical Hawkes processes

abstract: Let $F$ be a distribution function on $\mathbb{R}$ with $F(0) = 0 $ and density $f$. Let $\tilde{F}$ be the distribution function of $X_1 - X_2$, $X_i\sim F,\, i=1,2,\text{ iid}$. We show that for a critical Hawkes process with displacement density (= `excitement function' = `decay kernel') $f$, the random walk induced by $\tilde{F}$ is necessarily transient. Our conjecture is that this condition is also sufficient for existence of a critical Hawkes process. Our train of thought relies on the interpretation of critical Hawkes processes as cluster-invariant point processes. From this property, we identify the law of critical Hawkes processes as a limit of independent cluster operations. We establish uniqueness, stationarity, and infinite divisibility. Furthermore, we provide various constructions: a Poisson embedding, a representation as Hawkes process with renewal immigration, and a backward construction yielding a Palm version of the critical Hawkes process. We give specific examples of the constructions, where $F$ is regularly varying with tail index $\alpha\in(0,0.5)$. Finally, we propose to encode the genealogical structure of a critical Hawkes process with Kesten (size-biased) trees. The presented methods lay the grounds for the open discussion of multitype critical Hawkes processes as well as of critical integer-valued autoregressive time series.


title: Geometric properties of a binary non-Pisot inflation and absence of absolutely continuous diffraction

abstract: One of the simplest non-Pisot substitution rules is investigated in its geometric version as a tiling with intervals of natural length as prototiles. Via a detailed renormalisation analysis of the pair correlation functions, we show that the diffraction measure cannot comprise any absolutely continuous component. This implies that the diffraction, apart from a trivial Bragg peak at the origin, is purely singular continuous. En route, we derive various geometric and algebraic properties of the underlying Delone dynamical system, which we expect to be relevant in other such systems as well.


title: Networks with asymmetric inputs: lattice of synchrony subspaces

abstract: We consider coupled cell networks with asymmetric inputs and study their lattice of synchrony subspaces. For the particular case of 1-input regular coupled cell networks we describe the join-irreducible synchrony subspaces for their lattice of synchrony subspaces, first in terms of the eigenvectors and generalized eigenvectors that generate them, and then by giving a characterization of the possible patterns of the associated balanced colourings. The set of the join-irreducible synchrony subspaces is join-dense for the lattice, that is, the lattice can be obtained by sums of those join-irreducible elements (M. Aguiar, P. Ashwin, A. Dias, and M. Field. Dynamics of coupled cell networks: synchrony, heteroclinic cycles and inflation, {\em J. Nonlinear Sci.} {\bf 21} (2) (2011) 271--323), and we conclude about the possible patterns of balanced colourings associated to the synchrony subspaces in the lattice. We also consider the disjoint union of two regular coupled cell networks with the same cell-type and the same edge-type. We show how to obtain the lattice of synchrony subspaces for the network union from the lattice of synchrony subspaces for the component networks. The lattice of synchrony subspaces for a homogeneous coupled cell network is given by the intersection of the lattice of synchrony subspaces for its identical-edge subnetworks per each edge-type (M. A. D. Aguiar and A. P. S. Dias. The lattice of synchrony subspaces of a coupled cell network: Characterization and computation algorithm, {\em Journal of Nonlinear Science}, {\bf 24} (6) (2014), 949--996). This, together with the results in this paper, on the lattice of synchrony subspaces for 1-input regular networks and on the lattice of synchrony subspaces for the disjoint union of networks, define a procedure to obtain the lattice of synchrony subspaces for homogeneous coupled cell networks with asymmetric inputs.


title: Signature of magnon Nernst effect in an antiferromagnetic insulator

abstract: A magnon Nernst effect, an antiferromagnetic analogue of the magnon Hall effect in ferromagnetic insulators, has been studied experimentally for a layered antiferromagnetic insulator MnPS3 in contact with two Pt strips. Thermoelectric voltage in the Pt strips grown on MnPS3 single crystals exhibits non-monotonic temperature dependence at low temperatures, which cannot be explained by electronic origins in Pt but can be ascribed to the inverse spin Hall voltage induced by a magnon Nernst effect. Control of antiferromagnetic domains in the MnPS3 crystal by magnetoelectric cooling is found to modulate the low-temperature thermoelectric voltage in Pt, which corroborates the emergence of the magnon Nernst effect in Pt|MnPS3 hybrid structures.


title: Surprisingly different starspot distributions on the near equal-mass equal-rotation-rate stars in the M dwarf binary GJ 65 AB

abstract: We aim to understand how stellar parameters such as mass and rotation impact the distribution of starspots on the stellar surface. To this purpose, we have used Doppler imaging to reconstruct the surface brightness distributions of three fully convective M dwarfs with similar rotation rates. We secured high cadence spectral time series observations of the 5.5 AU separation binary GJ 65, comprising GJ 65A (M5.5V, Prot = 0.24 d) and GJ 65B (M6V, Prot = 0.23 d). We also present new observations of GJ 791.2A (M4.5V, Prot = 0.31 d). Observations of each star were made on two nights with UVES, covering a wavelength range from 0.64 - 1.03 microns. The time series spectra reveal multiple line distortions, which we interpret as cool starspots and which are persistent on both nights suggesting stability on the timescale of 3 days. Spots are recovered with resolutions down to 8.3 degs at the equator. The global spot distributions for GJ 791.2A are similar to observations made a year earlier. Similar high latitude and circumpolar spot structure is seen on GJ791.2A and GJ 65A. However, they are surprisingly absent on GJ 65B, which instead reveals more extensive, larger, spots concentrated at intermediate latitudes. All three stars show small amplitude latitude-dependent rotation that is consistent with solid body rotation. We compare our measurements of differential rotation with previous Doppler imaging studies and discuss the results in the wider context of other observational estimates and recent theoretical predictions.


title: Medium-modification of photon-tagged jets in $AA$ collisions

abstract: We study nuclear modification of the photon-tagged jets in $AA$ collisions within the jet quenching scheme based on the light-cone path integral approach to the induced gluon emission. The calculations are performed for running coupling. Collisional energy loss is treated as a perturbation to the radiative mechanism. We obtain a reasonable agreement with the recent data from the STAR Collaboration on the mid-rapidity nuclear modification factor $I_{AA}$ for Au+Au collisions at $\sqrt{s}=200$ GeV for parametrization of running $\alpha_s$ consistent with that necessary for description of the data on suppression of the high-$p_T$ spectra.


title: Efficient Rare-Event Simulation for Multiple Jump Events in Regularly Varying Random Walks and Compound Poisson Processes

abstract: We propose a class of strongly efficient rare event simulation estimators for random walks and compound Poisson processes with a regularly varying increment/jump-size distribution in a general large deviations regime. Our estimator is based on an importance sampling strategy that hinges on the heavy-tailed sample path large deviations result recently established in Rhee, Blanchet, and Zwart (2016). The new estimators are straightforward to implement and can be used to systematically evaluate the probability of a wide range of rare events with bounded relative error. They are "universal" in the sense that a single importance sampling scheme applies to a very general class of rare events that arise in heavy-tailed systems. In particular, our estimators can deal with rare events that are caused by multiple big jumps (therefore, beyond the usual principle of a single big jump) as well as multidimensional processes such as the buffer content process of a queueing network. We illustrate the versatility of our approach with several applications that arise in the context of mathematical finance, actuarial science, and queueing theory.


title: Optimal input design for system identification using spectral decomposition

abstract: The aim of this paper is to design a band-limited optimal input with power constraints for identifying a linear multi-input multi-output system. It is assumed that the nominal system parameters are specified. The key idea is to use the spectral decomposition theorem and write the power spectrum as $\phi_{u}(j\omega)=\frac{1}{2}H(j\omega)H^*(j\omega)$. The matrix $H(j\omega)$ is expressed in terms of a truncated basis for $\mathcal{L}^2\left(\left[-\omega_{\mbox{cut-off}},\omega_{\mbox{cut-off}}\right]\right)$. With this parameterization, the elements of the Fisher Information Matrix and the power constraints turn out to be homogeneous quadratics in the basis coefficients. The optimality criterion used are the well-known $\mathcal{D}-$optimality, $\mathcal{A}-$optimality, $\mathcal{T}-$optimality and $\mathcal{E}-$optimality. The resulting optimization problem is non-convex in general. A lower bound on the optimum is obtained through a bi-linear formulation of the problem, while an upper bound is obtained through a convex relaxation. These bounds can be computed efficiently as the associated problems are convex. The lower bound is used as a sub-optimal solution, the sub-optimality of which is determined by the difference in the bounds. Interestingly, the bounds match in many instances and thus, the global optimum is achieved. A discussion on the non-convexity of the optimization problem is also presented. Simulations are provided for corroboration.


title: Gaia: from proposal to GDR1

abstract: In this concluding article I recall the early history of the Gaia mission, showing that the original science case and expectations of wide community interest in Gaia data have been met. The quarter-century long partnership involving some 1,000 scientists, engineers and managers in industry and academia is delivering a large, high-quality and unique data set which will underpin astrophysics across many sub-fields for years to come.


title: Stochastic dissipative quantum spin chains (I) : Quantum fluctuating discrete hydrodynamics

abstract: Motivated by the search for a quantum analogue of the macroscopic fluctuation theory, we study quantum spin chains dissipatively coupled to quantum noise. The dynamical processes are encoded in quantum stochastic differential equations. They induce dissipative friction on the spin chain currents. We show that, as the friction becomes stronger, the noise induced dissipative effects localize the spin chain states on a slow mode manifold, and we determine the effective stochastic quantum dynamics of these slow modes. We illustrate this approach by studying the quantum stochastic Heisenberg spin chain.

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


title: W\lowercase{eyl} \lowercase {bound for $p$-power twist of} $GL(2)$ L-\lowercase{functions }

abstract: Let $f$ be a cuspidal eigenform (holomorphic or Maass) on the full modular group $SL(2, \mathbb{Z})$ . Let $\chi$ be a primitive character of modulus $P$. We shall prove the following results: 1. Suppose $P = p^r$, where $p$ is a prime and $r\equiv 0 (\textrm{mod} \ 3)$. Then we have \[ L\left( f \otimes \chi, \frac{1}{2}\right) \ll_{f, \epsilon} P^{1/3 +\epsilon}, \] where $\epsilon > 0$ is any positive real number. 2. Suppose $\chi$ factorizes as $\chi= \chi_1 \chi_2$, where $ \chi_i$'s are primitive character modulo $P_i$, where $P_i$ are primes, $P^{1/2 -\epsilon} \ll P_i \ll P^{1/2 + \epsilon}$ for $i=1,2$ and $P=P_1 P_2$. We have the Burgess bound \[ L\left( f \otimes \chi, \frac{1}{2}\right) \ll_{f, \epsilon} P^{3/8 +\epsilon}, \] where $\epsilon > 0$ is any positive real number.


title: Search for direct top squark pair production in events with a Higgs or $Z$ boson, and missing transverse momentum in $\sqrt{s}=13$ TeV $pp$ collisions with the ATLAS detector

abstract: A search for direct top squark pair production resulting in events with either a same-flavour opposite-sign dilepton pair with invariant mass compatible with a $Z$ boson or a pair of jets compatible with a Standard Model (SM) Higgs boson ($h$) is presented. Requirements on additional leptons, jets, jets identified as originating from $b$-quarks, and missing transverse momentum are imposed to target the other decay products of the top squark pair. The analysis is performed using proton-proton collision data at $\sqrt{s}=13$ TeV collected with the ATLAS detector at the LHC in 2015--2016, corresponding to an integrated luminosity of 36.1 fb$^{-1}$. No excess is observed in the data with respect to the SM predictions. The results are interpreted in two sets of models. In the first set, direct production of pairs of lighter top squarks ($\tilde{t}_1$) with long decay chains involving $Z$ or Higgs bosons is considered. The second set includes direct pair production of the heavier top squark pairs ($\tilde{t}_2$) decaying via $\tilde{t}_2 \rightarrow Z \tilde{t}_1 $ or $\tilde{t}_2 \rightarrow h \tilde{t}_1$. The results exclude at 95\% confidence level $\tilde{t}_2$ and $\tilde{t}_1$ masses up to about 800 GeV, extending the exclusion region of supersymmetric parameter space covered by previous LHC searches.


title: Minimum supports of eigenfunctions of Johnson graphs

abstract: We study the weights of eigenvectors of the Johnson graphs $J(n,w)$. For any $i \in \{1,\ldots,w\}$ and sufficiently large $n, n\geq n(i,w)$ we show that an eigenvector of $J(n,w)$ with the eigenvalue $\lambda_i=(n-w-i)(w-i)-i$ has at least $2^i(^{n-2i}_{w-i})$ nonzeros and obtain a characterization of eigenvectors that attain the bound.


title: Double Covers of Cartan Modular Curves

abstract: We present a strategy to obtain explicit equations for the modular double covers associated respectively to both a split and a non-split Cartan subgroup of $\text{GL}_2(\mathbb F_{p})$ with $p$ prime. Then we apply it successfully to the level $13$ case.


title: An integral formula for the powered sum of the independent, identically and normally distributed random variables

abstract: The distribution of the sum of r-th power of standard normal random variables is a generalization of the chi-squared distribution. In this paper, we represent the probability density function of the random variable by an one-dimensional absolutely convergent integral with the characteristic function. Our integral formula is expected to be applied for evaluation of the density function. Our integral formula is based on the inversion formula, and we utilize a summation method. We also discuss on our formula in the view point of hyperfunctions.


title: Brillouin spectroscopy of optical microwires

abstract: We describe an easy-to-implement technique that allows for a complete experimental characterization of sub-wavelength diameter tapered optical fibers. Our method is based on a direct and fast numerical analysis of the backward Brillouin spectrum measured using a highly sensitive single-ended heterodyne coherent detection. It can be performed in situ without any manipulation nor optical alignment of optical microfibers. Sensitivity as high as a few nanometer for fiber diameter ranging from 500 nm to 1.2 micron is reported. This new method may help for the design and characterization of optical fiber tapers widely used in many applications such as optical sensing, atom trapping, quantum optics, and plasmonics.


title: Broken $S^{}_{3{\rm L}} \times S^{}_{3{\rm R}}$ Flavor Symmetry and Leptonic CP Violation

abstract: In the framework of canonical seesaw model, we present a simple but viable scenario to explicitly break an $S^{}_{3{\rm L}} \times S^{}_{3{\rm R}}$ flavor symmetry in the leptonic sector. It turns out that the leptonic flavor mixing matrix is completely determined by the mass ratios of charged leptons (i.e., $m^{}_e/m^{}_\mu$ and $m^{}_\mu/m^{}_\tau$) and those of light neutrinos (i.e., $m^{}_1/m^{}_2$ and $m^{}_2/m^{}_3$). The latest global-fit results of three neutrino mixing angles $\{\theta^{}_{12}, \theta^{}_{13}, \theta^{}_{23}\}$ and two neutrino mass-squared differences $\{\Delta m^2_{21}, \Delta m^2_{31}\}$ at the $3\sigma$ level are used to constrain the parameter space of $\{m^{}_1/m^{}_2, m^{}_2/m^{}_3\}$. The predictions for the mass spectrum and flavor mixing are highlighted: (1) The neutrino mass spectrum shows a hierarchical pattern and a normal ordering, e.g., $m^{}_1 \approx 2.2~{\rm meV}$, $m^{}_2 \approx 8.8~{\rm meV}$ and $m^{}_3 \approx 52.7~{\rm meV}$; (2) Only the first octant of $\theta^{}_{23}$ is allowed, namely, $41.8^\circ \lesssim \theta^{}_{23} \lesssim 43.3^\circ$; (3) The Dirac CP-violating phase $\delta \approx -22^\circ$ deviates significantly from the maximal value $-90^\circ$. All these predictions are ready to be tested in the ongoing and forthcoming neutrino oscillation experiments. Moreover, we demonstrate that the cosmological matter-antimatter asymmetry can be explained via resonant leptogenesis, including the individual lepton-flavor effects. In our scenario, the leptonic CP violation at low- and high-energy scales are closely connected.


title: Distributed Detection of Cycles

abstract: Distributed property testing in networks has been introduced by Brakerski and Patt-Shamir (2011), with the objective of detecting the presence of large dense sub-networks in a distributed manner. Recently, Censor-Hillel et al. (2016) have shown how to detect 3-cycles in a constant number of rounds by a distributed algorithm. In a follow up work, Fraigniaud et al. (2016) have shown how to detect 4-cycles in a constant number of rounds as well. However, the techniques in these latter works were shown not to generalize to larger cycles $C_k$ with $k\geq 5$. In this paper, we completely settle the problem of cycle detection, by establishing the following result. For every $k\geq 3$, there exists a distributed property testing algorithm for $C_k$-freeness, performing in a constant number of rounds. All these results hold in the classical CONGEST model for distributed network computing. Our algorithm is 1-sided error. Its round-complexity is $O(1/\epsilon)$ where $\epsilon\in(0,1)$ is the property testing parameter measuring the gap between legal and illegal instances.


title: Getting deep recommenders fit: Bloom embeddings for sparse binary input/output networks

abstract: Recommendation algorithms that incorporate techniques from deep learning are becoming increasingly popular. Due to the structure of the data coming from recommendation domains (i.e., one-hot-encoded vectors of item preferences), these algorithms tend to have large input and output dimensionalities that dominate their overall size. This makes them difficult to train, due to the limited memory of graphical processing units, and difficult to deploy on mobile devices with limited hardware. To address these difficulties, we propose Bloom embeddings, a compression technique that can be applied to the input and output of neural network models dealing with sparse high-dimensional binary-coded instances. Bloom embeddings are computationally efficient, and do not seriously compromise the accuracy of the model up to 1/5 compression ratios. In some cases, they even improve over the original accuracy, with relative increases up to 12%. We evaluate Bloom embeddings on 7 data sets and compare it against 4 alternative methods, obtaining favorable results. We also discuss a number of further advantages of Bloom embeddings, such as 'on-the-fly' constant-time operation, zero or marginal space requirements, training time speedups, or the fact that they do not require any change to the core model architecture or training configuration.


title: Experimental demonstration of a Rydberg-atom beam splitter

abstract: Inhomogeneous electric fields generated above two-dimensional electrode structures have been used to transversely split beams of helium Rydberg atoms into pairs of spatially separated components. The atomic beams had initial longitudinal speeds of between 1700 and 2000 m/s and were prepared in Rydberg states with principle quantum number $n=52$ and electric dipole moments of up to 8700 D by resonance-enhanced two-color two-photon laser excitation from the metastable 1s2s $^3$S$_1$ level. Upon exiting the beam splitter the ensembles of Rydberg atoms were separated by up to 15.6 mm and were detected by pulsed electric field ionization. Effects of amplitude modulation of the electric fields of the beam splitter were shown to cause particle losses through transitions into unconfined Rydberg-Stark states.


title: Dynamical ion transfer between coupled Coulomb crystals in a double well potential

abstract: We investigate the non-equilibrium dynamics of coupled Coulomb crystals of different sizes trapped in a double well potential. The dynamics is induced by an instantaneous quench of the potential barrier separating the two crystals. Due to the intra- and inter-crystal Coulomb interactions and the asymmetric population of the potential wells we observe a complex reordering of ions within the two crystals as well as ion transfer processes from one well to the other. The study and analysis of the latter processes constitutes the main focus of this work. In particular we examine the dependence of the observed ion transfers on the quench amplitude performing an analysis for different crystalline configurations ranging from one-dimensional ion chains via two-dimensional zig-zag chains and ring structures to three-dimensional spherical structures. Such an analysis provides us with the means to extract the general principles governing the ion transfer dynamics and we gain some insight on the structural disorder caused by the quench of the barrier height.


title: Distributed Subgraph Detection

abstract: In the standard CONGEST model for distributed network computing, it is known that "global" tasks such as minimum spanning tree, diameter, and all-pairs shortest paths, consume large bandwidth, for their running-time is $\Omega(\mbox{poly}(n))$ rounds in $n$-node networks with constant diameter. Surprisingly, "local" tasks such as detecting the presence of a 4-cycle as a subgraph also requires $\widetilde{\Omega}(\sqrt{n})$ rounds, even using randomized algorithms, and the best known upper bound for detecting the presence of a 3-cycle is $\widetilde{O}(n^{\frac{2}{3}})$ rounds. The objective of this paper is to better understand the landscape of such subgraph detection tasks. We show that, in contrast to \emph{cycles}, which are hard to detect in the CONGEST model, there exists a deterministic algorithm for detecting the presence of a subgraph isomorphic to $T$ running in a \emph{constant} number of rounds, for every tree $T$. Our algorithm provides a distributed implementation of a combinatorial technique due to Erd\H{o}s et al. for sparsening the set of partial solutions kept by the nodes at each round. Our result has important consequences to \emph{distributed property-testing}, i.e., to randomized algorithms whose aim is to distinguish between graphs satisfying a property, and graphs far from satisfying that property. In particular, we get that, for every graph pattern $H$ composed of an edge and a tree connected in an arbitrary manner, there exists a distributed testing algorithm for $H$-freeness, performing in a constant number of rounds. Although the class of graph patterns $H$ formed by a tree and an edge connected arbitrarily may look artificial, all previous results of the literature concerning testing $H$-freeness for classical patterns such as cycles and cliques can be viewed as direct consequences of our result, while our algorithm enables testing more complex patterns.


title: A second main theorem for holomorphic curve intersecting hypersurfaces

abstract: In this paper, we establish a second main theorem for holomorphic curve intersecting hypersurfaces in general position in projective space with level of truncation. As an application, we reduce the number hypersurfaces in uniqueness problem for holomorphic curve of authors before.


title: There's more to the multimedia effect than meets the eye: is seeing pictures believing?

abstract: Textbooks in applied mathematics often use graphs to explain the meaning of formulae, even though their benefit is still not fully explored. To test processes underlying this assumed multimedia effect we collected performance scores, eye movements, and think-aloud protocols from students solving problems in vector calculus with and without graphs. Results showed no overall multimedia effect, but instead an effect to confirm statements that were accompanied by graphs, irrespective of whether these statements were true or false. Eye movement and verbal data shed light on this surprising finding. Students looked proportionally less at the text and the problem statement when a graph was present. Moreover, they experienced more mental effort with the graph, as indicated by more silent pauses in thinking aloud. Hence, students actively processed the graphs. This, however, was not sufficient. Further analysis revealed that the more students looked at the statement, the better they performed. Thus, in the multimedia condition the graph drew students' attention and cognitive capacities away from focusing on the statement. A good alternative strategy in the multimedia condition was to frequently look between graph and problem statement, and thus to integrate their information. In conclusion, graphs influence where students look and what they process, and may even mislead them into believing accompanying information. Thus, teachers and textbook designers should be very critical on when to use graphs and carefully consider how the graphs are integrated with other parts of the problem.


title: Minimal Embedding Dimensions of Connected Neural Codes

abstract: In the past few years, the study of receptive field codes has been of large interest to mathematicians. Here we give a complete characterization of receptive field codes realizable by connected receptive fields and we give the minimal embedding dimensions of these codes. In particular, we show that all connected codes are realizable in dimension at most 3. To our knowledge, this is the first family of receptive field codes for which the exact characterization and minimal embedding dimension is known.


title: The mass--metallicity relation AKARI-FMOS infrared galaxies at $z\sim0.88$ in the AKARI North Ecliptic Pole Deep Survey Field

abstract: Mass, metallicity, and star formation rate (SFR) of a galaxy are crucial parameters in understanding galaxy formation and evolution. However, the relation among these is still a matter of debate for luminous infrared galaxies, which carry a bulk of SFR budget of the universe at $z\sim1$. We have investigated the relation among stellar mass, gas-phase oxygen abundance, and SFR of AKARI-detected mid-IR galaxies at $z\sim0.88$ in the AKARI NEP deep field. We observed about 350 AKARI sources with Subaru/FMOS NIR spectrograph, and detected secure and expected H$\alpha$ emission lines from 25 and 44 galaxies, respectively. The SFR of our sample is almost constant ($\sim 25M_{\odot}/yr$) over the stellar mass range of our sample. Compared with main-sequence (MS) galaxies at a similar redshift range, the average SFR of our detected sample is comparable for massive galaxies ($\sim10^{10.58}~M_{\odot}$), while higher by $\sim$0.6dex for less massive galaxies ($\sim 10^{10.05}~M_{\odot}$). We measure metallicities from the [NII]/H$\alpha$ emission line ratio. We find that the mass-metallicity relation of our individually measured sources agrees with that for optical-selected star-forming galaxies at $z\sim0.1$, while metallicities of stacked spectra agree with that of MS galaxies at $z\sim0.78$. Considering high SFR of individually measured sources, FMR of the IR galaxies is different from that at $z\sim0.1$. However, on the mass-metallicity plane, they are consistent with the MS galaxies, highlighting higher SFR of the IR galaxies. This suggests the evolutionary path of our IR galaxies is different from that of MS galaxies. A possible physical interpretation includes that the star-formation activities of IR galaxies at $z\sim0.88$ in our sample are enhanced by interaction and/or merger of galaxies, but the inflow of metal-poor gas is not yet induced, keeping the metallicity intact.


title: Extra Quarks Decaying to Dark Matter Beyond the Narrow Width Approximation

abstract: We explore the effects induced by a finite width in processes of pair production of a heavy top-quark partner and its subsequent decay into a bosonic Dark Matter (DM) candidate -- either scalar or vector -- and a SM up-type quark at the Large Hadron Collider (LHC). We discuss the configurations of masses, widths and couplings where this phenomenology can be important in a simple model with just one such objects. Finally, we emphasise the correct definition of signal and background to be adopted as well as stress the importance of new dedicated experimental searches.


title: The Dynamics of Magnetic Vortices in Type II Superconductors with Pinning Sites Studied by the Time Dependent Ginzburg-Landau Model

abstract: We investigate the dynamics of magnetic vortices in type II superconductors with normal state pinning sites using the Ginzburg-Landau equations. Simulation results demonstrate hopping of vortices between pinning sites, influenced by external magnetic fields and external currents. The system is highly nonlinear and the vortices show complex nonlinear dynamical behaviour.


title: Dual pair and Approximate dual for continuous frames in Hilbert spaces

abstract: In this manuscript, the concept of dual and approximate dual for continuous frames in Hilbert spaces will be introduced. Some of its properties will be studied. Also, the relations between two continuous Riesz bases in Hilbert spaces will be clarified through examples.


title: Jammed spin liquid in the bond-disordered kagome Heisenberg antiferromagnet

abstract: We study a class of disordered continuous classical spin systems including the kagome Heisenberg magnet. While each term in its local Hamiltonian can be independently minimised, we find {\it discrete} degenerate ground states whose number grows exponentially with system size. These states do not exhibit zero-energy `excitations' characteristic of highly frustrated magnets but instead are local minima of the energy landscape, albeit with an anomalously soft excitation spectrum. This represents a spin liquid version of the phenomenon of jamming familiar from granular media and structural glasses. Correlations of this jammed spin liquid, which upon increasing the disorder strength gives way to a conventional spin glass, may be algebraic (Coulomb-type) or exponential.


title: Broad-band characteristics of seven new hard X-ray selected cataclysmic variables

abstract: We present timing and spectral analysis of a sample of seven hard X-ray selected Cataclysmic Variable candidates based on simultaneous X-ray and optical observations collected with XMM-Newton , complemented with Swift/BAT and INTEGRAL/IBIS hard X-ray data and ground-based optical photometry. For six sources, X-ray pulsations are detected for the first time in the range $\rm \sim296-6098\,s$, identifying them as members of the magnetic class. Swift J0927.7-6945, Swift J0958.0-4208, Swift J1701.3-4304, Swift J2113.5+5422, and possibly PBC J0801.2-4625, are Intermediate Polars (IPs), while Swift J0706.8+0325 is a short (1.7 h) orbital period Polar, the 11$^{\rm th}$ hard X-ray selected identified so far. X-ray orbital modulation is also observed in Swift J0927.7-6945 (5.2 h) and Swift J2113.5+5422 (4.1 h). Swift J1701.3-4304 is discovered as the longest orbital period (12.8 h) deep eclipsing IP. The spectra of the magnetic systems reveal optically thin multi-temperature emission between 0.2 and 60 keV. Energy dependent spin pulses and the orbital modulation in Swift J0927.7-6945 and Swift J2113.5+5422 are due to intervening local high density absorbing material ($\rm N_H\sim10^{22-23}\,cm^{-2}$). In Swift J0958.0-4208 and Swift J1701.3-4304, a soft X-ray blackbody (kT$\sim$50 and $\sim$80 eV) is detected, adding them to the growing group of "soft" IPs. White dwarf masses are determined in the range $\rm \sim0.58-1.18\,M_{\odot}$, indicating massive accreting primaries in five of them. Most sources accrete at rates lower than the expected secular value for their orbital period. Formerly proposed as a long-period (9.4 h) novalike CV, Swift J0746.3-1608 shows peculiar spectrum and light curves suggesting either an atypical low-luminosity CV or a low mass X-ray binary.


title: Nonfreeness of algebras of symmetric Hilbert modular forms of even weight for $\mathbb{Q}(\sqrt{d})$ where d>5

abstract: We study the algebras of symmetric Hilbert modular forms of even weight for $\mathbb{Q}(\sqrt{d})$, considering them as modular forms for the orthogonal group of the lattice with signature (2,2). Comparing the volume of the corresponding symmetric domain with the volume of the Jacobian of the generators of these algebras, we prove that for all d, except for d=2, 3, 5 these algebras can't be free.


title: Large width effects in processes of production of extra quarks decaying to Dark Matter at the LHC

abstract: This paper explores the effects of finite width in processes of pair production of a heavy eXtra Quark (XQ) with charge 2/3 and its subsequent decay into a Dark Matter (DM) candidate -- either scalar or vector -- and Standard Model (SM) up-type quarks at the Large Hadron Collider (LHC). This dynamics has been ignored so far in standard experimental searches of heavy quarks decaying to DM and we assess herein the regions of validity of current approaches, based on the assumption that the XQ has a narrow width. Further, we discuss the configurations of masses, widths and couplings where the latter breaks down.


title: Recurrent Inference Machines for Solving Inverse Problems

abstract: Much of the recent research on solving iterative inference problems focuses on moving away from hand-chosen inference algorithms and towards learned inference. In the latter, the inference process is unrolled in time and interpreted as a recurrent neural network (RNN) which allows for joint learning of model and inference parameters with back-propagation through time. In this framework, the RNN architecture is directly derived from a hand-chosen inference algorithm, effectively limiting its capabilities. We propose a learning framework, called Recurrent Inference Machines (RIM), in which we turn algorithm construction the other way round: Given data and a task, train an RNN to learn an inference algorithm. Because RNNs are Turing complete [1, 2] they are capable to implement any inference algorithm. The framework allows for an abstraction which removes the need for domain knowledge. We demonstrate in several image restoration experiments that this abstraction is effective, allowing us to achieve state-of-the-art performance on image denoising and super-resolution tasks and superior across-task generalization.


title: Secure uniform random number extraction via incoherent strategies

abstract: To guarantee the security of uniform random numbers generated by a quantum random number generator, we study secure extraction of uniform random numbers when the environment of a given quantum state is controlled by the third party, the eavesdropper. Here we restrict our operations to incoherent strategies that are composed of the measurement on the computational basis and incoherent operations (or incoherence-preserving operations). We show that the maximum secure extraction rate is equal to the relative entropy of coherence. By contrast, the coherence of formation gives the extraction rate when a certain constraint is imposed on eavesdropper's operations. The condition under which the two extraction rates coincide is then determined. Furthermore, we find that the exponential decreasing rate of the leaked information is characterized by R\'{e}nyi relative entropies of coherence. These results clarify the power of incoherent strategies in random number generation, and can be applied to guarantee the quality of random numbers generated by a quantum random number generator.


title: The birth of a supermassive black hole binary

abstract: We study the dynamical evolution of supermassive black holes, in the late stage of galaxy mergers, from kpc to pc scales. In particular, we capture the formation of the binary, a necessary step before the final coalescence, and trace back the main processes causing the decay of the orbit. We use hydrodynamical simulations of galaxy mergers with different resolutions, from $20\,\rm pc$ down to $1\,\rm pc$, in order to study the effects of the resolution on our results, remove numerical effects, and assess that resolving the influence radius of the orbiting black hole is a minimum condition to fully capture the formation of the binary. Our simulations include the relevant physical processes, namely star formation, supernova feedback, accretion onto the black holes and the ensuing feedback. We find that, in these mergers, dynamical friction from the smooth stellar component of the nucleus is the main process that drives black holes from kpc to pc scales. Gas does not play a crucial role and even clumps do not induce scattering or perturb the orbits. We compare the time needed for the formation of the binary to analytical predictions and suggest how to apply such analytical formalism to obtain estimates of binary formation times in lower resolution simulations.


title: Itinerant-localized model of strongly correlated electrons: Fermi-surface reconstruction

abstract: A number of recent experiments have highlighted a remarkable transformation of a large cuprate Fermi surface into small pockets in the underdoped region signalling a breakdown of a conventional Fermi liquid theory in the PG phase. A few phenomenological models have been recently put forward to account for this transformation. However, none of those models have been derived microscopically nor are totally compatible with experimental data. In the present work we show that the observed Fermi-surface reconstruction can be accounted for directly within a standard microscopic $t-J$ model of correlated electrons, provided strong electron correlations are properly taken into account.


title: Disentangling stopped proton and inclusive net-proton fluctuations at RHIC

abstract: The recent results on net-proton and net-charge multiplicity fluctuations from the beam energy scan program at RHIC have drawn much attention to explore the critical point in the QCD phase diagram. Experimentally measured protons contain contribution from various processes such as secondaries from higher mass resonance decay, production process, and protons from the baryon stopping. Further, these contributions also fluctuate from event to event and can contaminate the dynamical fluctuations due to the critical point. We present the contribution of stopped proton and produced proton fluctuations in the net-proton multiplicity fluctuation in \auau collisions measured by STAR experiment at RHIC. The produced net-proton multiplicity fluctuations using cumulants and their ratios are studied as a function collision energies. After removing the stopped proton contribution from the inclusive proton multiplicity distribution, a non-monotonic behavior is even more pronounced in the net-proton fluctuations around \sqsn = 19.6 GeV, both in $S\sigma$ and $\kappa\sigma^2$. The present study will be useful to understand the fluctuations originating due to critical point.


title: Mapping weak lensing distortions in the Kerr metric

abstract: Einstein's theory of General Relativity implies that energy, i.e. matter, curves space-time and thus deforms lightlike geodesics, giving rise to gravitational lensing. This phenomenon is well understood in the case of the Schwarzschild metric, and has been accurately described in the past; however, lensing in the Kerr space-time has received less attention in the literature despite potential practical observational applications. In particular, lensing in such space is not expressible as the gradient of a scalar potential and as such is a source of curl-like signatures and an asymmetric shear pattern. In this paper, we develop a differentiable lensing map in the Kerr metric, reworking and extending previous approaches. By using standard tools of weak gravitational lensing, we isolate and quantify the distortion that is uniquely induced by the presence of angular momentum in the metric. We apply this framework to the distortion induced by a Kerr-like foreground object on a distribution of background of sources. We verify that the new unique lensing signature is orders of magnitude below current observational bounds for a range of lens configurations.


title: Two-dimensional pulse dynamics and the formation of bound states on electrified falling films

abstract: The flow of an electrified liquid film down an inclined plane wall is investigated with the focus on coherent structures in the form of travelling waves on the film surface, in particular, single-hump solitary pulses and their interactions. The flow structures are analysed first using a long-wave model, which is valid in the presence of weak inertia, and second using the Stokes equations. For obtuse angles, gravity is destablising and solitary pulses exist even in the absence of an electric field. For acute angles, spatially non-uniform solutions exist only beyond a critical value of the electric field strength; moreover, solitary-pulse solutions are present only at sufficiently high supercritical elec- tric field strengths. The electric field increases the amplitude of the pulses, can generate recirculation zones in the humps, and alters the far-field decay of the pulse tails from ex- ponential to algebraic with a significant impact on pulse interactions. A weak-interaction theory predicts an infinite sequence of bound-state solutions for non-electrified flow, and a finite set for electrified flow. The existence of single-hump pulse solutions and two-pulse bound states is confirmed for the Stokes equations via boundary-element computations. In addition, the electric field is shown to trigger a switch from absolute instability to convective instability, thereby regularising the dynamics, and this is confirmed by time- dependent simulations of the long-wave model.


title: A deeper look at the X-ray point source population of NGC 4472

abstract: In this paper we discuss the X-ray point source population of NGC 4472, an elliptical galaxy in the Virgo cluster. We used recent deep Chandra data combined with archival Chandra data to obtain a 380 ks exposure time. We find 238 X-ray point sources within 3.7' of the galaxy centre, with a completeness flux, F(X,0.5-2 keV)= 6.3x$10^{-16}$ $erg s^{-1} cm^{-2}$. Most of these sources are expected to be low mass X-ray binaries. We finding that, using data from a single galaxy which is both complete and has a large number of objects (~ 100) below 10$^{38}$ $erg s^{-1}$, the X-ray luminosity function is well fit with a single power law model. By cross matching our X-ray data with both space based and ground based optical data for NGC 4472, we find that 80 of the 238 sources are in globular clusters. We compare the red and blue globular cluster subpopulations and find red clusters are nearly six times more likely to host an X-ray source than blue clusters. We show that there is evidence that these two subpopulations have significantly different X-ray luminosity distributions. Source catalogues for all X-ray point sources, as well as any corresponding optical data for globular cluster sources, are also presented here.


title: Determining the effective Wilson coefficient $a_2$ in terms of $BR(B_s\to \eta_c\phi)$ and evaluating $BR(B_s\to \eta_cf_0(980))$

abstract: In this work, we investigate decays of $B_s\to \eta_c\phi$ and $B_s\to \eta_cf_0(980)$ in a theoretical framework. The calculation is based on the postulation that $f_0(980)$ and $f_0(500)$ are mixtures of pure quark states ${1\over\sqrt 2} (\bar uu+\bar dd)$ and $\bar ss$. The hadronic matrix elements for $B_s\to \phi$ and $B_s\to f_0(980)$ are calculated in the light-front quark model and the important Wilson coefficient $a_2$ which is closely related to non-perturbative QCD is extracted. However, our numerical results indicate that no matter how to adjust the mixing parameter to reconcile contributions of $f_0(980)$ and $f_0(500)$, one cannot make the theoretical prediction on $B_s\to \eta_c+\pi^+\pi^-$ to meet the data. Moreover, the new measurement of $BR(B_s\to J/\psi+f_0(500))<1.7\times 10^{-6}$ also negates the mixture scenario. Thus, we conclude that the recent data suggest that $f_0(980)$ is a four quark state ( tetraquark or $K\bar K$ molecule ), at least the fraction of its pure quark constituents is small.


title: Radiation-hydrodynamical simulations of massive star formation using Monte Carlo radiative transfer II. The formation of a 25 solar-mass star

abstract: We present a numerical simulation of the formation of a massive star using Monte- Carlo-based radiation hydrodynamics (RHD). The star forms via stochastic disc accretion and produces fast, radiation-driven bipolar cavities. We find that the evolution of the infall rate (considered to be the mass flux across a 1500 au spherical boundary), and the accretion rate onto the protostar, are broadly consistent with observational constraints. After 35kyr the star has a mass of 25 solar masses and is surrounded by a disc of mass 7 solar masses and 1500 au radius, and we find that the velocity field of the disc is close to Keplerian. Once again these results are consistent with those from recent high-resolution studies of discs around forming massive stars. Synthetic imaging of the RHD model shows good agreement with observations in the near- and far-IR, but may be in conflict with observations that suggests that MYSOs are typically circularly symmetric on the sky at 24.5 microns. Molecular line simulations of a CH3CN transition compare well with observations in terms of surface brightness and line width, and indicate that it should be possible to reliably extract the protostellar mass from such observations.


title: Universality of next-to-leading power threshold effects for colourless final states in hadronic collisions

abstract: We consider the production of an arbitrary number of colour-singlet particles near partonic threshold, and show that next-to-leading order cross sections for this class of processes have a simple universal form at next-to-leading power (NLP) in the energy of the emitted gluon radiation. Our analysis relies on a recently derived factorisation formula for NLP threshold effects at amplitude level, and therefore applies both if the leading-order process is tree-level and if it is loop-induced. It holds for differential distributions as well. The results can furthermore be seen as applications of recently derived next-to-soft theorems for gauge theory amplitudes. We use our universal expression to re-derive known results for the production of up to three Higgs bosons at NLO in the large top mass limit, and for the hadro-production of a pair of electroweak gauge bosons. Finally, we present new analytic results for Higgs boson pair production at NLO and NLP, with exact top-mass dependence.


title: Isoperimetric Inequalities for Non-Local Dirichlet Forms

abstract: Let $(E,\F,\mu)$ be a $\si$-finite measure space. For a non-negative symmetric measure $J(\d x, \d y):=J(x,y) \,\mu(\d x)\,\mu(\d y)$ on $E\times E,$ consider the quadratic form $$\E(f,f):= \frac{1}{2}\int_{E\times E} (f(x)-f(y))^2 \, J(\d x,\d y)$$ in $L^2(\mu)$. We characterize the relationship between the isoperimetric inequality and the super Poincar\'e inequality associated with $\E$. In particular, sharp Orlicz-Sobolev type and Poincar\'e type isoperimetric inequalities are derived for stable-like Dirichlet forms on $\R^n$, which include the existing fractional isoperimetric inequality as a special example.


title: Electromagnetic charge radius of the pion at high precision

abstract: We present a determination of the pion charge radius from high precision data on the pion vector form factor from both timelike and spacelike regions, using a novel formalism based on analyticity and unitarity. At low energies, instead of the poorly known modulus of the form factor, we use its phase, known with high accuracy from Roy equations for $\pi\pi$ elastic scattering via the Fermi-Watson theorem. We use also the values of the modulus at several higher timelike energies, where the data from $e^+e^-$-annihilation and $\tau$-decay are mutually consistent, as well as the most recent measurements at spacelike momenta. The experimental uncertainties are implemented by Monte-Carlo simulations. The results, which do not rely on a specific parametrization, are optimal for the given input information and do not depend on the unknown phase of the form factor above the first inelastic threshold. Our prediction for the charge radius of the pion is $r_\pi=(0.657 \pm 0.003) \fm $, which amounts to an increase in precision by a factor of about 2.7 compared to the PDG average.


title: Thermal width and entropic force of a moving quarkonia with charged deformed AdS background

abstract: The entropic force and the imaginary part of potential experienced by a moving quarkonia in a plasma, are computed in a charged deformed AdS background by holography approaches. In that case, the axis of the moving quarkonia has an arbitrary angle with wind. We show that the charge in deformed AdS background deeply effect on the increasing entropic force and decreasing thermal width. So, the dissociation length of the meson becomes short when charge is increasing. In addition, the entropic force and thermal width are increased by the deformation of the space. Therefore the deformation parameter in such background leads us to find process with arbitrary dissociation length of quark- anti quark.


title: Two channels for the formation of compact dwarf galaxies in clusters of galaxies

abstract: We have identified two channels for the formation of compact dwarf galaxies in the Illustris simulation by reconstructing mass and distance histories of candidates located in the vicinity of the simulation's most massive cluster galaxies. One channel is tidal stripping of Milky Way mass galaxies that form outside of clusters and eventually sink into them, spiraling in toward central massive objects. Second channel of formation is an in-situ formation (in reference to the parent cluster) of dwarf mass galaxies, with negligible evolution and limited change in stellar mass. We find 19 compact dwarf galaxies at the centers of 14 clusters, consistent with observations. 30% of them have external origin while 70% are formed in-situ.


title: DAReing to reduce the annotation overheads of verified programs

abstract: Modern program verifiers use the same uniform program text to both specify and implement programs. The program text is also used to provide the necessary guidance to ensure that the program satisfies its specification. The amount of guidance required is often called the annotation overhead. This can be high and is often seen as a hindrance for wider use of program verifiers, as development time is increased and the guidance may obfuscate the program text. In this paper we introduce the DARe tool, which automatically removes as much unnecessary guidance as possible for the Dafny program verifier. The tool is integrated with the Dafny IDE. To evaluate DARe, we apply it to 252 programs from the Dafny library and analyse the degree to which it is able to remove unnecessary guidance. Our results are very encouraging as a staggering 88% of the guidance can be removed.


title: Tree sums of maximal connected spaces

abstract: A topology $\tau$ on a set $X$ is called maximal connected if it is connected, but no strictly finer topology $\tau^* > \tau$ is connected. We consider a construction of so-called tree sums of topological spaces, and we show how this construction preserves maximal connectedness and also related properties of strong connectedness and essential connectedness. We also recall the characterization of finitely generated maximal connected spaces and reformulate it in the language of specialization preorder and graphs, from which it is clear that finitely generated maximal connected spaces are precisely $T_\frac{1}{2}$ tree sums of copies of the Sierpi\'nski space.


title: New results on collectivity with ATLAS

abstract: The collective phenomena are observed not only in heavy ion collisions, but also in the proton-nucleus and in high-multiplicity $pp$ collisions. The latest results from this area obtained in ATLAS are presented. In $p$+Pb collisions the emission source of particles is measured using the HBT method. The analysis of $p$+Pb data collected in 2016 provides information on the elliptic flow of charged hadrons and muons. Low multiplicity events from $pp$, $p$+Pb and peripheral Pb+Pb collisions are studied with the cumulant methods. A deeper understanding of Pb+Pb collisions is provided by the analysis of longitudinal fluctuations of the collective flow parameters.


title: Recurrent Latent Variable Networks for Session-Based Recommendation

abstract: In this work, we attempt to ameliorate the impact of data sparsity in the context of session-based recommendation. Specifically, we seek to devise a machine learning mechanism capable of extracting subtle and complex underlying temporal dynamics in the observed session data, so as to inform the recommendation algorithm. To this end, we improve upon systems that utilize deep learning techniques with recurrently connected units; we do so by adopting concepts from the field of Bayesian statistics, namely variational inference. Our proposed approach consists in treating the network recurrent units as stochastic latent variables with a prior distribution imposed over them. On this basis, we proceed to infer corresponding posteriors; these can be used for prediction and recommendation generation, in a way that accounts for the uncertainty in the available sparse training data. To allow for our approach to easily scale to large real-world datasets, we perform inference under an approximate amortized variational inference (AVI) setup, whereby the learned posteriors are parameterized via (conventional) neural networks. We perform an extensive experimental evaluation of our approach using challenging benchmark datasets, and illustrate its superiority over existing state-of-the-art techniques.


title: Interactions between Silica Particles in the Presence of Multivalent Coions

abstract: Forces between charged silica particles in solutions of multivalent coions are measured with colloidal probe technique based on atomic force microscopy. The concentration of 1:z electrolytes is systematically varied to understand the behavior of electrostatic interactions and double-layer properties in these systems. Although the coions are multivalent the Derjaguin, Landau, Verwey, and Overbeek (DLVO) theory perfectly describes the measured force profiles. The diffuse-layer potentials and regulation properties are extracted from the forces profiles by using the DLVO theory. The dependencies of the diffuse-layer potential and regulation parameter shift to lower concentration with increasing coion valence when plotted as a function of concentration of 1:z salt. Interestingly, these profiles collapse to a master curve if plotted as a function of monovalent counterion concentration.


title: The variance of the Euler totient function

abstract: In this paper we study the variance of the Euler totient function (normalized to $\varphi(n)/n$) in the integers $\mathbb{Z}$ and in the polynomial ring $\mathbb{F}_q[T]$ over a finite field $\mathbb{F}_q$. It turns out that in $\mathbb{Z}$, under some assumptions, the variance of the normalized Euler function becomes constant. This is supported by several numerical simulations. Surprisingly, in $\mathbb{F}_q[T]$, $q\rightarrow \infty$, the analogue does not hold: due to a high amount of cancellation, the variance becomes inversely proportional to the size of the interval.