title: On Maxwell-like equations for Gravitational Field

abstract: For explicitly time depending mass density, which satisfies a continuity equation, it is shown that Maxwell-like equations for gravitational field follow naturally without any need of General Relativity Theory approximation or related assumptions. As a consequences, it is shown that several features already known in Electrodynamics (Poynting vector, density of energy, tensor stress, radiation) are totally reproduced for gravitational field.


title: Theoretical calculation of the fine-structure constant and the permittivity of the vacuum

abstract: Light traveling through the vacuum interacts with virtual particles similarly to the way that light traveling through a dielectric interacts with ordinary matter. And just as the permittivity of a dielectric can be calculated, the permittivity $\epsilon_0$ of the vacuum can be calculated, yielding an equation for the fine-structure constant $\alpha$. The most important contributions to the value of $\alpha$ arise from interactions in the vacuum of photons with virtual, bound states of charged lepton-antilepton pairs. Considering only these contributions, the fully screened $\alpha \cong 1/(8^2\sqrt{3\pi/2}) \cong 1/139$.


title: Terahertz spin currents and inverse spin Hall effect in thin-film heterostructures containing complex magnetic compounds

abstract: Terahertz emission spectroscopy of ultrathin multilayers of magnetic and heavy metals has recently attracted much interest. This method not only provides fundamental insights into photoinduced spin transport and spin-orbit interaction at highest frequencies but has also paved the way to applications such as efficient and ultrabroadband emitters of terahertz electromagnetic radiation. So far, predominantly standard ferromagnetic materials have been exploited. Here, by introducing a suitable figure of merit, we systematically compare the strength of terahertz emission from X/Pt bilayers with X being a complex ferro-, ferri- and antiferromagnetic metal, that is, dysprosium cobalt (DyCo$_5$), gadolinium iron (Gd$_{24}$Fe$_{76}$), Magnetite (Fe$_3$O$_4$) and iron rhodium (FeRh). We find that the performance in terms of spin-current generation not only depends on the spin polarization of the magnet's conduction electrons but also on the specific interface conditions, thereby suggesting terahertz emission spectroscopy to be a highly surface-sensitive technique. In general, our results are relevant for all applications that rely on the optical generation of ultrafast spin currents in spintronic metallic multilayers.


title: Coexistence of Outdoor Wi-Fi and Radar at 3.5 GHz

abstract: Coexistence between radar and outdoor Wireless Fidelity (Wi-Fi) needs thorough study since the IEEE 802.11 Working Group (WG) opposed the latest rules in 3550-3700 MHz (the 3.5 GHz band) that require "exclusion zones." This letter proposes a method that suppresses Wi-Fi-to-radar (WtR) interference, in which a Wi-Fi transmitter (TX) is selected to avoid beam angles toward the victim radar. It is distinguished from prior schemes since it ensures that the Wi-Fi remains operable while suppressing the WtR interference.


title: Extranatural Inflation Redux

abstract: The success of a given inflationary model crucially depends upon two features: its predictions for observables such as those of the Cosmic Microwave background (CMB) and its insensitivity to the unknown ultraviolet (UV) physics such as quantum gravitational effects. Extranatural inflation is a well motivated scenario which is insensitive to UV physics by construction. In this five dimensional model, the fifth dimension is compactified on a circle and the zero mode of the fifth component of a bulk $U(1)$ gauge field acts as the inflaton. In this work, we study simple variations of the minimal extranatural inflation model in order to improve its CMB predictions while retaining its numerous merits. We find that it is possible to obtain CMB predictions identical to those of e.g. ${\cal R} + {\cal R}^2$ Starobinsky model of inflation and show that this can be done in the most minimal way by having two additional extra light fermionic species in the bulk, with the same $U(1)$ charges. We then find the constraints that CMB observations impose on the parameters of the model.


title: Doping dependence of charge order in electron-doped cuprate superconductors

abstract: In the recent studies of the unconventional physics in cuprate superconductors, one of the central issues is the interplay between charge order and superconductivity. Here the mechanism of the charge-order formation in the electron-doped cuprate superconductors is investigated based on the t-J model. The experimentally observed momentum dependence of the electron quasiparticle scattering rate is qualitatively reproduced, where the scattering rate is highly anisotropic in momentum space, and is intriguingly related to the charge-order gap. Although the scattering strength appears to be weakest at the hot spots, the scattering in the antinodal region is stronger than that in the nodal region, which leads to the original electron Fermi surface is broken up into the Fermi pockets and their coexistence with the Fermi arcs located around the nodal region. In particular, this electron Fermi surface instability drives the charge-order correlation, with the charge-order wave vector that matches well with the wave vector connecting the hot spots, as the charge-order correlation in the hole-doped counterparts. However, in a striking contrast to the hole-doped case, the charge-order wave vector in the electron-doped side increases in magnitude with the electron doping. The theory also shows the existence of a quantitative link between the single-electron fermiology and the collective response of the electron density.


title: Bayesian significance test for discriminating between survival distributions

abstract: An evaluation of FBST, Fully Bayesian Significance Test, restricted to survival models is the main objective of the present paper. A Survival distribution should be chosen among the tree celebrated ones, lognormal, gamma, and Weibull. For this discrimination, a linear mixture of the three distributions, for which the mixture weights are defined by a Dirichlet distribution of order three, is an important tool: the FBST is used to test the hypotheses defined on the mixture weights space. Another feature of the paper is that all three distributions are reparametrized in that all the six parameters - two for each distribution - are written as functions of the mean and the variance of the population been studied. Note that the three distributions share the same two parameters in the mixture model. The mixture density has then four parameters, the same two for the three discriminating densities and two for the mixture weights. Some numerical results from simulations with some right-censored data are considered. The lognormal-gamma-Weibull model is also applied to a real study with dataset being composed by patient's survival times of patients in the end-stage of chronic kidney failure subjected to hemodialysis procedures; data from Rio de Janeiro hospitals. The posterior density of the weights indicates an order of the mixture weights and the FBST is used for discriminating between the three survival distributions. Keywords: Model choice; Separate Models; Survival distributions; Mixture model; Significance test; FBST


title: Lagrangian Descriptors for Stochastic Differential Equations: A Tool for Revealing the Phase Portrait of Stochastic Dynamical Systems

abstract: In this paper we introduce a new technique for depicting the phase portrait of stochastic differential equations. Following previous work for deterministic systems, we represent the phase space by means of a generalization of the method of Lagrangian descriptors to stochastic differential equations. Analogously to the deterministic differential equations setting, the Lagrangian descriptors graphically provide the distinguished trajectories and hyperbolic structures arising within the stochastic dynamics, such as random fixed points and their stable and unstable manifolds. We analyze the sense in which structures form barriers to transport in stochastic systems. We apply the method to several benchmark examples where the deterministic phase space structures are well-understood. In particular, we apply our method to the noisy saddle, the stochastically forced Duffing equation, and the stochastic double gyre model that is a benchmark for analyzing fluid transport.


title: On emergence from the perspective of physical science

abstract: In this paper, we summarize the development of the concept of emergence in physical science and propose key concepts of emergence in the form of conjectures. Our conjectures are threefold: I. A system having a broken-symmetry in membership relation with respect to micro and macro scales can have emergent properties. II. Spontaneous symmetry-breaking is an example of an emergent property. III. The phenomenon of hysteresis accompanies spontaneous symmetry-breaking. We argue that these conjectures and their relationship can illuminate the concept of emergence from the perspective of symmetry breaking.


title: Generalised Precoded Spatial Modulation for Integrated Wireless Information and Power Transfer

abstract: Conventional wireless information transfer by modulating the amplitude, phase or frequency leads to an inevitable Rate-Energy (RE) trade-off in the presence of simultaneous Wireless Power Transfer (WPT). In echoing Varshney's seminal concept of jointly transmitting both information and energy, we propose the so-called Generalised Precoded Spatial Modulation (GPSM) aided Integrated Wireless Information and Power Transfer (IWIPT) concept employing a power-split receiver. The principle of GPSM is that a particular subset of Receive Antennas (RA) is activated and the activation pattern itself conveys useful information. Hence, the novelty of our GPSM aided IWIPT concept is that RA pattern-based information transfer is used in addition to the conventional waveform-based information carried by the classic M-ary modulation. Following the Radio Frequency (RF) to Direct Current (DC) power conversion invoked for WPT at the power-split receiver, the non-coherent detector simply compares the remaining received power accumulated by each legitimate RA pattern for the sake of identifying the most likely RA. This operation is then followed by down-conversion and conventional Base Band (BB) M-ary detection. Both our analysis and simulations show that the RA pattern based information transfer represented in the Spatial Domain (SD) exhibits a beneficial immunity to any potential power conversion induced performance degradation and hence improves the overall RE trade-off when additionally the waveform-based information transfer is also taken into account. Moreover, we investigate the impact of realistic imperfect Channel State Information at the Transmitter (CSIT) as well as that of the antenna correlations encountered. Finally, the system's asymptotic performance is characterised in the context of large-scale Multiple Input Multiple Output (MIMO) systems.


title: EvaluationNet: Can Human Skill be Evaluated by Deep Networks?

abstract: With the recent substantial growth of media such as YouTube, a considerable number of instructional videos covering a wide variety of tasks are available online. Therefore, online instructional videos have become a rich resource for humans to learn everyday skills. In order to improve the effectiveness of the learning with instructional video, observation and evaluation of the activity are required. However, it is difficult to observe and evaluate every activity steps by expert. In this study, a novel deep learning framework which targets human activity evaluation for learning from instructional video has been proposed. In order to deal with the inherent variability of activities, we propose to model activity as a structured process. First, action units are encoded from dense trajectories with LSTM network. The variable-length action unit features are then evaluated by a Siamese LSTM network. By the comparative experiments on public dataset, the effectiveness of the proposed method has been demonstrated.


title: Cryogenics for the HL-LHC

abstract: Chapter 9 in High-Luminosity Large Hadron Collider (HL-LHC) : Preliminary Design Report. The Large Hadron Collider (LHC) is one of the largest scientific instruments ever built. Since opening up a new energy frontier for exploration in 2010, it has gathered a global user community of about 7,000 scientists working in fundamental particle physics and the physics of hadronic matter at extreme temperature and density. To sustain and extend its discovery potential, the LHC will need a major upgrade in the 2020s. This will increase its luminosity (rate of collisions) by a factor of five beyond the original design value and the integrated luminosity (total collisions created) by a factor ten. The LHC is already a highly complex and exquisitely optimised machine so this upgrade must be carefully conceived and will require about ten years to implement. The new configuration, known as High Luminosity LHC (HL-LHC), will rely on a number of key innovations that push accelerator technology beyond its present limits. Among these are cutting-edge 11-12 tesla superconducting magnets, compact superconducting cavities for beam rotation with ultra-precise phase control, new technology and physical processes for beam collimation and 300 metre-long high-power superconducting links with negligible energy dissipation. The present document describes the technologies and components that will be used to realise the project and is intended to serve as the basis for the detailed engineering design of HL-LHC.


title: Integration and (De-)installation

abstract: Chapter 15 in High-Luminosity Large Hadron Collider (HL-LHC) : Preliminary Design Report. The Large Hadron Collider (LHC) is one of the largest scientific instruments ever built. Since opening up a new energy frontier for exploration in 2010, it has gathered a global user community of about 7,000 scientists working in fundamental particle physics and the physics of hadronic matter at extreme temperature and density. To sustain and extend its discovery potential, the LHC will need a major upgrade in the 2020s. This will increase its luminosity (rate of collisions) by a factor of five beyond the original design value and the integrated luminosity (total collisions created) by a factor ten. The LHC is already a highly complex and exquisitely optimised machine so this upgrade must be carefully conceived and will require about ten years to implement. The new configuration, known as High Luminosity LHC (HL-LHC), will rely on a number of key innovations that push accelerator technology beyond its present limits. Among these are cutting-edge 11-12 tesla superconducting magnets, compact superconducting cavities for beam rotation with ultra-precise phase control, new technology and physical processes for beam collimation and 300 metre-long high-power superconducting links with negligible energy dissipation. The present document describes the technologies and components that will be used to realise the project and is intended to serve as the basis for the detailed engineering design of HL-LHC.


title: Efficient tomography with unknown detectors

abstract: We compare the two main techniques used for estimating the state of a physical system from unknown measurements: standard detector tomography and data-pattern tomography. Adopting linear inversion as a fair benchmark, we show that the difference between these two protocols can be traced back to the nonexistence of the reverse-order law for pseudoinverses. We capitalize on this fact to identify regimes where the data-pattern approach outperforms the standard one and vice versa. We corroborate these conclusions with numerical simulations of relevant examples of quantum state tomography.


title: A New Representation of the Field Equations of Quadratic Metric-Affine Gravity

abstract: We deal with quadratic metric-affine gravity (QMAG), which is an alternative theory of gravity and present a new explicit representation of the field equations of this theory. In our previous work we found new explicit vacuum solutions of QMAG, namely generalised pp-waves of parallel Ricci curvature with purely tensor torsion. Here we do not make any assumptions on the properties of torsion and write down our field equations accordingly. We present a review of research done thus far by several authors in finding new solutions of QMAG and different approaches in generalising pp-waves. We present two conjectures on the new types of solutions of QMAG which the ansatz presented in this paper will hopefully enable us to prove.


title: Bayesian multi-parameter evidence synthesis to inform decision-making: a case study in hormone-refractory metastatic prostate cancer

abstract: In health technology assessment, decisions are based on complex cost-effectiveness models which, to be implemented, require numerous input parameters. When some of relevant estimates are not available the model may have to be simplified. Multi-parameter evidence synthesis allows to combine data from diverse sources of evidence resulting in obtaining estimates required in clinical decision-making that otherwise may not be available. We demonstrate how bivariate meta-analysis (BVMA) can be used to predict unreported estimate of a treatment effect enabling implementation of multi-state Markov model, which otherwise needs to be simplified. To illustrate this, we used an example of cost-effectiveness analysis for docetaxel in combination with prednisolone in metastatic hormone-refractory prostate cancer (mHRPC). BVMA was used to model jointly available data on treatment effects on overall survival (OS) and progression-free survival (PFS) to predict the unreported effect on PFS in a study evaluating docetaxel. Predicted treatment effect on PFS allowed implementation of a three-state Markov model comprising of stable disease, progressive disease and death states, whilst lack of the estimate restricted the model to two-state model (stable disease and death states). The two-state and three-state models were compared by calculating incremental cost-effectiveness ratios, which was much lower in the three-state model: {\pounds}21966 per QALY gained compared to {\pounds}30026 obtained from the two-state model. In contrast to the two-state model, the three-state model has the advantage of distinguishing patients who progressed from those who did not progress. The use of advanced meta-analytic technique helped to obtain relevant parameter estimate to populate a model which describes natural history more accurately, and at the same helped to prevent valuable clinical data from being discarded.


title: From bare to renormalized order parameter in gauge space: structure and reactions

abstract: The physical reason why one can calculate with similar accuracy, as compared to the experimental data, the absolute cross section associated with two-nucleon transfer processes between members of pairing rotational bands, making use of simple BCS (constant matrix elements) or of many-body (Nambu-Gorkov (NG), nuclear field theory (NFT)) spectroscopic amplitudes, is not immediately obvious. Restoration of spontaneous symmetry breaking and associated emergent generalised rigidity in gauge space provides the answer, and points to a new emergence: a physical sum rule resulting from the intertwining of structure and reaction processes and closely connected with the central role induced pairing interaction plays in structure together with the fact that successive transfer dominates Cooper pair tunnelling.


title: Dynamics of Fragment Formation in Neutron Rich Matter

abstract: Background: Neutron stars are astronomical systems with nucleons submitted to extreme conditions. Due to the longer range coulomb repulsion between protons, the system has structural inhomogeneities. Several interactions tailored to reproduce nuclear matter plus screened Coulomb term reproduce these inhomogeneities known as nuclear pasta. These structural inhomogeneities, located in the crust of neutron stars, can also arise in expanding systems depending on the thermodynamic conditions (temperature, proton fraction, ...) and the expansion velocity. Purpose: We aim to find the dynamics of the fragments formation for expanding systems simulated according to the little big bang model. This expansion resembles the evolution of neutron stars merger. Method: We study the dynamics of the nucleons with semiclassical molecular dynamics models. Starting with an equilibrium configuration, we expand the system homogeneously until we arrive to an asymptotic configuration (i. e. very low final densities). We study, with four different cluster recognition algorithms, the fragment distribution throughout this expansion and the dynamics of the cluster formation. Results: Studying the topology of the equilibrium states, before the expansion, we reproduced the known pasta phases plus a novel phase we called pregnocchi, consisting of proton aggregates embedded in a neutron sea. We have identified different fragmentation regimes, depending on the initial temperature and fragment velocity. In particular, for the already mentioned pregnocchi, a neutron cloud surrounds the clusters during the early stages of the expansion, resulting in systems that give rise to configurations compatibles with the emergence of r-proccess. Conclusions: These calculations pave the way to a comparision between Earth experiments and neutron star studies.


title: Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications

abstract: We propose a mathematical framework for synthesizing motion plans for multi-agent systems that fulfill complex, high-level and formal local specifications in the presence of inter-agent communication. The proposed synthesis framework consists of desired motion specifications in temporal logic (STL) formulas and a local motion controller that ensures the underlying agent not only to accomplish the local specifications but also to avoid collisions with other agents or possible obstacles, while maintaining an optimized communication quality of service (QoS) among the agents. Utilizing a Gaussian fading model for wireless communication channels, the framework synthesizes the desired motion controller by solving a joint optimization problem on motion planning and wireless communication, in which both the STL specifications and the wireless communication conditions are encoded as mixed integer-linear constraints on the variables of the agents' dynamical states and communication channel status. The overall framework is demonstrated by a case study of communication-aware multi-robot motion planning and the effectiveness of the framework is validated by simulation results.


title: The multi-resonant Lugiato-Lefever model

abstract: We introduce a new model describing multiple resonances in Kerr optical cavities. It perfectly agrees quantitatively with the Ikeda map and predicts complex phenomena such as super cavity solitons and coexistence of multiple nonlinear states.


title: What to Fix? Distinguishing between design and non-design rules in automated tools

abstract: Technical debt---design shortcuts taken to optimize for delivery speed---is a critical part of long-term software costs. Consequently, automatically detecting technical debt is a high priority for software practitioners. Software quality tool vendors have responded to this need by positioning their tools to detect and manage technical debt. While these tools bundle a number of rules, it is hard for users to understand which rules identify design issues, as opposed to syntactic quality. This is important, since previous studies have revealed the most significant technical debt is related to design issues. Other research has focused on comparing these tools on open source projects, but these comparisons have not looked at whether the rules were relevant to design. We conducted an empirical study using a structured categorization approach, and manually classify 466 software quality rules from three industry tools---CAST, SonarQube, and NDepend. We found that most of these rules were easily labeled as either not design (55%) or design (19%). The remainder (26%) resulted in disagreements among the labelers. Our results are a first step in formalizing a definition of a design rule, in order to support automatic detection.


title: Hard exclusive neutrino production of a light meson

abstract: We update the leading order in $\alpha_s$ QCD amplitude for deep exclusive neutrino and antineutrino production of a light meson on an unpolarized nucleon. The factorization theorems of the collinear QCD approach allow us to write the amplitude as the convolution of generalized parton distributions (GPDs) and perturbatively calculable coefficient functions. We study both the pseudoscalar meson and longitudinally polarized vector meson cases. It turns out that, contrarily to the electroproduction case, the leading twist scattering amplitudes for $\pi$ and $\rho_L$ productions are proportional to one another, which may serve as an interesting new test of the leading twist dominance of exclusive processes at medium scale. The dominance of the gluonic contribution to most cross sections is stressed.


title: Galactic cosmic-ray model in the light of AMS-02 nuclei data

abstract: Cosmic ray (CR) physics has entered a precision-driven era. With the latest AMS-02 nuclei data (boron-to-carbon ratio, proton flux, helium flux and antiproton-to-proton ratio), we perform a global fitting and constrain the primary source and propagation parameters of cosmic rays in the Milky Way by considering 3 schemes with different data sets (with and without $\bar{\mathrm{p}}/\mathrm{p}$ data) and different propagation models (diffusion-reacceleration and diffusion-reacceleration-convection models). We find that the data set with $\bar{\mathrm{p}}/\mathrm{p}$ data can remove the degeneracy between the propagation parameters effectively and it favors the model with a very small value of convection (or disfavors the model with convection). The separated injection spectrum parameters are used for proton and other nucleus species, which reveal the different breaks and slopes among them. Moreover, the helium abundance, antiproton production cross sections and solar modulation are parametrized in our global fitting. Benefited from the self-consistence of the new data set, the fitting results show a little bias, and thus the disadvantages and limitations of the existed propagation models appear. Comparing to the best fit results for the local interstellar spectra ($\phi = 0$) with the VOYAGER-1 data, we find that the primary sources or propagation mechanisms should be different between proton and helium (or other heavier nucleus species). Thus, how to explain these results properly is an interesting and challenging question.


title: A Ramsey Theorem for Multiposets

abstract: In the parlance of relational structures, the Finite Ramsey Theorem states that the class of all finite chains has the Ramsey property. A classical result of J. Ne\v{s}et\v{r}il and V. R\"{o}dl claims that the class of all finite posets with a linear extension has the Ramsey property. In 2010 M. Soki\'{c} proved that the class of all finite structures consisting of several linear orders has the Ramsey property. This was followed by a 2017 result of S. Solecki and M. Zhao that the class of all finite posets with several linear extensions has the Ramsey property. Using the categorical reinterpretation of the Ramsey property in this paper we prove a common generalization of all these results. We consider multiposets to be structures consisting of several partial orders and several linear orders. We allow partial orders to extend each other in an arbitrary but fixed way, and require that every partial order is extended by at least one of the linear orders. We then show that the class of all finite multiposets conforming to a fixed template has the Ramsey property.


title: Analytically calculated post-Keplerian range and range-rate perturbations: the solar Lense-Thirring effect and BepiColombo

abstract: We analytically calculate the time series for the perturbations $\Delta\rho(t),~\Delta\dot\rho(t)$ induced by a general disturbing acceleration $\boldsymbol{A}$ on the mutual range $\rho$ and range-rate $\dot\rho$ of two test particles $\textrm{A},~\textrm{B}$ orbiting the same spinning body. We apply it to the general relativistic Lense-Thirring effect, due to the primary's spin $\boldsymbol{S}$, and the classical perturbation arising from its quadrupole mass moment $J_2$ for arbitrary orbital geometries and orientation of the source's symmetry axis $\boldsymbol{\hat{S}}$. The Earth-Mercury range and range-rate are nominally affected by the Sun's gravitomagnetic field to the $10~\textrm{m},~10^{-3}~\textrm{cm s}^{-1}$ level, respectively, during the extended phase (2026-2028) of the forthcoming BepiColombo mission to Mercury whose expected tracking accuracy is of the order of $\simeq 0.1~\textrm{m},~2\times 10^{-4}~\textrm{cm s}^{-1}$. The competing signatures due to the solar quadrupole $J_2^\odot$, if modelled at the $\sigma_{J_2^\odot}\simeq 10^{-9}$ level of the latest planetary ephemerides INPOP17a, are nearly 10 times smaller than the relativistic gravitomagnetic effects. The position and velocity vectors $\mathbf{r},~\mathbf{v}$ of Mercury and Earth are changed by the solar Lense-Thirring effect by about $10~\textrm{m},~1.5~\textrm{m}$ and $10^{-3}~\textrm{cm s}^{-1},~10^{-5}~\textrm{cm s}^{-1}$, respectively, over 2 yr; neglecting such shifts may have an impact on long-term integrations of the inner solar system dynamics over $\sim\textrm{Gyr}$ timescales.


title: Consistent forcing scheme in the cascaded lattice Boltzmann method

abstract: In this paper, we give a more pellucid derivation for the cascaded lattice Boltzmann method (CLBM) based on a general multiple-relaxation-time (MRT) frame through defining a shift matrix. When the shift matrix is a unit matrix, the CLBM degrades into an MRT LBM. Based on this, a consistent forcing scheme is developed for the CLBM. The applicability of the non-slip rule, the second-order convergence rate in space and the property of isotropy for the consistent forcing scheme is demonstrated through the simulation of several canonical problems. Several other existing force schemes previously used in the CLBM are also examined. The study clarifies the relation between MRT LBM and CLBM under a general framework.


title: Inequivalent Leggett-Garg inequalities

abstract: It remains an open question how realist view of macroscopic world emerges from quantum formalism. For testing the macrorealism in quantum domain, an interesting approach was put forward by Leggett and Garg in $1985$, by formulating a suitable inequality valid for any macrorealistic theory. Recently, by following the Wigner idea of local realist inequality, a probabilistic version of standard Leggett-Garg inequalities have also been proposed. While the Wigner form of local realist inequalities are equivalent to the two-party, two-measurements and two outcomes CHSH inequalities, in this paper we provide a generic proof to demonstrate that the Wigner form of Leggett-Garg inequalities are not only inequivalent to the standard ones but also stronger than the later. This is demonstrated by quantifying the amount of disturbance caused by a prior measurement to the subsequent measurements. In this connection, the relation between LGIs and another formulation of macrorealism known as no-signaling in time is examined.


title: Case Studies on Plasma Wakefield Accelerator Design

abstract: The field of plasma-based particle accelerators has seen tremendous progress over the past decade and experienced significant growth in the number of activities. During this process, the involved scientific community has expanded from traditional university-based research and is now encompassing many large research laboratories worldwide, such as BNL, CERN, DESY, KEK, LBNL and SLAC. As a consequence, there is a strong demand for a consolidated effort in education at the intersection of accelerator, laser and plasma physics. The CERN Accelerator School on Plasma Wake Acceleration has been organized as a result of this development. In this paper, we describe the interactive component of this one-week school, which consisted of three case studies to be solved in 11 working groups by the participants of the CERN Accelerator School.


title: On One Generalization of LRC Codes with Availability

abstract: We investigate one possible generalization of locally recoverable codes (LRC) with all-symbol locality and availability when recovering sets can intersect in a small number of coordinates. This feature allows us to increase the achievable code rate and still meet load balancing requirements. In this paper we derive an upper bound for the rate of such codes and give explicit constructions of codes with such a property. These constructions utilize LRC codes developed by Wang et al.


title: An in situ comparison of electron acceleration at collisionless shocks under differing upstream magnetic field orientations

abstract: A leading explanation for the origin of Galactic cosmic rays is acceleration at high-Mach number shock waves in the collisionless plasma surrounding young supernova remnants. Evidence for this is provided by multi-wavelength non-thermal emission thought to be associated with ultrarelativistic electrons at these shocks. However, the dependence of the electron acceleration process on the orientation of the upstream magnetic field with respect to the local normal to the shock front (quasi-parallel/quasi-perpendicular) is debated. Cassini spacecraft observations at Saturn's bow shock has revealed examples of electron acceleration under quasi-perpendicular conditions, and the first in situ evidence of electron acceleration at a quasi-parallel shock. Here we use Cassini data to make the first comparison between energy spectra of locally accelerated electrons under these differing upstream magnetic field regimes. We present data taken during a quasi-perpendicular shock crossing on 2008 March 8 and during a quasi-parallel shock crossing on 2007 February 3, highlighting that both were associated with electron acceleration to at least MeV energies. The magnetic signature of the quasi-perpendicular crossing has a relatively sharp upstream-downstream transition, and energetic electrons were detected close to the transition and immediately downstream. The magnetic transition at the quasi-parallel crossing is less clear, energetic electrons were encountered upstream and downstream, and the electron energy spectrum is harder above ~100 keV. We discuss whether the acceleration is consistent with diffusive shock acceleration theory in each case, and suggest that the quasi-parallel spectral break is due to an energy-dependent interaction between the electrons and short, large-amplitude magnetic structures.


title: A Logic for Non-Deterministic Parallel Abstract State Machines

abstract: We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and St\"ark for reasoning about hierarchical (parallel) ASMs. Our main contribution to this regard is the handling of non-determinism (both bounded and unbounded) within the logical formalism. Moreover, we do this without sacrificing the completeness of the logic for statements about single steps of non-deterministic parallel ASMs, such as invariants of rules, consistency conditions for rules, or step-by-step equivalence of rules.


title: Modified Gravity Theories on a Nutshell: Inflation, Bounce and Late-time Evolution

abstract: We systematically review some standard issues and also the latest developments of modified gravity in cosmology, emphasizing on inflation, bouncing cosmology and late-time acceleration era. Particularly, we present the formalism of standard modified gravity theory representatives, like $F(R)$, $F(\mathcal{G})$ and $F(T)$ gravity theories, but also several alternative theoretical proposals which appeared in the literature during the last decade. We emphasize on the formalism developed for these theories and we explain how these theories can be considered as viable descriptions for our Universe. Using these theories, we present how a viable inflationary era can be produced in the context of these theories, with the viability being justified if compatibility with the latest observational data is achieved. Also we demonstrate how bouncing cosmologies can actually be described by these theories. Moreover, we systematically discuss several qualitative features of the dark energy era by using the modified gravity formalism, and also we critically discuss how a unified description of inflation with dark energy era can be described by solely using the modified gravity framework. Finally, we also discuss some astrophysical solutions in the context of modified gravity, and several qualitative features of these solutions. The aim of this review is to gather the different modified gravity techniques and form a virtual modified gravity "toolbox", which will contain all the necessary information on inflation, dark energy and bouncing cosmologies in the context of the various forms of modified gravity.


title: On an elastic model arising from volcanology: an analysis of the direct and inverse problem

abstract: In this paper we investigate a mathematical model arising from volcanology describing surface deformation effects generated by a magma chamber embedded into Earth's interior and exerting on it a uniform hydrostatic pressure. The modeling assumptions translate mathematically into a Neumann boundary value problem for the classical Lam\'e system in a half-space with an embedded pressurized cavity. We establish well-posedness of the problem in suitable weighted Sobolev spaces and analyse the inverse problem of determining the pressurized cavity from partial measurements of the displacement field proving uniqueness and stability estimates.


title: Effects of nonmagnetic disorder on the energy of Yu-Shiba-Rusinov states

abstract: We study the sensitivity of Yu-Shiba-Rusinov states, bound states that form around magnetic scatterers in superconductors, to the presence of nonmagnetic disorder in both two and three dimensional systems. We formulate a scattering approach to this problem and reduce the effects of disorder to two contributions: disorder-induced normal reflection and a random phase of the amplitude for Andreev reflection. We find that both of these are small even for moderate amounts of disorder. In the dirty limit in which the disorder-induced mean free path is smaller than the superconducting coherence length, the variance of the energy of the Yu-Shiba-Rusinov state remains small in the ratio of the Fermi wavelength and the mean free path. This effect is more pronounced in three dimensions, where only impurities within a few Fermi wavelengths of the magnetic scatterer contribute. In two dimensions the energy variance is larger by a logarithmic factor because impurities contribute up to a distance of the order of the superconducting coherence length.


title: Topological lattice using multi-frequency radiation

abstract: We describe a novel technique for creating an artificial magnetic field for ultra-cold atoms using a periodically pulsed pair of counter propagating Raman lasers that drive transitions between a pair of internal atomic spin states: a multi-frequency coupling term. In conjunction with a magnetic field gradient, this dynamically generates a rectangular lattice with a non-staggered magnetic flux. For a wide range of parameters, the resulting Bloch bands have non-trivial topology, reminiscent of Landau levels, as quantified by their Chern numbers.

categories: cond-mat.quant-gas physics.atom-ph physics.optics quant-ph


title: Lorentz Structure of Vector Part of Matrix Elements of Transitions n <-> p, Caused by Strong Low-Energy Interactions and Hypothesis of Conservation of Charged Vector Current

abstract: We analyse the Lorentz structure of the matrix elements of the transitions "neutron <-->proton", induced by the charged hadronic vector current. We show that the term maintaining conservation of the charged hadronic vector current even for different masses of the neutron and proton (see T. Leitner et al., Phys. Rev. C 73, 065502 (2006) and A. M. Ankowski, arXiv:1601.06169 [hep-ph]) has a dynamical origin, related to the G-even first class current contribution. We show that because of invariance of strong low-energy interactions under the G-parity transformations, the G-odd contribution with the Lorentz structure $q_{\mu}$, where $q_{\mu}$ is a momentum transferred, does not appear in the matrix elements of the ``neutron <-> proton' transitions.


title: Uniform random colored complexes

abstract: We present here random distributions on $(D+1)$-edge-colored, bipartite graphs with a fixed number of vertices $2p$. These graphs are dual to $D$-dimensional orientable colored complexes. We investigate the behavior of quantities related to those random graphs, such as their number of connected components or the number of vertices of their dual complexes, as $p \to \infty$. The techniques involved in the study of these quantities also yield a Central Limit Theorem for the genus of a uniform map of order $p$, as $p \to \infty$.


title: Optimal placement of mix zones in road networks

abstract: The road networks, vehicle users could enjoy numerous kind of services such as location based service in vehicle users can connected to Internet and communication of different users. Therefore, in order to acquire adequate privacy level and quality of service, one must have to wisely place mix zones to connect vehicle users to internet or some other internetwork. According to this research, we have analyzed the problem of optimal placement mix zones over road network. To enhance the coverage capacity of vehicles, in order to reduce the cost and communication delay. Further, it has also been discovered to minimize the cost of mix zone placement. Moreover, it has also been shown that, as the best deployment mix zones get minimized cost while at the same time the average capacity of mix zone can be maximized also privacy level increased because of optimal placement and high traffic environment.


title: HiNet: Hierarchical Classification with Neural Network

abstract: Traditionally, classifying large hierarchical labels with more than 10000 distinct traces can only be achieved with flatten labels. Although flatten labels is feasible, it misses the hierarchical information in the labels. Hierarchical models like HSVM by \cite{vural2004hierarchical} becomes impossible to train because of the sheer number of SVMs in the whole architecture. We developed a hierarchical architecture based on neural networks that is simple to train. Also, we derived an inference algorithm that can efficiently infer the MAP (maximum a posteriori) trace guaranteed by our theorems. Furthermore, the complexity of the model is only $O(n^2)$ compared to $O(n^h)$ in a flatten model, where $h$ is the height of the hierarchy.


title: Lepton polarization asymmetries in rare semi-tauonic $ b \rightarrow s $ exclusive decays at FCC-$ee$

abstract: We consider measurements of exclusive rare semi-tauonic $b$-hadron decays, mediated by the $b \rightarrow s \tau^+ \tau^-$ transition, at a future high energy circular electron-positron collider (FCC-$ee$). We argue that the high boosts of $b$-hadrons originating from on-shell $Z$ boson decays allow for a full reconstruction of the decay kinematics in hadronic $\tau$ decay modes (up to discrete ambiguities). This, together with the potentially large statistics of $Z\to b\bar b$, opens the door for the experimental determination of $\tau$ polarizations in these rare $b$-hadron decays. In light of the current experimental situation on lepton flavor universality in rare semileptonic $B$ decays, we discuss the complementary short-distance physics information carried by the $\tau$ polarizations and suggest suitable theoretically clean observables in the form of single- and double-$\tau$ polarization asymmetries.


title: Information Theoretic Properties of Markov Random Fields, and their Algorithmic Applications

abstract: Markov random fields area popular model for high-dimensional probability distributions. Over the years, many mathematical, statistical and algorithmic problems on them have been studied. Until recently, the only known algorithms for provably learning them relied on exhaustive search, correlation decay or various incoherence assumptions. Bresler gave an algorithm for learning general Ising models on bounded degree graphs. His approach was based on a structural result about mutual information in Ising models. Here we take a more conceptual approach to proving lower bounds on the mutual information through setting up an appropriate zero-sum game. Our proof generalizes well beyond Ising models, to arbitrary Markov random fields with higher order interactions. As an application, we obtain algorithms for learning Markov random fields on bounded degree graphs on $n$ nodes with $r$-order interactions in $n^r$ time and $\log n$ sample complexity. The sample complexity is information theoretically optimal up to the dependence on the maximum degree. The running time is nearly optimal under standard conjectures about the hardness of learning parity with noise.

categories: cs.LG cs.DS cs.IT math.IT math.ST stat.TH


title: Covariant kinematics of light in media and a generalized Raychaudhuri equation

abstract: There is ongoing interest in adopting various tools and ideas from general relativity for optical applications and the study of light propagation through natural or engineered media. Here, the covariant kinematics of light propagating through arbitrary dielectric media in curved space-times are derived, allowing for analysis and tracing of congruences of light through media that may smoothly vary in character between vacuum, positively refracting, and negatively refracting; or null, timelike, and spacelike with respect to the background metric. The kinematics are then used to generalize the Raychaudhuri equation -- an important tool in general relativity that describes the focus of a congruence. These results will be useful for the analysis of optical devices, particularly those designed using transformation optics, and serve as theoretical tools to study generalized concepts in general relativity.


title: Observation of the decay $\Lambda_c^+\rightarrow \Sigma^- \pi^+\pi^+\pi^0$

abstract: We report the first observation of the decay $\Lambda^+_{c}\rightarrow \Sigma^- \pi^+\pi^+\pi^0$, based on data obtained in $e^+e^-$ annihilations with an integrated luminosity of 567~pb$^{-1}$ at $\sqrt{s}=4.6$~GeV. The data were collected with the BESIII detector at the BEPCII storage rings. The absolute branching fraction $\mathcal{B}(\Lambda^+_{c}\rightarrow\Sigma^-\pi^+\pi^+\pi^0)$ is determined to be $(2.11\pm0.33({\rm stat.})\pm0.14({\rm syst.}))\%$. In addition, an improved measurement of $\mathcal{B}(\Lambda^+_{c}\rightarrow\Sigma^-\pi^+\pi^+)$ is determined as $(1.81\pm0.17({\rm stat.})\pm0.09({\rm syst.}))\%$.


title: Presymplectic convexity and (ir)rational polytopes

abstract: In this paper, we extend the Atiyah--Guillemin--Sternberg convexity theorem and Delzant's classification of symplectic toric manifolds to presymplectic manifolds. We also define and study the Morita equivalence of presymplectic toric manifolds and of their corresponding framed momentum polytopes, which may be rational or non-rational. Toric orbifolds, quasifolds and non-commutative toric varieties may be viewed as the quotient of our presymplectic toric manifolds by the kernel isotropy foliation of the presymplectic form.


title: Some remarks on Einstein-Randers metrics

abstract: In this essay, we study the sufficient and necessary conditions for a Randers metrc to be of constant Ricci curvature without the restriction of strong convexity (regularity). The classification result for the case $\|\beta\|_{\alpha}>1$ is provided, which is similar to the famous Bao-Robles-Shen's result for strongly convex Randers metrics ($\|\beta\|_{\alpha}<1$). Based on some famous Einstein-Lorentz metrics in General Relativity, such as Minkowski metric, Sitter metric, anti de Sitter metric, Schwarzschild metric, Kerr metric, C-metric, Kasner metric, Levi-Civita metric, Cartor-Novotn\'{y}-Horsk\'{y} metric, etc., many non-regular Einstein-Randers metrics are constructed. Besides, we find that the case $\|\beta\|_{\alpha}\equiv1$ is very distinctive. These metrics will be called singular Randers metrics or parabolic Finsler metrics since their indicatrixs are parabolic hypersurface. A preliminary discussion for such metrics is provided.


title: Layered semiconductor devices with water top-gates: High on-off ratio field-effect transistors and aqueous sensors

abstract: Layered semiconductors show promise as channel materials for field-effect transistors (FETs). Usually, such devices incorporate solid back or top gate dielectrics. Here, we explore de-ionized (DI) water as a solution top gate for field-effect switching of layered semiconductors including SnS2, MoS2, and black phosphorus. The DI water gate is easily fabricated, can sustain rapid bias changes, and its efficient coupling to layered materials provides high on-off current ratios, a near-ideal sub-threshold swing, and enhanced shortchannel behavior even for FETs with thick, bulk-like channels. Screening by the high-k solution gate eliminates hysteresis due to surface and interface trap states and substantially enhances the field-effect mobility. The onset of water electrolysis sets the ultimate limit to DI water gating at large negative gate bias. Measurements in this regime show promise for aqueous sensing, demonstrated here by the amperometric detection of glucose in aqueous solution. DI water gating of layered semiconductors can be harnessed in research on novel materials and devices, and it may with further development find broad applications in microelectronics and sensing.


title: Stable non-Abelian semi-superfluid vortices in dense QCD

abstract: Color superconductivity is expected to be formed in high density quark matter where color symmetry is spontaneously broken in the presence of di-quark condensate. Stable non-Abelian vortices or color magnetic flux tubes exist in the color-flavor locked phase at asymptotically high density. $\mathbb{C}P^2$ Nambu-Goldstone(NG) bosons and Majorana fermions belonging to the triplet representation are localized around a non-Abelian vortex. We discuss the zero mode analysis and the low-energy effective world sheet theory of a non-Abelian vortex. We determine the interactions of these bosonic and fermionic modes by using the nonlinear realization method. We also discuss the Aharanov-Bohm (AB) phases of charged particles, such as, electrons, muons, and color-flavor locked mesons made of tetra-quarks encircling around a non-Abelian vortex in the presence of electro-magnetic fields. This is a review based on our recent works arXiv:1602.01677, arXiv:1512.06603, arXiv:1612.09419.


title: XMM-Newton and NuSTAR joint observations of Mrk 915: a deep look into the X-ray properties

abstract: We report on the X-ray monitoring programme (covering slightly more than 11 days) carried out jointly by XMM-Newton and NuSTAR on the intermediate Seyfert galaxy Mrk 915. The light curves extracted in different energy ranges show a variation in intensity but not a significant change in spectral shape. The X-ray spectra reveal the presence of a two-phase warm absorber: a fully covering mildly ionized structure [log xi/(erg cm/s)~2.3, NH~1.3x10^21 cm-2] and a partial covering (~90 per cent) lower ionized one [log xi/(erg cm/s)~0.6, NH~2x10^22 cm-2]. A reflection component from distant matter is also present. Finally, a high-column density (NH~1.5x10^23 cm-2) distribution of neutral matter covering a small fraction of the central region is observed, almost constant, in all observations. Main driver of the variations observed between the datasets is a decrease in the intrinsic emission by a factor of ~1.5. Slight variations in the partial covering ionized absorber are detected, while the data are consistent with no variation of the total covering absorber. The most likely interpretation of the present data locates this complex absorber closer to the central source than the narrow line region, possibly in the broad line region, in the innermost part of the torus, or in between. The neutral obscurer may either be part of this same stratified structure or associated with the walls of the torus, grazed by (and partially intercepting) the line of sight.


title: On Willmore Legendrian surfaces in $\mathbb{S}^5$ and the contact stationary Legendrian Willmore surfaces

abstract: In this paper we study Willmore Legendrian surfaces (that is Legendrian surfaces which are critical points of the Willmore functional). We use an equality proved in \cite{Luo} to get a relation between Willmore Legendrian surfaces and contact stationary Legendrian surfaces in $\mathbb{S}^5$, and then we use this relation to prove a classification result for Willmore Legendrian spheres in $\mathbb{S}^5$. We also get an integral inequality for Willmore Legendrian surfaces and in particular we prove that if the square length of the second fundamental form of a Willmore Legendrian surface in $\mathbb{S}^5$ belongs to $[0,2]$, then it must either be $0$ and $L$ is totally geodesic or $2$ and $L$ is a flat minimal Legendrian tori, which generalizes a result of \cite{YKM}. We also study variation of the Willmore functional among Legendrian surfaces in 5-dimensional Sasakian manifolds. Let $\Sigma$ be a closed surface and $(M,\alpha,g_\alpha,J)$ a 5-dimensional Sasakian manifold with a contact form $\alpha$, an associated metric $g_\alpha$ and an almost complex structure $J$. Assume that $f:\Sigma\mapsto M$ is a Legendrian immersion. Then $f$ is called a contact stationary Legendrian Willmore surface (in short, a csL Willmore surface) if it is a critical point of the Willmore functional under contact deformations. To investigate the existence of csL Willmore surfaces we introduce a higher order flow which preserves the Legendre condition and decreases the Willmore energy. As a first step we prove that this flow is well posed if $(M,\alpha,g_\alpha,J)$ is a Sasakian Einstein manifold, in particular $\mathbb{S}^5$.


title: Identification of points using disks

abstract: We consider the problem of identifying n points in the plane using disks, i.e., minimizing the number of disks so that each point is contained in a disk and no two points are in exactly the same set of disks. This problem can be seen as an instance of the test covering problem with geometric constraints on the tests. We give tight lower and upper bounds on the number of disks needed to identify any set of n points of the plane. In particular, we prove that if there are no three colinear points nor four cocyclic points, then roughly n/3 disks are enough, improving the known bound of (n+1)/2 when we only require that no three points are colinear. We also consider complexity issues when the radius of the disks is fixed, proving that this problem is NP-complete. In contrast, we give a linear-time algorithm computing the exact number of disks if the points are colinear.


title: An On/Off Berry Phase Switch in Circular Graphene Resonators

abstract: The phase of a quantum state may not return to its original value after the system's parameters cycle around a closed path; instead, the wavefunction may acquire a measurable phase difference called the Berry phase. Berry phases typically have been accessed through interference experiments. Here, we demonstrate an unusual Berry-phase-induced spectroscopic feature: a sudden and large increase in the energy of angular-momentum states in circular graphene p-n junction resonators when a small critical magnetic field is reached. This behavior results from turning on a $\pi$-Berry phase associated with the topological properties of Dirac fermions in graphene. The Berry phase can be switched on and off with small magnetic field changes on the order of 10 mT, potentially enabling a variety of optoelectronic graphene device applications.


title: Vacuum-induced Autler-Townes splitting in a superconducting artificial atom

abstract: We experimentally study a vacuum-induced Autler-Townes doublet in a superconducting three-level artificial atom strongly coupled to a coplanar waveguide resonator and simultaneously to a transmission line. The Autler-Townes splitting is observed in the reflection spectrum from the three-level atom in a transition between the ground state and the second excited state when the transition between the two excited states is resonant with a resonator. By applying a driving field to the resonator, we observe a change in the regime of the Autler-Townes splitting from quantum (vacuum-induced) to classical (with many resonator photons). Furthermore, we show that the reflection of propagating microwaves in a transmission line could be controlled by different frequency single photons in a resonator.


title: Complexity Certification of a Distributed Augmented Lagrangian Method

abstract: In this paper we present complexity certification results for a distributed Augmented Lagrangian (AL) algorithm used to solve convex optimization problems involving globally coupled linear constraints. Our method relies on the Accelerated Distributed Augmented Lagrangian (ADAL) algorithm, which can handle the coupled linear constraints in a distributed manner based on local estimates of the AL. We show that the theoretical complexity of ADAL to reach an $\epsilon$-optimal solution both in terms of suboptimality and infeasibility is $O(\frac{1}{\epsilon})$ iterations. Moreover, we provide a valid upper bound for the optimal dual multiplier which enables us to explicitly specify these complexity bounds. We also show how to choose the stepsize parameter to minimize the bounds on the convergence rates. Finally, we discuss a motivating example, a model predictive control (MPC) problem, involving a finite number of subsystems which interact with each other via a general network.


title: Well-posedness of the free boundary problem in compressible elastodynamics

abstract: We study the free boundary problem for the flow of a compressible isentropic inviscid elastic fluid. At the free boundary moving with the velocity of the fluid particles the columns of the deformation gradient are tangent to the boundary and the pressure vanishes outside the flow domain. We prove the local-in-time existence of a unique smooth solution of the free boundary problem provided that among three columns of the deformation gradient there are two which are non-collinear vectors at each point of the initial free boundary. If this non-collinearity condition fails, the local-in-time existence is proved under the classical Rayleigh-Taylor sign condition satisfied at the first moment. By constructing an Hadamard-type ill-posedness example for the frozen coefficients linearized problem we show that the simultaneous failure of the non-collinearity condition and the Rayleigh-Taylor sign condition leads to Rayleigh-Taylor instability.


title: Collisions in shape memory alloys

abstract: We present here a model for instantaneous collisions in a solid made of shape memory alloys (SMA) by means of a predictive theory which is based on the introduction not only of macroscopic velocities and temperature, but also of microscopic velocities responsible of the austenite-martensites phase changes. Assuming time discontinuities for velocities, volume fractions and temperature, and applying the principles of thermodynamics for non-smooth evolutions together with constitutive laws typical of SMA, we end up with a system of nonlinearly coupled elliptic equations for which we prove an existence and uniqueness result in the 2 and 3 D cases. Finally, we also present numerical results for a SMA 2D solid subject to an external percussion by an hammer stroke.


title: Controllable Invariance through Adversarial Feature Learning

abstract: Learning meaningful representations that maintain the content necessary for a particular task while filtering away detrimental variations is a problem of great interest in machine learning. In this paper, we tackle the problem of learning representations invariant to a specific factor or trait of data. The representation learning process is formulated as an adversarial minimax game. We analyze the optimal equilibrium of such a game and find that it amounts to maximizing the uncertainty of inferring the detrimental factor given the representation while maximizing the certainty of making task-specific predictions. On three benchmark tasks, namely fair and bias-free classification, language-independent generation, and lighting-independent image classification, we show that the proposed framework induces an invariant representation, and leads to better generalization evidenced by the improved performance.


title: Advanced Bayesian Multilevel Modeling with the R Package brms

abstract: The brms package allows R users to easily specify a wide range of Bayesian single-level and multilevel models, which are fitted with the probabilistic programming language Stan behind the scenes. Several response distributions are supported, of which all parameters (e.g., location, scale, and shape) can be predicted at the same time thus allowing for distributional regression. Non-linear relationships may be specified using non-linear predictor terms or semi-parametric approaches such as splines or Gaussian processes. To make all of these modeling options possible in a multilevel framework, brms provides an intuitive and powerful formula syntax, which extends the well known formula syntax of lme4. The purpose of the present paper is to introduce this syntax in detail and to demonstrate its usefulness with four examples, each showing other relevant aspects of the syntax.


title: Proper efficiency and cone efficiency

abstract: In this report, two general concepts for proper efficiency in vector optimization are studied. Properly efficient elements can be defined as minimizers of functionals with certain monotonicity properties or as weakly efficient elements with respect to sets that contain the domination set. Interdependencies between both concepts are proved in topological vector spaces by means of Gerstewitz functionals. The investigation includes proper efficiency notions introduced by Henig and by Nehse and Iwanow. In contrary to Henig's notion, proper efficiency by Nehse and Iwanow is defined as efficiency with respect to certain convex sets which are not necessarily cones. For the finite-dimensional case, we turn to Geoffrion's proper efficiency as a special case of Henig's proper efficiency. It is characterized as efficiency with regard to subclasses of the set of polyhedral cones. Conditions for the existence of Geoffrion's properly efficient points are proved. For closed feasible point sets, Geoffrion's properly efficient point set is empty or coincides with that of Nehse and Iwanow. Properly efficient elements by Nehse and Iwanow are the minimizers of continuous convex functionals with certain monotonicity properties. Henig's proper efficiency can be described by means of minimizers of continuous sublinear functionals with certain monotonicity properties.


title: Mining Frequent Learning Pathways from a Large Educational Dataset

abstract: In this paper, we describe data mining techniques used to extract frequent learning pathways from a large educational dataset. These pathways were extracted as a directed graph that encoded student learning processes. Our dataset contains more than 800 million interactions of over 3 million anonymized students in an online learning platform. Performing process mining on large and complex datasets regularly yields incomprehensible process models. Although, if we cluster data and obtain groups following similar processes, we can greatly improve process mining results. To this end, we developed a sequence clustering algorithm that let us group students who followed similar learning pathways. To extract frequent learning pathways from these clusters of data, we developed a graph-based process discovery algorithm that revealed to us the sequences of learning activities that many students followed. These sequences represented highways of student learning.


title: Radiative corrections of heavy scalar decays to gauge bosons in the singlet extension of the Standard Model

abstract: Assuming the existence of a new real scalar singlet $s^0$ coupled to the Standard Model via a scalar quartic portal interaction, we compute the radiative corrections to the decay rates of the heavy scalar mass eigenstate to a couple of gauge bosons $ZZ$ and $W^+W^-(\gamma)$, showing that they can give a contribution as large as ${\cal{O}}$(5\%) and ${\cal{O}}$(7\%), respectively. We also explicitly analyze in detail their dependence on the heavy mass $m_S$ and on the scalar mixing angle $\alpha$, finding that, especially in the large-mass region, these depend on the sign of $\sin\alpha$.


title: Finite equal norm Parseval Wavelet Frames over Prime Fields

abstract: In the framework of wave packet analysis, finite wavelet systems are particular classes of finite wave packet systems. In this paper, using a scaling matrix on a permuted version of the discrete Fourier transform (DFT) of system generator, we derive a locally-scaled version of the DFT of system genarator and obtain a finite equal-norm Parseval wavelet frame over prime fields. We also give a characterization of all multiplicative subgroups of the cyclic multiplicative group, for which the associated wavelet systems form frames. Finally, we present some concrete examples as applications of our results.


title: On the Sublinear Regret of Distributed Primal-Dual Algorithms for Online Constrained Optimization

abstract: This paper introduces consensus-based primal-dual methods for distributed online optimization where the time-varying system objective function $f_t(\mathbf{x})$ is given as the sum of local agents' objective functions, i.e., $f_t(\mathbf{x}) = \sum_i f_{i,t}(\mathbf{x}_i)$, and the system constraint function $\mathbf{g}(\mathbf{x})$ is given as the sum of local agents' constraint functions, i.e., $\mathbf{g}(\mathbf{x}) = \sum_i \mathbf{g}_i (\mathbf{x}_i) \preceq \mathbf{0}$. At each stage, each agent commits to an adaptive decision pertaining only to the past and locally available information, and incurs a new cost function reflecting the change in the environment. Our algorithm uses weighted averaging of the iterates for each agent to keep local estimates of the global constraints and dual variables. We show that the algorithm achieves a regret of order $O(\sqrt{T})$ with the time horizon $T$, in scenarios when the underlying communication topology is time-varying and jointly-connected. The regret is measured in regard to the cost function value as well as the constraint violation. Numerical results for online routing in wireless multi-hop networks with uncertain channel rates are provided to illustrate the performance of the proposed algorithm.


title: Differential Game Model of Dispersed Material Drying

abstract: Continuous and discrete game-theoretic models of dispersed material drying process are formalized and studied in the paper. The existence of optimal drying strategies is shown through application of results from the theory of differential games and dynamic programming. These optimal strategies can be found numerically.


title: Computations for symbolic substitutions

abstract: We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations. We implement a check to verify that no counterexample exists to the so-called "strong coincidence conjecture" for a large number of substitutions on three and four letters.


title: Multirobot Cliff Climbing on Low-Gravity Environments

abstract: Exploration of extreme environments, including caves, canyons and cliffs on low-gravity surfaces such as the Moon, Mars and asteroids can provide insight into the geological history of the solar system, origins of water, life and prospect for future habitation and resource exploitation. Current methods of exploration utilize large rovers that are unsuitable for exploring these extreme environments. In this work, we analyze the feasibility of small, low-cost, reconfigurable multirobot systems to climb steep cliffs and canyon walls. Each robot is a 30-cm sphere covered in microspines for gripping onto rugged surfaces and attaches to several robots using a spring-tether. Even if one robot were to slip and fall, the system would be held up with multiple attachment points much like a professional alpine climber. We analyzed and performed detailed simulations of the design configuration space to identify an optimal system design that trades off climbing performance with risk of falling. Our results identify a system of 4 robots is best suited when enabling single-robot climbs, while a system of 6 robots are suited when two robots climb simultaneously. The results show a pathway towards demonstration of the system on real robots.


title: The Role of Data Analysis in the Development of Intelligent Energy Networks

abstract: Data analysis plays an important role in the development of intelligent energy networks (IENs). This article reviews and discusses the application of data analysis methods for energy big data. The installation of smart energy meters has provided a huge volume of data at different time resolutions, suggesting data analysis is required for clustering, demand forecasting, energy generation optimization, energy pricing, monitoring and diagnostics. The currently adopted data analysis technologies for IENs include pattern recognition, machine learning, data mining, statistics methods, etc. However, existing methods for data analysis cannot fully meet the requirements for processing the big data produced by the IENs and, therefore, more comprehensive data analysis methods are needed to handle the increasing amount of data and to mine more valuable information.


title: A lower bound on the order of the largest induced linear forest in triangle-free planar graphs

abstract: We prove that every triangle-free planar graph of order $n$ and size $m$ has an induced linear forest with at least $\frac{9n - 2m}{11}$ vertices, and thus at least $\frac{5n + 8}{11}$ vertices. Furthermore, we show that there are triangle-free planar graphs on $n$ vertices whose largest induced linear forest has order $\lceil \frac{n}{2} \rceil + 1$.


title: Pendant Capsule Elastometry

abstract: We provide a C/C++ software for the shape analysis of deflated elastic capsules in a pendant capsule geometry, which is based on an elastic description of the capsule material as a quasi two-dimensional elastic membrane using shell theory. Pendant capsule elastometry provides a new in-situ and non-contact method for interfacial rheology of elastic capsules. Given an elastic model of the capsule membrane, pendant capsule elastometry determines optimal elastic moduli by fitting numerically generated axisymmetric shapes optimally to an experimental image. For each digitized image of a deflated capsule elastic moduli can be determined, if another image of its undeformed reference shape is provided. Within this paper, we focus on nonlinear Hookean elasticity because of its low computational cost its wide applicability, but also discuss and implement alternative constitutive laws. For Hookean elasticity, Young's surface modulus (or, alternatively, area compression modulus) and Poisson's ratio are determined; for Mooney-Rivlin elasticity, the Rivlin modulus and a dimensionless shape parameter are determined; for neo-Hookean elasticity, only the Rivlin modulus is determined, using a fixed dimensionless shape parameter. Comparing results for different models we find that nonlinear Hookean elasticity is adequate for most capsules. If series of images are available, these moduli can be evaluated as a function of the capsule volume to analyze hysteresis or aging effects depending on the deformation history. An additional wrinkling wavelength measurement allows the user to determine the bending modulus, from which the layer thickness can be derived. We verify the method by analyzing several materials, compare the results to available rheological measurements, and review several applications. We make the software available under the GPL license at github.com/jhegemann/opencapsule.


title: The canonical involution in the space of connections of a $(J^{2}=\pm 1)$-metric manifold

abstract: A $(J^{2}=\pm 1)$-metric manifold has an almost complex or almost product structure $J$ and a compatible metric $g$. We show that there exists a canonical involution in the set of connections on such a manifold, which allows to define a projection over the set of connections adapted to $J$. This projection sends the Levi Civita connection onto the first canonical connection. In the almost Hermitian case, it also sends the $\nabla^{-}$ connection onto the Chern connection, thus applying the line of metric connections defined by $\nabla ^{-}$ and the Levi Civita connections onto the line of canonical connections. Besides, it moves metric connections onto metric connections.


title: Representation Learning by Rotating Your Faces

abstract: The large pose discrepancy between two face images is one of the fundamental challenges in automatic face recognition. Conventional approaches to pose-invariant face recognition either perform face frontalization on, or learn a pose-invariant representation from, a non-frontal face image. We argue that it is more desirable to perform both tasks jointly to allow them to leverage each other. To this end, this paper proposes a Disentangled Representation learning-Generative Adversarial Network (DR-GAN) with three distinct novelties. First, the encoder-decoder structure of the generator enables DR-GAN to learn a representation that is both generative and discriminative, which can be used for face image synthesis and pose-invariant face recognition. Second, this representation is explicitly disentangled from other face variations such as pose, through the pose code provided to the decoder and pose estimation in the discriminator. Third, DR-GAN can take one or multiple images as the input, and generate one unified identity representation along with an arbitrary number of synthetic face images. Extensive quantitative and qualitative evaluation on a number of controlled and in-the-wild databases demonstrate the superiority of DR-GAN over the state of the art in both learning representations and rotating large-pose face images.


title: Lattice and spin dynamics in a low-symmetry antiferromagnet NiWO$_4$

abstract: Lattice and magnetic dynamics of NiWO$_4$ single crystals were studied with the use of polarized Raman spectroscopy in a wide temperature range of 10-300 K including the antiferromagnetic ordering temperature $T_N$=62 K. Static magnetic measurements were used for characterizing the single crystals. All Raman-active phonons predicted by the group theory were observed and characterized. Magnetic symmetry analysis was used to determine possible magnetic space groups for NiWO$_4$ which can be also applied to any other isostructural crystal with the same magnetic propagation vector k=(1/2,0,0). Though the magnetic structure of NiWO$_4$ is relatively simple, a rich set of narrow and broad magnetic excitations with different polarization properties and temperature behavior in the very broad frequency range of 10-200 cm$^{-1}$ was observed, with some modes surviving at temperatures much higher than $T_N$ up to 220 K. Part of the magnetic excitations was identified as acoustic and optical spin-wave branches which allow us to construct exchange structure and estimate exchange and anisotropy constants with the use of linear spin-wave theory. Since the magnetic structure can be described as exchange-coupled AFM chains of $S=1$ ions, previously unobserved magnetic excitation at 24 cm$^{-1}$ is tentatively assigned to a Haldane gap mode.


title: On the groups of c-projective transformations of complete K\"ahler manifolds

abstract: We show that for any complete connected K\"ahler manifold the index of the group of complex affine transformations in the group of c-projective transformations is at most two unless the K\"ahler manifold is isometric to complex projective space equipped with a positive constant multiple of the Fubini-Study metric. This establishes a stronger version of the recently proved Yano-Obata conjecture for complete K\"ahler manifolds.


title: Suppression of electronic correlations by chemical pressure from FeSe to FeS

abstract: Iron-based chalcogenides are complex superconducting systems in which orbitally-dependent electronic correlations play an important role. Here, using high-resolution angle-resolved photoemission spectroscopy, we investigate the effect of these electronic correlations outside the nematic phase in the tetragonal phase of superconducting FeSe1-xSx (x = 0; 0:18; 1). With increasing sulfur substitution, the Fermi velocities increase significantly and the band renormalizations are suppressed towards a factor of 1.5-2 for FeS. Furthermore, the chemical pressure leads to an increase in the size of the quasi-two dimensional Fermi surface, compared with that of FeSe, however, it remains smaller than the predicted one from first principle calculations for FeS. Our results show that the isoelectronic substitution is an effective way to tune electronic correlations in FeSe1-xSx, being weakened for FeS with a lower superconducting transition temperature. This suggests indirectly that electronic correlations could help to promote higher-Tc superconductivity in FeSe.


title: Variational Sequential Monte Carlo

abstract: Many recent advances in large scale probabilistic inference rely on variational methods. The success of variational approaches depends on (i) formulating a flexible parametric family of distributions, and (ii) optimizing the parameters to find the member of this family that most closely approximates the exact posterior. In this paper we present a new approximating family of distributions, the variational sequential Monte Carlo (VSMC) family, and show how to optimize it in variational inference. VSMC melds variational inference (VI) and sequential Monte Carlo (SMC), providing practitioners with flexible, accurate, and powerful Bayesian inference. The VSMC family is a variational family that can approximate the posterior arbitrarily well, while still allowing for efficient optimization of its parameters. We demonstrate its utility on state space models, stochastic volatility models for financial data, and deep Markov models of brain neural circuits.


title: An algorithm-based introduction to the evolution of physical systems

abstract: We outline an unified introduction to the evolution equations of classical and quantum systems intended for a high school students audience. The attempt consists in circumventing the lack of mathematical knowledge with the use of simplified forms of numerical analysis. The aim is to allow students to approach theoretical features as well as computational aspects of the evolution equations. In particular, the possibility to compute and analyze approximate solutions of the dynamical laws of classical, stochastic and quantum mechanics enables to highlight the distinctive role played by probability in different contexts. As computer support for numerical analysis we selected the spreadsheet. It is a work environment usually presented in high school and it is an ideal tool for an intuitive approach to numerical computation through recursive algorithms. The proposal was presented to an audience composed by students of the course of Didactics of Physics and of high school Science teachers.


title: Three-dimensional carbon Archimedean lattices for high-performance electromechanical actuators

abstract: We propose three-dimensional carbon (3D-C) structures based on the Archimedean lattices (ALs) by combining $sp^2$ bonding in the polygon edges and $sp^3$ bonding in the polygon vertices. By first-principles calculations, four types of 3D-C ALs: (4, $8^2$), (3, $12^2$), ($6^3$), and ($4^4$) 3D-Cs are predicted to be stable both dynamically and mechanically among 11 possible ALs. Depending on the index of ALs, the 3D-C ALs show distinctive electronic properties: the (4, $8^2$) 3D-C is an indirect bandgap semiconductor, the (3, $12^2$) 3D-C is semimetal, while the ($6^3$) and ($4^4$) 3D-Cs are metals. Considering the structural deformation due to the changes in their electronic energy bands, we discuss the electromechanical properties of the 3D-C ALs as a function of charge doping. We find a semiconductor-to-metal and semimetallic-to-semiconductor transitions in the (4, $8^2$) and (3, $12^2$) 3D-Cs as a function of charge doping, respectively. Moreover, the (3, $12^2$) 3D-C exhibits a $sp^2$-$sp^3$ phase transformation at high charge doping, which leads to a huge 30% irreversible strain, while the reversible strain in the (4, $8^2$) 3D-C is up to 9%, and thus they are quite promising for electromechanical actuators.


title: Flavor and topological current correlators in parity-invariant three-dimensional QED

abstract: We use lattice regularization to study the flow of the flavor-triplet fermion current central charge $C^f_J$ from its free field value in the ultraviolet limit to its conformal value in the infrared limit of the parity-invariant three-dimensional QED with two flavors of two-component fermions. The dependence of $C^f_J$ on the scale is weak with a tendency to be below the free field value at intermediate distances. Our numerical data suggests that the flavor-triplet fermion current and the topological current correlators become degenerate within numerical errors in the infra-red limit, thereby supporting an enhanced O(4) symmetry predicted by strong self-duality. Further, we demonstrate that fermion dynamics is necessary for the scale-invariant behavior of parity-invariant three-dimensional QED by showing that the pure gauge theory with non-compact gauge action has non-zero bilinear condensate.


title: Crystal growth and phase diagram of 112-type iron pnictide superconductor Ca1-yLayFe1-xNixAs2

abstract: We report a systematic crystal growth and characterization of Ca$_{1-y}$La$_{y}$Fe$_{1-x}$Ni$_{x}$As$_{2}$, the newly discovered 112-type iron-based superconductor. After substituting Fe by a small amount of Ni, bulk superconductivity is successfully obtained in high quality single crystals sized up to 6 mm. Resistivity measurements indicate common features for transport properties in this 112-type iron pnictide, suggest strong scattering from chemical dopants. Together with the superconducting transition temperature $T_c$, and the Neel temperature $T_N$ determined by the elastic neutron scattering, we sketch a three-dimensional phase diagram in the combination of both Ni and La dopings.


title: Long-range spin-coherence in a strongly-coupled all electronic dot-cavity system

abstract: We present a theoretical analysis of spin-coherent electronic transport across a mesoscopic dot-cavity system. Such spin-coherent transport has been recently demonstrated in an experiment with a dot-cavity hybrid implemented in a high-mobility two-dimensional electron gas [C. R\"ossler et al., Phys. Rev. Lett. 115, 166603 (2015)] and its spectroscopic signatures have been interpreted in terms of a competition between Kondo-type dot-lead and molecular-type dot-cavity singlet-formation. Our analysis brings forward all the transport features observed in the experiments and supports the claim that a spin-coherent molecular singlet forms across the full extent of the dot-cavity device. Our model analysis includes: (i) a single-particle numerical investigation of the two-dimensional geometry, its quantum-coral-type eigenstates and associated spectroscopic transport features, (ii) the derivation of an effective interacting model based on the observations of the numerical and experimental studies, and (iii) the prediction of transport characteristics through the device using a combination of a master-equation approach on top of exact eigenstates of the dot-cavity system, and an equation-of-motion analysis that includes Kondo physics. The latter provides additional temperature scaling predictions for the many-body phase transition between molecular- and Kondo-singlet formation and its associated transport signatures.


title: SuperSpike: Supervised learning in multi-layer spiking neural networks

abstract: A vast majority of computation in the brain is performed by spiking neural networks. Despite the ubiquity of such spiking, we currently lack an understanding of how biological spiking neural circuits learn and compute in-vivo, as well as how we can instantiate such capabilities in artificial spiking circuits in-silico. Here we revisit the problem of supervised learning in temporally coding multi-layer spiking neural networks. First, by using a surrogate gradient approach, we derive SuperSpike, a nonlinear voltage-based three factor learning rule capable of training multi-layer networks of deterministic integrate-and-fire neurons to perform nonlinear computations on spatiotemporal spike patterns. Second, inspired by recent results on feedback alignment, we compare the performance of our learning rule under different credit assignment strategies for propagating output errors to hidden units. Specifically, we test uniform, symmetric and random feedback, finding that simpler tasks can be solved with any type of feedback, while more complex tasks require symmetric feedback. In summary, our results open the door to obtaining a better scientific understanding of learning and computation in spiking neural networks by advancing our ability to train them to solve nonlinear problems involving transformations between different spatiotemporal spike-time patterns.


title: Extreme-Scale De Novo Genome Assembly

abstract: De novo whole genome assembly reconstructs genomic sequence from short, overlapping, and potentially erroneous DNA segments and is one of the most important computations in modern genomics. This work presents HipMER, a high-quality end-to-end de novo assembler designed for extreme scale analysis, via efficient parallelization of the Meraculous code. Genome assembly software has many components, each of which stresses different components of a computer system. This chapter explains the computational challenges involved in each step of the HipMer pipeline, the key distributed data structures, and communication costs in detail. We present performance results of assembling the human genome and the large hexaploid wheat genome on large supercomputers up to tens of thousands of cores.


title: Precise Test of Internal-Conversion Theory: alpha_K Measurements for Transitions in Nine Nuclei Spanning Z values from 45 to 78

abstract: We have been testing the theory used to calculate internal-conversion coefficients (ICCs) by making a series of measurements of alpha_K values with precision better than +/-2%. So far we have measured E3 transitions in three nuclei, 103Rh, 111Cd and 134Cs; and M4 transitions in six nuclei, 119Sn, 125Te, 127Te, 137Ba, 193Ir and 197Pt. Together, these span a wide range of A and Z values. In all cases, the results strongly favor Dirac-Fock calculations in which the final-state electron wave function has been computed in an atomic field that includes the vacancy created by the internal-conversion process.


title: Universal Bounds for Large Determinants from Non-Commutative H\"older Inequalities in Fermionic Constructive Quantum Field Theory

abstract: Efficiently bounding large determinants is an essential step in non-relativistic fermionic constructive quantum field theory to prove the absolute convergence of the perturbation expansion of correlation functions in terms of powers of the strength $u\in \mathbb{R}$ of the interparticle interaction. We provide, for large determinants of fermionic convariances, sharp bounds which hold for all (bounded and unbounded, the latter not being limited to semibounded) one-particle Hamiltonians. We find the smallest universal determinant bound to be exactly $1$. In particular, the convergence of perturbation series at $u=0$ of any fermionic quantum field theory is ensured if the matrix entries, with respect to some fixed orthonormal basis, of the covariance and the interparticle interaction decay sufficiently fast. Our proofs use H\"older inequalities for general non-commutative $L^{p}$-spaces derived by Araki and Masuda.


title: Information transmission and criticality in the contact process

abstract: In the present paper, we study the relation between criticality and information transmission in the one-dimensional contact process with infection parameter $\lambda .$ To do this we define the {\it sensitivity} of the process to its initial condition. This sensitivity increases for values of $\lambda < \lambda_c, $ the value of the critical parameter. The main point of the present paper is that we show that actually it continues increasing even after $ \lambda_c $ and only starts decreasing for sufficiently large values of $\lambda .$ This provides a counterexample to the common belief that associates maximal information transmission to criticality.


title: A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

abstract: We introduce the first complete and approximatively universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and Duncan, complete for the so-called Clifford+T quantum mechanics by adding four new axioms to the language. The completeness of the ZX-Calculus for Clifford+T quantum mechanics was one of the main open questions in categorical quantum mechanics. We prove the completeness of the Clifford+T fragment of the ZX-Calculus using the recently studied ZW-Calculus, a calculus dealing with integer matrices. We also prove that the Clifford+T fragment of the ZX-Calculus represents exactly all the matrices over some finite dimensional extension of the ring of dyadic rationals.


title: Fundamental Gap of Convex Domains in the Spheres (with Appendix B by Qi S. Zhang)

abstract: In [SWW], S. Seto, L. Wang and G. Wei proved that the gap between the first two Dirichlet eigenvalues of a convex domain in the unit sphere is at least as large as that for an associated operator on an interval with the same diameter, provided that the domain has the diameter at most $\pi/2$. In this paper, we extend Seto-Wang-Wei's result to convex domains in the unit sphere with diameter less than $\pi$.


title: Non-Hermitian quantum mechanics of bosonic operators

abstract: The spectral analysis of a non-Hermitian unbounded operator appearing in quantum physics is our main concern. The properties of such an operator are essentially different from those of Hermitian Hamiltonians, namely due to spectral instabilities. We demonstrate that the considered operator and its adjoint can be diagonalized when expressed in terms of certain conveniently constructed operators. We show that their eigenfunctions constitute complete systems, but do not form Riesz bases. Attempts to overcome this difficulty in the quantum mechanical set up are pointed out.


title: Models and information-theoretic bounds for nanopore sequencing

abstract: Nanopore sequencing is an emerging new technology for sequencing DNA, which can read long fragments of DNA (~50,000 bases) in contrast to most current short-read sequencing technologies which can only read hundreds of bases. While nanopore sequencers can acquire long reads, the high error rates (20%-30%) pose a technical challenge. In a nanopore sequencer, a DNA is migrated through a nanopore and current variations are measured. The DNA sequence is inferred from this observed current pattern using an algorithm called a base-caller. In this paper, we propose a mathematical model for the "channel" from the input DNA sequence to the observed current, and calculate bounds on the information extraction capacity of the nanopore sequencer. This model incorporates impairments like (non-linear) inter-symbol interference, deletions, as well as random response. These information bounds have two-fold application: (1) The decoding rate with a uniform input distribution can be used to calculate the average size of the plausible list of DNA sequences given an observed current trace. This bound can be used to benchmark existing base-calling algorithms, as well as serving a performance objective to design better nanopores. (2) When the nanopore sequencer is used as a reader in a DNA storage system, the storage capacity is quantified by our bounds.


title: Presence of mixed modes in red giants in binary systems

abstract: The frequencies of oscillation modes in stars contain valuable information about the stellar properties. In red giants the frequency spectrum also contains mixed modes, with both pressure (p) and gravity (g) as restoring force, which are key to understanding the physical conditions in the stellar core. We observe a high fraction of red giants in binary systems, for which g-dominated mixed modes are not pronounced. This trend leads us to investigate whether this is specific for binary systems or a more general feature. We do so by comparing the fraction of stars with only p-dominated mixed modes in binaries and in a larger set of stars from the APOKASC sample. We find only p-dominated mixed modes in about 50% of red giants in detached eclipsing binaries compared to about 4% in the large sample. This could indicate that this phenomenon is tightly related to binarity and that the binary fraction in the APOKASC sample is about 8%.


title: The {\L}ojasiewicz exponent for weighted homogeneous polynomials of two real variables

abstract: The purpose of this paper is to give the exact value of the {\L}ojasiewicz exponent for an isolated weighted homogeneous polynomials of two real variaibles in terms of its weights.


title: Macroscopic random Paschen-Back effect in ultracold atomic gases

abstract: We consider spin- and density-related properties of single-particle states in a one-dimensional system with random spin-orbit coupling. We show that the presence of an additional Zeeman field $\Delta$ induces both nonlinear spin polarization and delocalization of states localized at $\Delta=0$, corresponding to a random macroscopic analogue of the Paschen-Back effect. While the conventional Paschen-Back effect corresponds to a saturated $\Delta-$dependence of the spin polarization, here the gradual suppression of the spin-orbit coupling effects by the Zeeman field is responsible both for the spin saturation and delocalization of the particles.


title: Universality in fermionic dimer-dimer scattering

abstract: Collisions of two fermionic dimers near the unitary limit are studied using exact four-particle equations for transition operators in momentum space. Universal properties of dimer-dimer phase shifts and effective range expansion (ERE) parameters are determined. The inclusion of the fourth-order momentum term in the ERE significantly extends its validity to higher collision energies. The dimer-dimer scattering length and effective range are determined in the unitary limit as well as their corrections arising due to the finite range of the two-fermion interaction. These results are of considerably higher accuracy as compared to previous works, but confirm most of the previous results except for the lattice effective field theory calculations.


title: Reinforcement Learning for Learning Rate Control

abstract: Stochastic gradient descent (SGD), which updates the model parameters by adding a local gradient times a learning rate at each step, is widely used in model training of machine learning algorithms such as neural networks. It is observed that the models trained by SGD are sensitive to learning rates and good learning rates are problem specific. We propose an algorithm to automatically learn learning rates using neural network based actor-critic methods from deep reinforcement learning (RL).In particular, we train a policy network called actor to decide the learning rate at each step during training, and a value network called critic to give feedback about quality of the decision (e.g., the goodness of the learning rate outputted by the actor) that the actor made. The introduction of auxiliary actor and critic networks helps the main network achieve better performance. Experiments on different datasets and network architectures show that our approach leads to better convergence of SGD than human-designed competitors.


title: Learning When to Attend for Neural Machine Translation

abstract: In the past few years, attention mechanisms have become an indispensable component of end-to-end neural machine translation models. However, previous attention models always refer to some source words when predicting a target word, which contradicts with the fact that some target words have no corresponding source words. Motivated by this observation, we propose a novel attention model that has the capability of determining when a decoder should attend to source words and when it should not. Experimental results on NIST Chinese-English translation tasks show that the new model achieves an improvement of 0.8 BLEU score over a state-of-the-art baseline.