title: Modelling of Dictyostelium Discoideum Movement in Linear Gradient of Chemoattractant

abstract: Chemotaxis is a ubiquitous biological phenomenon in which cells detect a spatial gradient of chemoattractant, and then move towards the source. Here we present a position-dependent advection-diffusion model that quantitatively describes the statistical features of the chemotactic motion of the social amoeba {\it Dictyostelium discoideum} in a linear gradient of cAMP (cyclic adenosine monophosphate). We fit the model to experimental trajectories that are recorded in a microfluidic setup with stationary cAMP gradients and extract the diffusion and drift coefficients in the gradient direction. Our analysis shows that for the majority of gradients, both coefficients decrease in time and become negative as the cells crawl up the gradient. The extracted model parameters also show that besides the expected drift in the direction of chemoattractant gradient, we observe a nonlinear dependency of the corresponding variance in time, which can be explained by the model. Furthermore, the results of the model show that the non-linear term in the mean squared displacement of the cell trajectories can dominate the linear term on large time scales.


title: A noncommutative cycle index and new bases of quasi-symmetric functions and noncommutative symmetric functions

abstract: We define a new basis of the algebra of quasi-symmetric functions by lifting the cycle-index polynomials of symmetric groups to noncommutative polynomials with coefficients in the algebra of free quasi-symmetric functions, and then projecting the coefficients to $QSym$. By duality, we obtain a basis of noncommutative symmetric functions, for which a product formula and a recurrence in the form of a combinatorial complex are obtained. This basis allows to identify noncommutative symmetric functions with the quotient of FQSym induced by the pattern-replacement relation $321 \equiv 231$ and $312 \equiv 132$.


title: Phase-field modeling of equilibrium precipitate shapes under the influence of coherency stresses

abstract: Coherency misfit stresses and their related anisotropies are known to influence the equilibrium shapes of precipitates. Additionally, mechanical properties of the alloys are also dependent on the shapes of the precipitates. Therefore, in order to investigate the mechanical response of a material which undergoes precipitation during heat treatment, it is important to derive the range of precipitate shapes that evolve. In this regard, several studies have been conducted in the past using sharp interface approaches where the influence of elastic energy anisotropy on the precipitate shapes has been investigated. In this paper, we propose a diffuse interface approach which allows us to minimize grid-anisotropy related issues applicable in sharp-interface methods. In this context, we introduce a novel phase-field method where we minimize the functional consisting of the elastic and surface energy contributions while preserving the precipitate volume. Using this method we reproduce the shape-bifurcation diagrams for the cases of pure dilatational misfit that have been studied previously using sharp interface methods and then extend them to include interfacial energy anisotropy with different anisotropy strengths which has not been a part of previous sharp-interface models. While we restrict ourselves to cubic anisotropies in both elastic and interfacial energies in this study, the model is generic enough to handle any combination of anisotropies in both the bulk and interfacial terms. Further, we have examined the influence of asymmetry in dilatational misfit strains along with interfacial energy anisotropy on precipitate morphologies.


title: Reducing Estimation Risk in Mean-Variance Portfolios with Machine Learning

abstract: In portfolio analysis, the traditional approach of replacing population moments with sample counterparts may lead to suboptimal portfolio choices. I show that optimal portfolio weights can be estimated using a machine learning (ML) framework, where the outcome to be predicted is a constant and the vector of explanatory variables is the asset returns. It follows that ML specifically targets estimation risk when estimating portfolio weights, and that "off-the-shelf" ML algorithms can be used to estimate the optimal portfolio in the presence of parameter uncertainty. The framework nests the traditional approach and recently proposed shrinkage approaches as special cases. By relying on results from the ML literature, I derive new insights for existing approaches and propose new estimation methods. Based on simulation studies and several datasets, I find that ML significantly reduces estimation risk compared to both the traditional approach and the equal weight strategy.


title: Constructing lattice points for numerical integration by a reduced fast successive coordinate search algorithm

abstract: In this paper, we study an efficient algorithm for constructing node sets of high-quality quasi-Monte Carlo integration rules for weighted Korobov, Walsh, and Sobolev spaces. The algorithm presented is a reduced fast successive coordinate search (SCS) algorithm, which is adapted to situations where the weights in the function space show a sufficiently fast decay. The new SCS algorithm is designed to work for the construction of lattice points, and, in a modified version, for polynomial lattice points, and the corresponding integration rules can be used to treat functions in different kinds of function spaces. We show that the integration rules constructed by our algorithms satisfy error bounds of optimal convergence order. Furthermore, we give details on efficient implementation such that we obtain a considerable speed-up of previously known SCS algorithms. This improvement is illustrated by numerical results. The speed-up obtained by our results may be of particular interest in the context of QMC for PDEs with random coefficients, where both the dimension and the required numberof points are usually very large. Furthermore, our main theorems yield previously unknown generalizations of earlier results.


title: Quantum Lax pairs via Dunkl and Cherednik operators

abstract: We establish a direct link between Dunkl operators and quantum Lax matrices $\mathcal L$ for the Calogero--Moser systems associated to an arbitrary Weyl group $W$ (or an arbitrary finite reflection group in the rational case). This interpretation also provides a companion matrix $\mathcal A$ so that $\mathcal L, \mathcal A$ form a quantum Lax pair. Moreover, such an $\mathcal A$ can be associated to any of the higher commuting quantum Hamiltonians of the system, so we obtain a family of quantum Lax pairs. These Lax pairs can be of various sizes, matching the sizes of orbits in the reflection representation of $W$, and in the elliptic case they contain a spectral parameter. This way we reproduce universal classical Lax pairs by D'Hoker-Phong and Bordner-Corrigan-Sasaki, and complement them with quantum Lax pairs in all cases (including the elliptic case, where they were not previously known). The same method, with the Dunkl operators replaced by the Cherednik operators, produces quantum Lax pairs for the generalised Ruijsenaars systems for arbitrary root systems. As one of the main applications, we calculate a Lax matrix for the elliptic $BC_n$ case with nine coupling constants (van Diejen system), thus providing an answer to a long-standing open problem.


title: Some applications of parabolic Dirac operators to the instationary Navier-Stokes problem on conformally flat cylinders and tori in $\mathbb{R}^3$

abstract: In this paper we give a survey on how to apply recent techniques of Clifford analysis over conformally flat manifolds to deal with instationary flow problems on cylinders and tori. Solutions are represented in terms of integral operators involving explicit expressions for the Cauchy kernel that are associated to the parabolic Dirac operators acting on spinor sections of these manifolds.


title: Chinese-Portuguese Machine Translation: A Study on Building Parallel Corpora from Comparable Texts

abstract: Although there are increasing and significant ties between China and Portuguese-speaking countries, there is not much parallel corpora in the Chinese-Portuguese language pair. Both languages are very populous, with 1.2 billion native Chinese speakers and 279 million native Portuguese speakers, the language pair, however, could be considered as low-resource in terms of available parallel corpora. In this paper, we describe our methods to curate Chinese-Portuguese parallel corpora and evaluate their quality. We extracted bilingual data from Macao government websites and proposed a hierarchical strategy to build a large parallel corpus. Experiments are conducted on existing and our corpora using both Phrased-Based Machine Translation (PBMT) and the state-of-the-art Neural Machine Translation (NMT) models. The results of this work can be used as a benchmark for future Chinese-Portuguese MT systems. The approach we used in this paper also shows a good example on how to boost performance of MT systems for low-resource language pairs.


title: The Delta Scuti star 38 Eri from the ground and from space

abstract: We present and discuss the pulsational characteristics of the Delta Scuti star 38 Eri from photometric data obtained at two widely spaced epochs, partly from the ground (1998) and partly from space (MOST, 2011). We found 18 frequencies resolving the discrepancy among the previously published frequencies. Some of the frequencies appeared with different relative amplitudes at two epochs, however, we carried out investigation for amplitude variability for only the MOST data. Amplitude variability was found for one of three frequencies that satisfy the necessary frequency criteria for linear-combination or resonant-mode coupling. Checking the criteria of beating and resonant-mode coupling we excluded them as possible reason for amplitude variability. The two recently developed methods of rotational-splitting and sequence-search were applied to find regular spacings based only on frequencies. Doublets or incomplete multiplets with l=1, 2 and 3 were found in the rotational splitting search. In the sequence search method we identified four sequences. The averaged spacing, probably a combination of the large separation and the rotational frequency, is 1.724+/-0.092 d-1. Using the spacing and the scaling relation $\bar\rho = [0.0394, 0.0554]$ gcm$^{-3}$ was derived. The shift of the sequences proved to be the integer multiple of the rotational splitting spacing. Using the precise MOST frequencies and multi-colour photometry in a hybrid way, we identified four modes with l=1, two modes with l=2, two modes with l=3, and two modes as l=0 radial modes.


title: Teaching Requirements Engineering Concepts using Case-Based Learning

abstract: Requirements Engineering (RE) is known to be critical for the success of software projects, and hence forms an important part of any Software Engineering (SE) education curriculum offered at tertiary level. In this paper, we report the results of an exploratory pilot study conducted to assess the effectiveness of Case-Based Learning (CBL) methodology in facilitating the learning of several RE concepts. The evaluation was made on the basis of graduate students' responses to a set of questions representing various key learning principles, collected after the execution of two CBL sessions at DA-IICT, Gandhinagar (India). We investigate the perceived effectiveness of CBL in students' learning of various RE concepts, based on factors like case difference, gender diversity, and team size. Additionally, we collect and analyze the Teaching Assistants' (TAs) opinions about the conducted CBL sessions. The outcome of this CBL exercise was positive as maximum students were able to achieve all the five stated learning objectives. The authors also report various challenges, recommendations, and lessons learned while experiencing CBL sessions.


title: Learning a Robust Society of Tracking Parts using Co-occurrence Constraints

abstract: Object tracking is an essential problem in computer vision that has been researched for several decades. One of the main challenges in tracking is to adapt to object appearance changes over time and avoiding drifting to background clutter. We address this challenge by proposing a deep neural network composed of different parts, which functions as a society of tracking parts. They work in conjunction according to a certain policy and learn from each other in a robust manner, using co-occurrence constraints that ensure robust inference and learning. From a structural point of view, our network is composed of two main pathways. One pathway is more conservative. It carefully monitors a large set of simple tracker parts learned as linear filters over deep feature activation maps. It assigns the parts different roles. It promotes the reliable ones and removes the inconsistent ones. We learn these filters simultaneously in an efficient way, with a single closed-form formulation, for which we propose novel theoretical properties. The second pathway is more progressive. It is learned completely online and thus it is able to better model object appearance changes. In order to adapt in a robust manner, it is learned only on highly confident frames, which are decided using co-occurrences with the first pathway. Thus, our system has the full benefit of two main approaches in tracking. The larger set of simpler filter parts offers robustness, while the full deep network learned online provides adaptability to change. As shown in the experimental section, our approach achieves state of the art performance on the challenging VOT17 benchmark, outperforming the published methods both on the general EAO metric and in the number of fails, by a significant margin.


title: Not just about size - A Study on the Role of Distributed Word Representations in the Analysis of Scientific Publications

abstract: The emergence of knowledge graphs in the scholarly communication domain and recent advances in artificial intelligence and natural language processing bring us closer to a scenario where intelligent systems can assist scientists over a range of knowledge-intensive tasks. In this paper we present experimental results about the generation of word embeddings from scholarly publications for the intelligent processing of scientific texts extracted from SciGraph. We compare the performance of domain-specific embeddings with existing pre-trained vectors generated from very large and general purpose corpora. Our results suggest that there is a trade-off between corpus specificity and volume. Embeddings from domain-specific scientific corpora effectively capture the semantics of the domain. On the other hand, obtaining comparable results through general corpora can also be achieved, but only in the presence of very large corpora of well formed text. Furthermore, We also show that the degree of overlapping between knowledge areas is directly related to the performance of embeddings in domain evaluation tasks.


title: Distributed Data Compression in Sensor Clusters: A Maximum Independent Flow Approach

abstract: Let a cluster (network) of sensors be connected by the communication links, each link having a capacity upper bound. Each sensor observes a discrete random variable in private and one sensor serves as a cluster header or sink. Here, we formulate the problem of how to let the sensors encode their observations such that the direction of compressed data is a feasible flow towards the sink. We demonstrate that this problem can be solved by an existing maximum independent flow (MIF) algorithm in polynomial time. Further, we reveal that this algorithm in fact determines an optimal solution by recursively pushing the remaining randomness in the sources via unsaturated communication links towards the sink. We then show that the MIF algorithm can be implemented in a distributed manner. For those networks with integral communication capacities, we propose an integral MIF algorithm which completes much faster than MIF. Finally, we point out that the nature of the data compression problem in a sensor cluster is to seek the maximum independent information flow in the intersection of two submodular polyhedra, which can be further utilized to improve the MIF algorithm in the future.


title: Human Intention Recognition in Flexible Robotized Warehouses based on Markov Decision Processes

abstract: The rapid growth of e-commerce increases the need for larger warehouses and their automation, thus using robots as assistants to human workers becomes a priority. In order to operate efficiently and safely, robot assistants or the supervising system should recognize human intentions. Theory of mind (ToM) is an intuitive conception of other agents' mental state, i.e., beliefs and desires, and how they cause behavior. In this paper we present a ToM-based algorithm for human intention recognition in flexible robotized warehouses. We have placed the warehouse worker in a simulated 2D environment with three potential goals. We observe agent's actions and validate them with respect to the goal locations using a Markov decision process framework. Those observations are then processed by the proposed hidden Markov model framework which estimated agent's desires. We demonstrate that the proposed framework predicts human warehouse worker's desires in an intuitive manner and in the end we discuss the simulation results.


title: The Fair Proportion is a Shapley Value on phylogenetic networks too

abstract: The Fair Proportion of a species in a phylogenetic tree is a very simple measure that has been used to assess its value relative to the overall phylogenetic diversity represented by the tree. It has recently been proved by Fuchs and Jin to be equal to the Shapley Value of the coallitional game that sends each subset of species to its rooted Phylogenetic Diversity in the tree. We prove in this paper that this result extends to the natural translations of the Fair Proportion and the rooted Phylogenetic Diversity to rooted phylogenetic networks. We also generalize to rooted phylogenetic networks the expression for the Shapley Value of the unrooted Phylogenetic Diversity game on a phylogenetic tree established by Haake, Kashiwada and Su.


title: Comment on "Quantum Teleportation of Eight-Qubit State via Six-Qubit Cluster State"

abstract: Recently, Zhao et al., (Int. J. Theor. Phys. 57, 516-522 (2018)) have proposed a scheme for quantum teleportation of an eight-qubit quantum state using a six qubit cluster state. In this comment, it's shown that the quantum resource (multi-partite entangled state used as the quantum channel) used by Zhao et al., is excessively high and the task can be performed using any two Bell states as the task can be reduced to the teleportation of an arbitrary two qubit state. Further, a trivial conceptual mistake made by Zhao et al., in the description of the quantum channel has been pointed out. It's also mentioned that recently a trend of proposing teleportation schemes with excessively high quantum resources has been observed and the essence of this comment is applicable to all such proposals.


title: Future Energy Consumption Prediction Based on Grey Forecast Model

abstract: We use grey forecast model to predict the future energy consumption of four states in the U.S, and make some improvments to the model.


title: Word Segmentation as Graph Partition

abstract: We propose a new approach to the Chinese word segmentation problem that considers the sentence as an undirected graph, whose nodes are the characters. One can use various techniques to compute the edge weights that measure the connection strength between characters. Spectral graph partition algorithms are used to group the characters and achieve word segmentation. We follow the graph partition approach and design several unsupervised algorithms, and we show their inspiring segmentation results on two corpora: (1) electronic health records in Chinese, and (2) benchmark data from the Second International Chinese Word Segmentation Bakeoff.


title: Relativistic charged spheres: Compact stars, compactness and stable configurations

abstract: This paper aims to explore a class of static stellar equilibrium configuration of relativistic charged spheres made of a charged perfect fluid. Solving the Einstein-Maxwell field equations, we consider a particularized metric potential, Buchdahl ansatz [ Phys. Rev.116, 1027 (1959)] and then by using a simple transformation. The study is developed by matching the interior region with Riessner-Nordstr$\dot{\text{o}}$m metric as an exterior solution. The matter content the charged sphere satisfies all the energy conditions and hydrostatic equilibrium equation, i.e. the modified Tolman-Oppenheimer-Volkoff (TOV) equation for the charged case is maintained. In addition to this, we also discuss some important properties of the charged sphere such as total electric charge, mass-radius relation, surface redshift, and the speed of sound are analyzed. Obtained solutions are presented by the graphical representation that provides strong evidence for a more realistic and viable stellar structure. Obtained results are compared with analogue objects with similar mass and radii, such as SAX J1808.4-3658, 4U 1538-52, PSR J1903+327, Vela X-1, and 4U1608-52. It is also noted that the Buchdahl ansatz for a given transformation provides a physically viable solution only for the charged case when $0 < K < 1$, where density and pressure are maximum at the center and monotonically decreasing towards the boundary. Obtained results are also quite important both from theoretical and astrophysical scale to analyze other compact objects such as white dwarfs, neutron stars, boson stars, and quark stars.


title: Calibration of the NEXT-White detector using $^{83m}\mathrm{Kr}$ decays

abstract: The NEXT-White (NEW) detector is currently the largest radio-pure high-pressure xenon gas time projection chamber with electroluminescent readout in the world. NEXT-White has been operating at Laboratorio Subterr\'aneo de Canfranc (LSC) since October 2016. This paper describes the calibrations performed with $^{83m}\mathrm{Kr}$ decays during a long run taken from March to November 2017 (Run II). Krypton calibrations are used to correct for the finite drift-electron lifetime as well as for the dependence of the measured energy on the event position which is mainly caused by variations in solid angle coverage. After producing calibration maps to correct for both effects we measure an excellent energy resolution for 41.5 keV point-like deposits of (4.553 $\pm$ 0.010 (stat.) $\pm$ 0.324 (sys.)) % FWHM in the full chamber and (3.804 $\pm$ 0.013 (stat.) $\pm$ 0.112 (sys.)) % FWHM in a restricted fiducial volume. Using naive 1/$\sqrt{E}$ scaling, these values translate into resolutions of (0.516 $\pm$ 0.0014 (stat.) $\pm$ 0.0421 (sys.)) % FWHM and (0.4943 $\pm$ 0.0017 (stat.) $\pm$ 0.0146 (sys.)) % FWHM at the $Q_{\beta\beta}$ energy of xenon double beta decay (2458 keV), well within range of our target value of 1%.


title: A compact and light-weight refractive telescope for the observation of extensive air showers

abstract: A general purpose instrument for imaging of Cherenkov light or fluorescence light emitted by extensive air showers is presented. Its refractive optics allows for a compact and light-weight design with a wide field-of-view of 12{\deg}. The optical system features a 0.5 m diameter Fresnel lens and a camera with 61 pixels composed of Winston cones and large-sized 6x6 mm photo sensors. As photo sensors, semi conductor light sensors (SiPMs) are utilized. The camera provides a high photon detection efficiency together with robust operation. The enclosed optics permit operation in regions of harsh environmental conditions. The low price of the telescope allows the production of a large number of telescopes and the application of the instrument in various projects, such as FAMOUS for the Pierre Auger Observatory, HAWC's Eye for HAWC or IceAct for IceCube. In this paper the novel design of this telescope and first measurements are presented.


title: Multiply-periodic hypersurfaces with constant nonlocal mean curvature

abstract: We study hypersurfaces with fractional mean curvature in N-dimensional Euclidean space. These hypersurfaces are critical points of the fractional perimeter under a volume constraint. We use local inversion arguments to prove existence of smooth branches of multiply-periodic hypersurfaces bifurcating from suitable parallel hyperplanes.


title: Dynamic Load Balancing with Tokens

abstract: Efficiently exploiting the resources of data centers is a complex task that requires efficient and reliable load balancing and resource allocation algorithms. The former are in charge of assigning jobs to servers upon their arrival in the system, while the latter are responsible for sharing server resources between their assigned jobs. These algorithms should take account of various constraints, such as data locality, that restrict the feasible job assignments. In this paper, we propose a token-based mechanism that efficiently balances load between servers without requiring any knowledge on job arrival rates and server capacities. Assuming a balanced fair sharing of the server resources, we show that the resulting dynamic load balancing is insensitive to the job size distribution. Its performance is compared to that obtained under the best static load balancing and in an ideal system that would constantly optimize the resource utilization.


title: Organic Polaritons Enable Local Vibrations to Drive Long-Range Energy Transfer

abstract: Long-range energy transfer in organic molecules has been experimentally obtained by strongly coupling their electronic excitations to a confined electromagnetic cavity mode. Here, we shed light into the polariton-mediated mechanism behind this process for different configurations: donor and acceptor molecules either intermixed or physically separated. We numerically address the phenomenon by means of Bloch-Redfield theory, which allows us to reproduce the effect of complex vibrational reservoirs characteristic of organic molecules. Our findings reveal the key role played by the middle polariton as the non-local intermediary in the transmission of excitations from donor to acceptor molecules. We also provide analytical insight on the key physical magnitudes that helps to optimize the efficiency of the long-range energy transfer.


title: Fairness in Multiterminal Data Compression: Decomposition of Shapley Value

abstract: We consider the problem of how to determine a fair source coding rate allocation method for the lossless data compression problem in multiterminal networks, e.g, the wireless sensor network where there are a large number of sources to be encoded. We model this problem by a game-theoretic approach and present a decomposition method for obtaining the Shapley value, a fair source coding rate vector in the Slepian-Wolf achievable region. We formulate a coalitional game model where the entropy function quantifies the cost incurred due to the source coding rates in each coalition. In the typical case for which the game is decomposable, we show that the Shapley value can be obtained separately for each subgame. The complexity of this decomposition method is determined by the maximum size of subgames, which is strictly smaller than the total number of sources and contributes to a considerable reduction in computational complexity. Experiments demonstrate large complexity reduction when the number of sources becomes large.


title: How to calculate the pole expansion of the optical scattering matrix from the resonant states

abstract: We present a formulation for the pole expansion of the scattering matrix of open optical resonators, in which the pole contributions are expressed solely in terms of the resonant states, their wavenumbers, and their electromagnetic fields. Particularly, our approach provides an accurate description of the optical scattering matrix without the requirement of a fit for the pole contributions or the restriction to geometries or systems with low Ohmic losses. Hence, it is possible to derive the analytic dependence of the scattering matrix on the wavenumber with low computational effort, which allows for avoiding the artificial frequency discretization of conventional frequency-domain solvers of Maxwell's equations and for finding the optical far- and near-field response based on the physically meaningfull resonant states. This is demonstrated for three test systems, including a chiral arrangement of nanoantennas, for which we calculate the absorption and the circular dichroism.


title: Low-energy limit of the $O(4)$ quark-meson model from the functional renormalization group approach

abstract: We compute the low-energy limit of the $O(4)$-symmetric quark-meson model as an effective field theory for Quantum Chromodynamics within the Functional Renormalization Group (FRG) approach. In particular, we analyze the renormalization group flow of momentum-dependent pion self-interactions beyond the local potential approximation. The numerical results for these couplings obtained from the FRG are confronted with a recent tree-level study. Additionally, their effect on the wave-function renormalization and the curvature masses is investigated.


title: One particle distribution function and shear viscosity in magnetic field: a relaxation time approach

abstract: We calculate the $\delta f$ correction to the one particle distribution function in presence of magnetic field and non-zero shear viscosity within the relaxation time approximation. The $\delta f$ correction is found to be electric charge dependent. Subsequently, we also calculate one longitudinal and four transverse shear viscous coefficients as a function of dimensionless Hall parameter $\chi_{H}$ in presence of the magnetic field. We find that a proper linear combination of the shear viscous coefficients calculated in this work scales with the result obtained from Grad's moment method in \cite{Denicol:2018rbw}. Calculation of invariant yield of $\pi^{-}$ in a simple Bjorken expansion with cylindrical symmetry shows no noticeable change in spectra due to the $\delta f$ correction for realistic values of the magnetic field and relaxation time. However, when transverse expansion is taken into account using a blast wave type flow field we found noticeable change in spectra and elliptic flow coefficients due to the $\delta f$ correction. The $\delta f$ is also found to be very sensitive on the magnitude of magnetic field. Hence we think it is important to take into account the $\delta f$ correction in more realistic numerical magnetohydrodynamics simulations.


title: Spectropolarimetric Observations of an Arch Filament System with GREGOR

abstract: We observed an arch filament system (AFS) in a sunspot group with the GREGOR Infrared Spectrograph attached to the GREGOR solar telescope. The AFS was located between the leading sunspot of negative polarity and several pores of positive polarity forming the following part of the sunspot group. We recorded five spectro-polarimetric scans of this region. The spectral range included the spectral lines Si I 1082.7 nm, He I 1083.0 nm, and Ca I 1083.9 nm. In this work we concentrate on the silicon line which is formed in the upper photosphere. The line profiles are inverted with the code `Stokes Inversion based on Response functions' to obtain the magnetic field vector. The line-of-sight velocities are determined independently with a Fourier phase method. Maximum velocities are found close to the ends of AFS fibrils. These maximum values amount to 2.4 km/s next to the pores and to 4 km/s at the sunspot side. Between the following pores, we encounter an area of negative polarity that is decreasing during the five scans. We interpret this by new emerging positive flux in this area canceling out the negative flux. In summary, our findings confirm the scenario that rising magnetic flux tubes cause the AFS.


title: Integrated Sachs-Wolfe-galaxy cross-correlation bounds on the two branches of the minimal theory of massive gravity

abstract: The minimal theory of massive gravity (MTMG) has two branches of stable cosmological solutions: a self-accelerating branch, which, except for the mass of tensor modes has exactly the same behavior of linear perturbations as $\Lambda$CDM in general relativity (GR), and a normal branch with nontrivial behavior. We explore the influence of the integrated Sachs-Wolfe-galaxy correlation constraints on the normal branch of MTMG, which, in its simplest implementation, has one free parameter more than $\Lambda$CDM in GR (or the self-accelerating branch of MTMG): $\theta$. This parameter is related to the graviton mass and only affects the behavior of the cosmological linear perturbation dynamics. Using 2d-mass and SDSS data, we check which values of $\theta$ lead to a positive or negative cross-correlation. We find that positive cross-correlation is achieved for a large parameter-space interval. Within this allowed region of parameter space, we perform a $\chi^2$ analysis in terms of the parameter $\theta$, while keeping the other background parameters fixed to the best-fit values of Planck. We then infer that the normal branch of MTMG fits the data well in a nontrivial portion of the parameter space, and future experiments should be able to distinguish such a model from $\Lambda$CDM in GR (or the self-accelerating branch of MTMG).


title: Hyperbolic and cubical rigidities of Thompson's group V

abstract: In this article, we state and prove a general criterion allowing us to show that some groups are hyperbolically elementary, meaning that every isometric action of one of these groups on a Gromov-hyperbolic space either fixes a point at infinity or has bounded orbits. Also, we show how such a hyperbolic rigidity leads to fixed-point properties on finite-dimensional CAT(0) cube complexes. As an application, we prove that Thompson's group $V$ is hyperbolically elementary, and we deduce that it satisfies Property $(FW_{\infty})$, ie., every isometric action of $V$ on a finite-dimensional CAT(0) cube complex fixes a point. It provides the first example of a (finitely presented) group acting properly on an infinite-dimensional CAT(0) cube complex such that all its actions on finite-dimensional CAT(0) cube complexes have global fixed points.


title: TrimBot2020: an outdoor robot for automatic gardening

abstract: Robots are increasingly present in modern industry and also in everyday life. Their applications range from health-related situations, for assistance to elderly people or in surgical operations, to automatic and driver-less vehicles (on wheels or flying) or for driving assistance. Recently, an interest towards robotics applied in agriculture and gardening has arisen, with applications to automatic seeding and cropping or to plant disease control, etc. Autonomous lawn mowers are succesful market applications of gardening robotics. In this paper, we present a novel robot that is developed within the TrimBot2020 project, funded by the EU H2020 program. The project aims at prototyping the first outdoor robot for automatic bush trimming and rose pruning.


title: End-to-End Saliency Mapping via Probability Distribution Prediction

abstract: Most saliency estimation methods aim to explicitly model low-level conspicuity cues such as edges or blobs and may additionally incorporate top-down cues using face or text detection. Data-driven methods for training saliency models using eye-fixation data are increasingly popular, particularly with the introduction of large-scale datasets and deep architectures. However, current methods in this latter paradigm use loss functions designed for classification or regression tasks whereas saliency estimation is evaluated on topographical maps. In this work, we introduce a new saliency map model which formulates a map as a generalized Bernoulli distribution. We then train a deep architecture to predict such maps using novel loss functions which pair the softmax activation function with measures designed to compute distances between probability distributions. We show in extensive experiments the effectiveness of such loss functions over standard ones on four public benchmark datasets, and demonstrate improved performance over state-of-the-art saliency methods.


title: Quadrirational Yang-Baxter maps and the elliptic Cremona system

abstract: This paper connects the quadrirational Yang-Baxter maps, which are two-dimensional integrable discrete systems of KdV type, and the elliptic Cremona system, which is a higher analogue of discrete Painlev\'e equations associated with $\tilde{E}_8$ symmetry. This is a natural connection between integrable systems in different dimensions that is outside of the usual paradigm of reductions. Our approach is based on formulation of both systems in terms of birational Coxeter groups.


title: On random shifted standard Young tableaux and 132-avoiding sorting networks

abstract: We study shifted standard Young tableaux (SYT). The limiting surface of uniformly random shifted SYT of staircase shape is determined, with the integers in the SYT as heights. This implies via properties of the Edelman-Greene bijection results about random 132-avoiding sorting networks, including limit shapes for trajectories and intermediate permutations. Moreover, the expected number of adjacencies in SYT is considered. It is shown that on average each row and each column of a shifted SYT of staircase shape contains precisely one adjacency.


title: The Geometry of SDP-Exactness in Quadratic Optimization

abstract: Consider the problem of minimizing a quadratic objective subject to quadratic equations. We study the semialgebraic region of objective functions for which this problem is solved by its semidefinite relaxation. For the Euclidean distance problem, this is a bundle of spectrahedral shadows surrounding the given variety. We characterize the algebraic boundary of this region and we derive a formula for its degree.


title: Composable, Unconditionally Secure Message Authentication without any Secret Key

abstract: We consider a setup in which the channel from Alice to Bob is less noisy than the channel from Eve to Bob. We show that there exist encoding and decoding which accomplish error correction and authentication simultaneously; that is, Bob is able to correctly decode a message coming from Alice and reject a message coming from Eve with high probability. The system does not require any secret key shared between Alice and Bob, provides information theoretic security, and can safely be composed with other protocols in an arbitrary context.


title: Signatures of surface bundles and stable commutator lengths of Dehn twists

abstract: The first aim of this paper is to give four types of examples of surface bundles over surfaces with non-zero signature. The first example is with base genus 2, a prescribed signature, a 0-section and the fiber genus greater than a certain number which depends on the signature. This provides a new upper bound on the minimal base genus for fixed signature and fiber genus. The second one gives a new asymptotic upper bound for this number in the case that fiber genus is odd. The third one has a small Euler characteristic. The last is a non-holomorphic example. The second aim is to improve upper bounds for stable commutator lengths of Dehn twists by giving factorizations of powers of Dehn twists as products of commutators. One of the factorizations is used to construct the second examples of surface bundles. As a corollary, we see that there is a gap between the stable commutator length of the Dehn twist along a nonseparating curve in the mapping class group and that in the hyperelliptic mapping class group if the genus of the surface is greater than or equal to 8.


title: Structural cost-optimal design of sensor networks for distributed estimation

abstract: In this letter we discuss cost optimization of sensor networks monitoring structurally full-rank systems under distributed observability constraint. Using structured systems theory, the problem is relaxed into two subproblems: (i) sensing cost optimization and (ii) networking cost optimization. Both problems are reformulated as combinatorial optimization problems. The sensing cost optimization is shown to have a polynomial order solution. The networking cost optimization is shown to be NP-hard in general, but has a polynomial order solution under specific conditions. A 2-approximation polynomial order relaxation is provided for general networking cost optimization, which is applicable in large-scale system monitoring.


title: Geometry of integers revisited

abstract: We study geometry of the ring of integers $O_K$ of a number field $K$. Namely, it is proved that the inclusion $\mathbf{Z}\subset O_K$ defines a covering of the Riemann sphere $\mathbf{C}P^1$ ramified over the points $\{0,1,\infty\}$. Our approach is based on the notion of a Serre $C^*$-algebra. As an application, a new proof of the Belyi Theorem is given.


title: Manifold properties of planar polygon spaces

abstract: We prove that the tangent bundle of a generic space of planar n-gons with specified side lengths, identified under isometry, plus a trivial line bundle is isomorphic to (n-2) times a canonical line bundle. We then discuss consequences for orientability, cobordism class, immersions, and parallelizability.


title: On a generalization of a theorem of S. Bernstein

abstract: In this paper we obtain a solution to the second order boundary value problem of the form $\frac{d}{dt}\Phi'(\dot{u})=f(t,u,\dot{u}),\ t\in[0,1],\ u\colon\mathbb{R} \to\mathbb{R}$ with Dirichlet and Sturm-Liouville boundary conditions, where $\Phi\colon\mathbb{R}\to\mathbb{R}$ is strictly convex, differentiable function and $f\colon[0,1]\times\mathbb{R}\times\mathbb{R}\to\mathbb{R}$ is continuous and satisfies a suitable growth condition. Our result is based on a priori bounds for the solution and homotopical invariance of the Leray-Schauder degree.


title: Neutrino Mass, Coupling Unification, Verifiable Proton Decay, Vacuum Stability and WIMP Dark Matter in SU(5)

abstract: Nonsupersymmetric minimal SU(5) with Higgs representations ${24}_H$ and $5_H$ and standard fermions in ${\bar 5}_F\oplus {10}_F$ is well known for its failure in unification of gauge couplings and lack of predicting neutrino masses. Like standard model, it is also affected by the instability of the Higgs scalar potential. We note that extending the Higgs sector by ${75}_H$ and ${15}_H$ not only leads to the popular type-II seesaw ansatz for neutrino masses with a lower bound on the triplet mass $M_{\Delta} > 2\times 10^9$ GeV, but also achieves precision unification of gauge couplings without proliferation of non-standard light Higgs scalars or fermions near the TeV scale. Consistent with recent LUX-2016 lower bound, the model easily accommodates a singlet scalar WIMP dark matter near the TeV scale which resolves the vacuum stability issue even after inclusion of heavy triplet threshold effect. We estimate proton lifetime predictions for $p\to e^+\pi^0$ including uncertainties due to input parameters and threshold effects due to superheavy Higgs scalars and superheavy $X^{\pm 4/3},Y^{\pm 1/3}$ gauge bosons. The predicted lifetime is noted to be verifiable at Super Kamiokande and Hyper Kamiokande experiments.


title: A jigsaw puzzle metamaterial concept

abstract: A concept of a planar modular mechanical metamaterial inspired by the nature's principle of local adaptivity is proposed. The metamaterial consists of identical pieces similar to jigsaw puzzle tiles. Their rotation within assembly provides a substantial flexibility in terms of structural behavior and mechanical interlocks enable reassembly. The tile design with a diagonal elliptical opening allows us to vary elastic properties--from stiff to compliant, with positive, zero, or negative Poisson's ratio. The outcomes of experimental testing on additively manufactured specimens confirm that the assembly properties can be accurately designed using optimization approaches with finite element analysis at heart.


title: The Floquet theory of the two level system revisited

abstract: We reconsider the periodically driven two level system and especially the Rabi problem with linear polarization. The Floquet theory of this problem can be reduced to its classical limit, i.e., to the investigation of periodic solutions of the classical Hamiltonian equations of motion in the Bloch sphere. The quasienergy is essentially the action integral over one period and the resonance condition due to J.H. Shirley is shown to be equivalent to the vanishing of the time average of a certain component of the classical solution. This geometrical approach is applied to obtain analytical approximations to physical quantities of the Rabi problem with linear polarization as well as asymptotic formulas for various limit cases.


title: Dynamics of slowly varying fields in bianisotropic media

abstract: A theoretical framework for the quasi-monochromatic electromagnetic (EM) processes such as excitation and propagation of long wave packets in dispersive, dissipative, bianisotropic media with weak and slow nonlinearity is developed. The time-dependent EM fields associated with such processes are expressed as products of two functions: the slowly varying complex amplitude (SVCA) and the quickly oscillating carrier. The material parameters are treated as operators acting on time-dependent EM fields. By expanding these operators in the Maxwell equations in a series with respect to a small time scale parameter a system of equations for the SVCAs of the EM fields in such media is formulated. In the linear case, the dynamic equations for the SVCAs that correspond to the transverse components of the electric and magnetic fields resemble the vector transmission line equations. The obtained system of equations is used to derive the dyadic Green functions for the SVCAs of the EM fields in bianisotropic media. This framework is applied for modeling propagation of partially coherent EM radiation in a material whose parameters may depend on the amount of the EM energy that has passed through it. The same framework can be used in studying propagation of modulated EM waves through a waveguiding system that includes bianisotropic metamaterial components.


title: Bayesian Extreme Value Analysis of Stock Exchange Data

abstract: The Solvency II Directive and Solvency Assessment and Management (the South African equivalent) give a Solvency Capital Requirement which is based on a 99.5% Value-at-Risk (VaR) calculation. This calculation involves aggregating individual risks. When considering log returns of financial instruments, especially with share prices, there are extreme losses that are observed from time to time that often do not fit whatever model is proposed for the regular trading behaviour. The problem of accurately modelling these extreme losses is addressed, which, in turn, assists with the calculation of tail probabilities such as the 99.5% VaR. The focus is on the fitting of the Generalized Pareto Distribution (GPD) beyond a threshold. We show how objective Bayes methods can improve parameter estimation and the calculation of risk measures. Lastly we consider the choice of threshold. All aspects are illustrated using share losses on the Johannesburg Stock Exchange (JSE).


title: Derivation of a Ginzburg-Landau free energy density containing mixed gradient terms of a $p+ip$ superconductor with spin-orbit coupling

abstract: A Ginzburg-Landau free energy for a superconducting chiral p-wave order parameter is derived from a two-dimensional tight binding lattice model with weak spin-orbit coupling included as a general symmetry-breaking field. Superconductivity is accounted for by a BCS-type nearest neighbor opposite-spin interaction where we project the potential onto the $p$-wave irreducible representation of the square lattice symmetry group and assume this to be the dominating order. The resulting free energy contains kinetic terms that mix components of the order parameter as well as directional gradients --- so called mixed gradient terms --- as a virtue of the symmetry of the order parameter. Spin-orbit coupling and electron-hole anisotropy lead to additional contributions to the coefficients of these terms, increasing the number of necessary phenomenological parameters by one compared to previous work, and leading to an increase in the coefficient measuring Fermi surface anisotropy for Rashba spin-orbit coupling in the continuum limit.


title: Time Series Analysis of the Southern Oscillation Index using Bayesian Additive Regression Trees

abstract: Bayesian additive regression trees (BART) is a regression technique developed by Chipman et al. (2008). Its usefulness in standard regression settings has been clearly demonstrated, but it has not been applied to time series analysis as yet. We discuss the difficulties in applying this technique to time series analysis and demonstrate its superior predictive capabilities in the case of a well know time series: the Southern Oscillation Index.


title: Microscopic dynamics and failure precursors of a gel under mechanical load

abstract: Material failure is ubiquitous, with implications from geology to everyday life and material science. It often involves sudden, unpredictable events, with little or no macroscopically detectable precursors. A deeper understanding of the microscopic mechanisms eventually leading to failure is clearly required, but experiments remain scarce. Here, we show that the microscopic dynamics of a colloidal gel, a model network-forming system, exhibit dramatic changes that precede its macroscopic failure by thousands of seconds. Using an original setup coupling light scattering and rheology, we simultaneously measure the macroscopic deformation and the microscopic dynamics of the gel, while applying a constant shear stress. We show that the network failure is preceded by qualitative and quantitative changes of the dynamics, from reversible particle displacements to a burst of irreversible plastic rearrangements.


title: Asymptotic genealogies of interacting particle systems with an application to sequential Monte Carlo

abstract: We study weighted particle systems in which new generations are resampled from current particles with probabilities proportional to their weights. This covers a broad class of sequential Monte Carlo (SMC) methods, widely-used in applied statistics and cognate disciplines. We consider the genealogical tree embedded into such particle systems, and identify conditions, as well as an appropriate time-scaling, under which they converge to the Kingman n-coalescent in the infinite system size limit in the sense of finite-dimensional distributions. Thus, the tractable n-coalescent can be used to predict the shape and size of SMC genealogies, as we illustrate by characterising the limiting mean and variance of the tree height. SMC genealogies are known to be connected to algorithm performance, so that our results are likely to have applications in the design of new methods as well. Our conditions for convergence are strong, but we show by simulation that they do not appear to be necessary.


title: Identification of microRNA clusters cooperatively acting on Epithelial to Mesenchymal Transition in Triple Negative Breast Cancer

abstract: MicroRNAs play important roles in many biological processes. Their aberrant expression can have oncogenic or tumor suppressor function directly participating to carcinogenesis, malignant transformation, invasiveness and metastasis. Indeed, miRNA profiles can distinguish not only between normal and cancerous tissue but they can also successfully classify different subtypes of a particular cancer. Here, we focus on a particular class of transcripts encoding polycistronic miRNA genes that yields multiple miRNA components. We describe clustered MiRNA Master Regulator Analysis (ClustMMRA), a fully redesigned release of the MMRA computational pipeline (MiRNA Master Regulator Analysis), developed to search for clustered miRNAs potentially driving cancer molecular subtyping. Genomically clustered miRNAs are frequently co-expressed to target different components of pro-tumorigenic signalling pathways. By applying ClustMMRA to breast cancer patient data, we identified key miRNA clusters driving the phenotype of different tumor subgroups. The pipeline was applied to two independent breast cancer datasets, providing statistically concordant results between the two analysis. We validated in cell lines the miR-199/miR-214 as a novel cluster of miRNAs promoting the triple negative subtype phenotype through its control of proliferation and EMT.


title: Coherent lepton pair production in hadronic heavy ion collisions

abstract: Recently, significant enhancements of $e^{+} e^{-}$ pair production at very low transverse momentum ($p_{T} < 0.15$ GeV/c) were observed by the STAR collaboration in peripheral hadronic A+A collisions. This excesses can not be described by the QGP thermal radiation and $\rho$ in-medium broadening calculations. This is a sign of coherent photon-photon interactions, which were conventionally studied only in ultra-peripheral collisions. In this article, we present calculations of lepton pair ($e^{+}e^{-}$ and $\mu^{+}\mu^{-}$) production from coherent photon-photon interactions in hadronic A+A collisions at RHIC and LHC energies within the STAR and ALICE acceptance.


title: COINS: ContinuOus IntegratioN in wirelesS technology development

abstract: Network testing plays an important role in the iterative process of developing new communication protocols and algorithms. However, test environments have to keep up with the evolution of technology and require continuous update and redesign. In this paper, we propose COINS, a framework that can be used by wireless technology developers to enable continuous integration (CI) practices in their testbed infrastructure. As a proof-of-concept, we provide a reference architecture and implementation of COINS for controlled testing of multi-technology 5G Machine Type Communication (MTC) networks. The implementation upgrades an existing wireless experimentation testbed with new software and hardware functionalities. It blends web service technology and operating system virtualization technologies with emerging Internet of Things technologies enabling CI for wireless networks. Moreover, we also extend an existing qualitative methodology for comparing similar frameworks and identify and discuss open challenges for wider use of CI practices in wireless technology development.


title: Frobenius determinants and Bessel Functions

abstract: We study the geometry and partial differential equations arising from the consideration of Frobenius determinants, also called-group-determinants. This leads us to address some aspects of twistor theory as well as some extensions of Bessel functions.


title: Vacuum-enhanced optical nonlinearities with organic molecular photoswitches

abstract: We propose a cavity QED scheme to enable cross-phase modulation between two arbitrarily weak classical fields in the optical domain, using organic molecular photoswitches as a disordered intracavity nonlinear medium. We show that a long-lived vibrational Raman coherence between the $cis$ and $trans$ isomer states of the photoswitch can be exploited to establish the phenomenon of vacuum-induced transparency (VIT) in high-quality microcavities. We exploit this result to derive an expression for the cross-phase modulation signal and demonstrate that it is possible to surpass the detection limit imposed by absorption losses, even in the presence of strong natural energetic and orientational disorder in the medium. Possible applications of the scheme include the development of organic nanophotonic devices for all-optical switching with low photon numbers.


title: Achieving Differential Privacy against Non-Intrusive Load Monitoring in Smart Grid: a Fog Computing approach

abstract: Fog computing, a non-trivial extension of cloud computing to the edge of the network, has great advantage in providing services with a lower latency. In smart grid, the application of fog computing can greatly facilitate the collection of consumer's fine-grained energy consumption data, which can then be used to draw the load curve and develop a plan or model for power generation. However, such data may also reveal customer's daily activities. Non-intrusive load monitoring (NILM) can monitor an electrical circuit that powers a number of appliances switching on and off independently. If an adversary analyzes the meter readings together with the data measured by an NILM device, the customer's privacy will be disclosed. In this paper, we propose an effective privacy-preserving scheme for electric load monitoring, which can guarantee differential privacy of data disclosure in smart grid. In the proposed scheme, an energy consumption behavior model based on Factorial Hidden Markov Model (FHMM) is established. In addition, noise is added to the behavior parameter, which is different from the traditional methods that usually add noise to the energy consumption data. The analysis shows that the proposed scheme can get a better trade-off between utility and privacy compared with other popular methods.


title: Lclean: A Plausible Approach to Individual Trajectory Data Sanitization

abstract: In recent years, with the continuous development of significant data industrialization, trajectory data have more and more critical analytical value for urban construction and environmental monitoring. However, the trajectory contains a lot of personal privacy, and rashly publishing trajectory data set will cause serious privacy leakage risk. At present, the privacy protection of trajectory data mainly uses the methods of data anonymity and generalization, without considering the background knowledge of attackers and ignores the risk of adjacent location points may leak sensitive location points. In this paper, based on the above problems, combined with the location correlation of trajectory data, we proposed a plausible replacement method. Firstly, the correlation of trajectory points is proposed to classify the individual trajectories containing sensitive points. Then, according to the relevance of location points and the randomized response mechanism, a reasonable candidate set is selected to replace the sensitive points in the trajectory to satisfy the local differential privacy. Theoretical and experimental results show that the proposed method not only protects the sensitive information of individuals, but also does not affect the overall data distribution.


title: Dirichlet boundary value problems for elliptic operators with measure data: a probabilistic approach

abstract: In this paper, we use probabilistic approach to prove that there exists a unique weak solution to the Dirichlet boundary value problem for second order elliptic equations whose coefficients are signed measures, and we will give a probabilistic representation of the solutions. This is the first time to study Dirichlet boundary value problems with this generality. The heat kernel estimates play a crucial role in our approach.


title: Phase boundaries, nucleation rates and speed of crystal growth of the water-to-ice transition under an electric field: a simulation study

abstract: We investigate with computer simulations the effect of applying an electric field on the water-to-ice transition. We use a combination of state-of-the-art simulation techniques to obtain phase boundaries and crystal growth rates (direct coexistence), nucleation rates (seeding) and interfacial free energies (seeding and mold integration). First, we consider ice Ih, the most stable polymorph in the absence of a field. Its normal melting temperature, speed of crystal growth and nucleation rate (for a given supercooling) diminish as the intensity of the field goes up. Then, we study polarised cubic ice, or ice Icf, the most stable solid phase under a strong electric field. Its normal melting point goes up with the field and, for a given supercooling, under the studied field (0.3 V/nm) ice Icf nucleates and grows at a similar rate as Ih with no field. The net effect of the field would be then that ice nucleates at warmer temperatures, but in the form of ice Icf. The main conclusion of this work is that reasonable electric fields (not strong enough to break water molecules apart) are not relevant in the context of homogeneous ice nucleation at 1 bar.


title: The polytopal structure of the tight-span of a totally split-decomposable metric

abstract: The tight-span of a finite metric space is a polytopal complex that has appeared in several areas of mathematics. In this paper we determine the polytopal structure of the tight-span of a totally split decomposable (finite) metric. Totally split-decomposable metrics are a generalization of tree-metrics and have importance within phylogenetics. In previous work, we showed that the cells of the tight-span of such a metric are zonotopes that are polytope isomorphic to either hypercubes or rhombic dodecahedra. Here, we extend these results and show that the tight-spanof a totally split-decomposable metric can be broken up into a canonical collection of polytopal complexes whose polytopal structures can be directly determined from the metric. This allows us to also completely determine the polytopal structure of the tight-span of a totally split-decomposable metric in a very direct way.We anticipate that our improved understanding of this structure may ultimately lead to improved techniques for phylogenetic inference.


title: A Large-scale Concurrent Data Anonymous Batch Verification Scheme for Mobile Healthcare Crowd Sensing

abstract: Recently, with the rapid development of big data, Internet of Things (IoT) brings more and more intelligent and convenient services to people's daily lives. Mobile healthcare crowd sensing (MHCS), as a typical application of IoT, is becoming an effective approach to provide various medical and healthcare services to individual or organizations. However, MHCS still have to face to different security challenges in practice. For example, how to quickly and effectively authenticate masses of bio-information uploaded by IoT terminals without revealing the owners' sensitive information. Therefore, we propose a large-scale concurrent data anonymous batch verification scheme for MHCS based on an improved certificateless aggregate signature. The proposed scheme can authenticate all sensing bio-information at once in a privacy preserving way. The individual data generated by different users can be verified in batch, while the actual identity of participants is hidden. Moreover, assuming the intractability of CDHP, our scheme is proved to be secure. Finally, the performance evaluation shows that the proposed scheme is suitable for MHCS, due to its high efficiency.


title: Simple dynamic algorithms for Maximal Independent Set and other problems

abstract: Most graphs in real life keep changing with time. These changes can be in the form of insertion or deletion of edges or vertices. Such rapidly changing graphs motivate us to study dynamic graph algorithms. However, three important graph problems that are perhaps not sufficiently addressed in the literature include independent sets, maximum matching (exact) and maximum flows. Maximal Independent Set (MIS) is one of the most prominently studied problems in the distributed setting. Recently, the first dynamic MIS algorithm for distributed networks was given by Censor-Hillel et al. [PODC16], requiring expected $O(1)$ amortized rounds with $O(\Delta)$ messages per update, where $\Delta$ is the maximum degree of a vertex in the graph. They suggested an open problem to maintain MIS in fully dynamic centralized setting more efficiently. Assadi et al. [STOC18] presented a deterministic centralized fully dynamic MIS algorithm requiring $O(\min\{\Delta,m^{3/4}\})$ amortized time per update. This result is quite complex involving an exhaustive case analysis. We report a surprisingly simple deterministic centralized algorithm which improves the amortized update time to $O(\min\{\Delta,m^{2/3}\})$. Additionally, we present some other minor results related to dynamic MIS, Maximum Flow, and Maximum Matching. A common trait of all our results is that despite improving state of the art upper bounds or matching state of the art lower bounds, they are surprisingly simple and are analysed using simple amortization arguments. Further, they use no complicated data structures or black box algorithms for their implementation.


title: Guess Where? Actor-Supervision for Spatiotemporal Action Localization

abstract: This paper addresses the problem of spatiotemporal localization of actions in videos. Compared to leading approaches, which all learn to localize based on carefully annotated boxes on training video frames, we adhere to a weakly-supervised solution that only requires a video class label. We introduce an actor-supervised architecture that exploits the inherent compositionality of actions in terms of actor transformations, to localize actions. We make two contributions. First, we propose actor proposals derived from a detector for human and non-human actors intended for images, which is linked over time by Siamese similarity matching to account for actor deformations. Second, we propose an actor-based attention mechanism that enables the localization of the actions from action class labels and actor proposals and is end-to-end trainable. Experiments on three human and non-human action datasets show actor supervision is state-of-the-art for weakly-supervised action localization and is even competitive to some fully-supervised alternatives.


title: Evaluating Hospital Case Cost Prediction Models Using Azure Machine Learning Studio

abstract: Ability for accurate hospital case cost modelling and prediction is critical for efficient health care financial management and budgetary planning. A variety of regression machine learning algorithms are known to be effective for health care cost predictions. The purpose of this experiment was to build an Azure Machine Learning Studio tool for rapid assessment of multiple types of regression models. The tool offers environment for comparing 14 types of regression models in a unified experiment: linear regression, Bayesian linear regression, decision forest regression, boosted decision tree regression, neural network regression, Poisson regression, Gaussian processes for regression, gradient boosted machine, nonlinear least squares regression, projection pursuit regression, random forest regression, robust regression, robust regression with mm-type estimators, support vector regression. The tool presents assessment results arranged by model accuracy in a single table using five performance metrics. Evaluation of regression machine learning models for performing hospital case cost prediction demonstrated advantage of robust regression model, boosted decision tree regression and decision forest regression. The operational tool has been published to the web and openly available for experiments and extensions.


title: Electron Scattering in 2D Semiconductors: Contrasting Dirac and Schr\"odinger Behavior

abstract: Electronic transport through a material depends on the response to local perturbations induced by defects or impurities in the material. The scattering processes can be described in terms of phase shifts and corresponding cross sections. The multiorbital nature of the spinor states in transition metal dichalcogenides would naturally suggest the consideration of a massive Dirac equation to describe the problem, while the parabolic dispersion of its conduction and valence bands would invite a simpler Schr\"odinger equation description. Here, we contrast the scattering of massive Dirac particles and Schr\"odinger electrons, in order to assess different asymptotic regimes (low and high Fermi energy) for each one of the electronic models and describe their regime of validity or transition. At low energies, where the dispersion is approximately parabolic, the scattering processes are dominated by low angular momentum channels, which results in nearly isotropic scattering amplitudes. On the other hand, the differential cross section at high Fermi energies exhibits clear signatures of the linear band dispersion, as the partial phase shifts approach a non-zero value. We analyze the electronic dynamics by presenting differential cross sections for both attractive and repulsive scattering centers. The dissimilar behavior between Dirac and Schr\"odinger carriers points to the limits and conditions over which different descriptions are required for the reliable treatment of scattering processes in these materials.


title: Spectral monotonicity for Schr\"odinger operators on metric graphs

abstract: We study the influence of certain geometric perturbations on the spectra of self-adjoint Schr\"odinger operators on compact metric graphs. Results are obtained for permutation invariant vertex conditions, which, amongst others, include $\delta$ and $\delta'$-type conditions. We show that adding edges to the graph or joining vertices changes the eigenvalues monotonically. However, the monotonicity properties may differ from what is known for the previously studied cases of Kirchhoff (or standard) and $\delta$-conditions and may depend on the signs of the coefficients in the vertex conditions.


title: An upper limit on nickel overabundance in the supercritical accretion disk wind of SS 433 from X-ray spectroscopy

abstract: We take advantage of a long (with a total exposure time of 120 ks) X-ray observation of the unique Galactic microquasar SS 433, carried out with the XMM-Newton space observatory, to search for a fluorescent line of neutral (or weakly ionized) nickel at the energy 7.5 keV. We consider two models of the formation of fluorescent lines in the spectrum of SS 433: 1) due to reflection of hard X-ray radiation from a putative central source on the optically thick walls of the accretion disk "funnel"; and 2) due to scattering of the radiation coming from the hottest parts of the jets in the optically thin wind of the system. It is shown, that for these cases, the photon flux of Ni I K$_{\alpha}$ fluorescent line is expected to be 0.45 of the flux of Fe I K$_{\alpha}$ fluorescent line at 6.4 keV, for the relative nickel overabundance $Z_{Ni}/Z = 10$, as observed in the jets of SS 433. For the continuum model without the absorption edge of neutral iron, we set a 90 per cent upper limit on the flux of the narrow Ni I K$_{\alpha}$ line at the level of $0.9 \times 10^{-5}$ ph s$^{-1}$ cm$^{-2}$. For the continuum model with the absorption edge, the corresponding upper limit is $2.5 \times 10^{-5}$ ph s$^{-1}$ cm$^{-2}$. At the same time, for the Fe I K$_{\alpha}$ line, we measure the flux of $9.9_{8.4}^{11.2} \times 10^{-5}$ ph s$^{-1}$ cm$^{-2}$. Taken at the face value, the results imply that the relative overabundance of nickel in the wind of the accretion disc should be at least 1.5 times less than the corresponding excess of nickel observed in the jets of SS 433.


title: Golden ratio algorithms for solving equilibrium problems in Hilbert spaces

abstract: In this paper, we design a new iterative algorithm for solving pseudomonotone equilibrium problems in real Hilbert spaces. The advantage of our algorithm is that it requires only one strongly convex programming problem at each iteration. Under suitable conditions we establish the strong and weak convergence of the proposed algorithm. The results presented in the paper extend and improve some recent results in the literature. The performances and comparisons with some existing methods are presented through numerical examples.


title: Dislocation-induced stress in polycrystalline materials: mesoscopic simulations in the dislocation density formalism

abstract: In this paper we present a simple and effective numerical method which allows a fast Fourier transformation-based evaluation of stress generated by dislocations with arbitrary directions and Burgers vectors if the (site-dependent) dislocation density is known. Our method allows the evaluation of the dislocation stress using a rectangular grid with shape-anisotropic discretization cells without employing higher multipole moments of the dislocation interaction coefficients. Using the proposed method, we first simulate the stress created by relatively simple nonhomogeneous distributions of vertical edge and so-called 'mixed' dislocations in a disk-shaped sample, which is necessary to understand the dislocation behavior in more complicated systems. The main part of our research is devoted to the stress distribution in polycrystalline layers with the dislocation density rapidly varying with the distance to the layer bottom. Considering GaN as a typical example of such systems, we investigate dislocation-induced stress for edge and mixed dislocations, having random orientations of Burgers vectors among crystal grains. We show that the rapid decay of the dislocation density leads to many highly nontrivial features of the stress distributions in such layers and study in detail the dependence of these features on the average grain size. Finally we develop an analytical approach which allows us to predict the evolution of the stress variance with the grain size and compare analytical predictions with numerical results.


title: Evolution of the magnetic field of Betelgeuse from 2009 - 2017

abstract: Betelgeuse is an M-type supergiant that presents a circularly polarized (Stokes V) signal in its line profiles, interpreted in terms of a surface magnetic field. The weak circular polarization signal has been monitored over 7.5 years in order to follow its evolution on different timescales, and eventually to determine its physical origin. Linear polarization measurements have also been obtained regularly in the last few years. We used both the ESPaDOnS and Narval spectropolarimeters to obtain high signal-to-noise ratio (S/N) spectra, which were processed by means of the least-squares deconvolution (LSD) method. In order to ensure the reality of the very weak circular polarization, special care has been taken to limit instrumental effects. In addition, several tests were performed on the Stokes V signal to establish its stellar and Zeeman origin. We confirm the magnetic nature of the circular polarization, pointing to a surface magnetic field of the order of 1G. The Stokes V profiles present variations over different timescales, the most prominent one being close to the long secondary period (LSP; around 2000d for Betelgeuse) often invoked in red evolved stars. This long period is also dominant for all the other Stokes parameters. The circular polarization is tentatively modeled by means of magnetic field concentrations mimicking spots, showing in particular that the velocity associated with each "spot" also follows the long timescale, and that this signal is nearly always slightly redshifted. From the coupled variations of both linear and circular polarization signatures in amplitude, velocity and timescale, we favour giant convection cells as the main engine at the origin of polarization signatures and variations in all the Stokes parameters. This strengthens support for the hypothesis that large convective cells are at the origin of the LSP.


title: First observation of the competing fission modes in the neutron-deficient sub-lead region

abstract: Fragment mass distributions from fission of excited compound nucleus $^{178}$Pt have been deduced from the measured fragment velocities. The $^{178}$Pt nucleus was created at the JAEA tandem facility in a complete fusion reaction $^{36}$Ar + $^{142}$Nd, at beam energies of 155, 170 and 180 MeV. The data are indicative of a mixture of the mass-asymmetric and mass-symmetric fission modes associated with higher and lower total kinetic energies of the fragments, respectively. The measured fragment yields are dominated by asymmetric mass splits, with the symmetric mode contributing at the level of $\approx1/3$. This constitutes the first observation of a multimodal fission in the sub-lead region. Most probable experimental fragment-mass split of the asymmetric mode, $A_{L}/A_{H}\approx 79/99$, is well reproduced by nuclear density functional theory using the UNEDF1-HFB and D1S potentials. The symmetric mode is associated by theory with very elongated fission fragments, which is consistent with the observed total kinetic energy/fragment mass correlation.


title: Permutative representations of the $2$-adic ring $C^*$-algebra

abstract: The notion of permutative representation is generalized to the $2$-adic ring $C^*$-algebra $\mathcal{Q}_{2}$. Permutative representations of $\mathcal{Q}_2$ are then investigated with a particular focus on the inclusion of the Cuntz algebra $\mathcal{O}_2\subset\mathcal{Q}_2$. Notably, every permutative representation of $\mathcal{O}_2$ is shown to extend automatically to a permutative representation of $\mathcal{Q}_2$ provided that an extension whatever exists. Moreover, all permutative extensions of a given representation of $\mathcal{O}_2$ are proved to be unitarily equivalent to one another. Irreducible permutative representations of $\mathcal{Q}_2$ are classified in terms of irreducible permutative representations of the Cuntz algebra. Apart from the canonical representation of $\mathcal{Q}_2$, every irreducible representation of $\mathcal{Q}_2$ is the unique extension of an irreducible permutative representation of $\mathcal{O}_2$. Furthermore, a permutative representation of $\mathcal{Q}_2$ will decompose into a direct sum of irreducible permutative subrepresentations if and only if it restricts to $\mathcal{O}_2$ as a regular representation in the sense of Bratteli-Jorgensen. As a result, a vast class of pure states of $\mathcal{O}_2$ is shown to enjoy the unique pure extension property with respect to the inclusion $\mathcal{O}_2\subset\mathcal{Q}_2$.


title: Finite Horizon Throughput Maximization and Sensing Optimization in Wireless Powered Devices over Fading Channels

abstract: Wireless power transfer (WPT) is a promising technology that provides the network a way to replenish the batteries of the remote devices by utilizing RF transmissions. We study a class of harvest-first-transmit-later type of WPT policy, where an access point (AP) first employs RF power transfer to recharge a wireless powered device (WPD) for a certain period subjected to optimization, and then, the harvested energy is subsequently used by the WPD to transmit its data bits back to the AP over a finite horizon. A significant challenge regarding the studied WPT scenario is the time-varying nature of the wireless channel linking the WPD to the AP. We first investigate as a benchmark the offline case where the channel realizations are known non-causally prior to the starting of the horizon. For the offline case, by finding the optimal WPT duration and power allocations in the data transmission period, we derive an upper bound on the throughput of the WPD. We then focus on the online counterpart of the problem where the channel realizations are known causally. We prove that the optimal WPT duration obeys a time-dependent threshold form depending on the energy state of the WPD. In the subsequent data transmission stage, the optimal transmit power allocation for the WPD is shown to be of a fractional structure where at each time slot a fraction of energy depending on the current channel and a measure of future channel state expectations is allocated for data transmission. We numerically show that the online policy performs almost identical to the upper bound. We then consider a data sensing application, where the WPD adjusts the sensing resolution to balance between the quality of the sensed data and the probability of successfully delivering it. We use Bayesian inference as a reinforcement learning method to provide a mean for the WPD in learning to balance the sensing resolution.


title: An extension of Quillen's Theorem B

abstract: We prove a general version of Quillen's Theorem B, for actions of simplicial categories, in an arbitrary left Bousfield localization of the homotopy theory of simplicial presheaves over a site. As special cases, we recover a version of the group completion theorem in this general context, as well a version of Puppe's theorem on the stability of homotopy colimits in an infinity-topos, due to Rezk.


title: Higher-Order Bounded Model Checking

abstract: We present a Bounded Model Checking technique for higher-order programs. The vehicle of our study is a higher-order calculus with general references. Our technique is a symbolic state syntactical translation based on SMT solvers, adapted to a setting where the values passed and stored during computation can be functions of arbitrary order. We prove that our algorithm is sound, and devise an optimisation based on points-to analysis to improve scalability. We moreover provide a prototype implementation of the algorithm with experimental results showcasing its performance.


title: Isentropes and Lyapunov exponents

abstract: We consider skew tent maps $T_{{\alpha}, {\beta}}(x)$ such that $( {\alpha}, {\beta})\in[0,1]^{2}$ is the turning point of $T {_ { {\alpha}, {\beta}}}$, that is, $T_{{\alpha}, {\beta}}=\frac{{\beta}}{{\alpha}}x$ for $0\leq x \leq {\alpha}$ and $T_{{\alpha}, {\beta}}(x)=\frac{{\beta}}{1- {\alpha}}(1-x)$ for $ {\alpha}<x\leq 1$. We denote by $ {\underline {M}}=K( {\alpha}, {\beta})$ the kneading sequence of $T {_ { {\alpha}, {\beta}}}$, by $h( {\alpha}, {\beta})$ its topological entropy and $\Lambda=\Lambda_{\alpha,\beta}$ denotes its Lyapunov exponent. For a given kneading squence $ {\underline {M}}$ we consider isentropes (or equi-topological entropy, or equi-kneading curves), $( {\alpha},\Psi_{{\underline {M}}}( {\alpha}))$ such that $K( {\alpha},\Psi_{{\underline {M}}}( {\alpha}))= {\underline {M}}$. On these curves the topological entropy $h( {\alpha},\Psi_{{\underline {M}}}( {\alpha}))$ is constant. We show that $\Psi_{{\underline {M}}}'( {\alpha})$ exists and the Lyapunov exponent $\Lambda_{\alpha,\beta}$ can be expressed by using the slope of the tangent to the isentrope. Since this latter can be computed by considering partial derivatives of an auxiliary function $ { \Theta}_{{\underline {M}}}$, a series depending on the kneading sequence which converges at an exponential rate, this provides an efficient new method of finding the value of the Lyapunov exponent of these maps.


title: Three-dimensional graphdiyne as a topological nodal-line semimetal

abstract: We study the electronic band structure of three-dimensional ABC-stacked (rhombohedral) graphdiyne, which is a new planar carbon allotrope recently fabricated. Using the first-principles calculation, we show that the system is a nodal-line semimetal, in which the conduction band and valence band cross at a closed ring in the momentum space. We derive the minimum tight-binding model and the low-energy effective Hamiltonian in a $4\times 4$ matrix form. The nodal line is protected by a non-trivial winding number, and it ensures the existence of the topological surface state in a finite-thickness slab. The Fermi surface of the doped system exhibits a peculiar, self-intersecting hourglass structure, which is quite different from the torus or pipe shape in the previously proposed nodal semimetals. Despite its simple configuration, three-dimensional graphdiyne offers unique electronic properties distinct from any other carbon allotropes.


title: Incremental and Modular Context-sensitive Analysis

abstract: Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which modifications are small and isolated within a few components, and it is desirable to reuse as much as possible previous analysis results. This has been achieved to date through incremental global analysis fixpoint algorithms that achieve cost reductions at fine levels of granularity, such as changes in program lines. However, these fine-grained techniques are not directly applicable to modular programs, nor are they designed to take advantage of modular structures. This paper describes, implements, and evaluates an algorithm that performs efficient context-sensitive analysis incrementally on modular partitions of programs. The experimental results show that the proposed modular algorithm shows significant improvements, in both time and memory consumption, when compared to existing non-modular, fine-grain incremental analysis techniques. Furthermore, thanks to the proposed inter-modular propagation of analysis information, our algorithm also outperforms traditional modular analysis even when analyzing from scratch.


title: A Mixed-Signal Structured AdEx Neuron for Accelerated Neuromorphic Cores

abstract: Here we describe a multi-compartment neuron circuit based on the Adaptive-Exponential I&F (AdEx) model, developed for the second-generation BrainScaleS hardware. Based on an existing modular Leaky Integrate-and-Fire (LIF) architecture designed in 65 nm CMOS, the circuit features exponential spike generation, neuronal adaptation, inter-compartmental connections as well as a conductance-based reset. The design reproduces a diverse set of firing patterns observed in cortical pyramidal neurons. Further, it enables the emulation of sodium and calcium spikes, as well as N-Methyl-D-Aspartate (NMDA) plateau potentials known from apical and thin dendrites. We characterize the AdEx circuit extensions and exemplify how the interplay between passive and non-linear active signal processing enhances the computational capabilities of single (but structured) on-chip neurons.


title: Phylogenetic networks that are their own fold-ups

abstract: Phylogenetic networks are becoming of increasing interest to evolutionary biologists due to their ability to capture complex non-treelike evolutionary processes. From a combinatorial point of view, such networks are certain types of rooted directed acyclic graphs whose leaves are labelled by, for example, species. A number of mathematically interesting classes of phylogenetic networks are known. These include the biologically relevant class of stable phylogenetic networks whose members are defined via certain "fold-up" and "un-fold" operations that link them with concepts arising within the theory of, for example, graph fibrations. Despite this exciting link, the structural complexity of stable phylogenetic networks is still relatively poorly understood. Employing the popular tree-based, reticulation-visible, and tree-child properties which allow one to gauge this complexity in one way or another, we provide novel characterizations for when a stable phylogenetic network satisfies either one of these three properties.


title: Highly Sensitive and Robust Ultrahigh-Q Nanocavity on a Multiheterostructure Photonic Crystal

abstract: An ultrahigh-Q hybrid cavity using a graded multiheterostructure and space modulation is designed in this work. Two high Q resonant modes exist in the cavity and follow separate confinement mechanisms. We have demonstrated an analytical method for designing the desired multiheterostructure. Space modulation was used to create a robust and sensitive nanocavity. The confinement mechanism and resonant characteristics of the resonant modes are studied using the finite difference time domain method. We have shown that the modes of the cavity are highly robust with respect to fabrication error. We have also demonstrated that the nanocavity can act as a highly sensitive refractive index sensor.


title: Tunability of Planar Photonic Crystal Nanocavity: A Comparative study

abstract: A comparative study of the tunability of planar photonic crystal nanocavities is done in this work. Three different types of cavities, e.g., defect cavity, double heterostructure cavity and bandedge cavity are studied using finite domain time domain method. Electrically tunable materials like Graphene and ferroelectric BaTiO3 is used as the active materials. We found that high quality factor cavities have lower tunability and greater loss in the material leads to greater tunability.


title: Effect of quantum dispersion on the radial distribution function of a one-component sticky-hard-sphere fluid

abstract: In this short communication we present a possible scheme to study the radial distribution function of the quantum slightly polydisperse Baxter sticky hard sphere liquid at finite temperature thorugh a semi-analytical method devised by Chandler and Wolynes.


title: 120 Tbit/s Transmission over Single Mode Fibre using Continuous 91 nm Hybrid Raman-EDFA Amplification

abstract: Hybrid distributed Raman-EDFA amplifiers, with a continuous 91 nm gain bandwidth, are used to enable a record single mode fibre transmission capacity of 120.0 Tbit/s using 312x35 GBd DP-256QAM over 9x70 km spans.


title: History of the NeoClassical Interpretation of Quantum and Relativistic Physics

abstract: The need for revolution in modern physics is a well known and often broached subject, however, the precision and success of current models narrows the possible changes to such a great degree that there appears to be no major change possible. We provide herein, the first step toward a possible solution to this paradox via reinterpretation of the conceptual-theoretical framework while still preserving the modern art and tools in an unaltered form. This redivision of concepts and redistribution of the data can revolutionize expectations of new experimental outcomes. This major change within finely tuned constraints is made possible by the fact that numerous mathematically equivalent theories were direct precursors to, and contemporaneous with, the modern interpretations. In this first of a series of papers, historical investigation of the conceptual lineage of modern theory reveals points of exacting overlap in physical theories which, while now considered cross discipline, originally split from a common source and can be reintegrated as a singular science again. This revival of an older associative hierarchy, combined with modern insights, can open new avenues for investigation. This reintegration of cross-disciplinary theories and tools is defined as the Neoclassical Interpretation.


title: Characterisation and extraction of a Rayleigh-wave mode in vertically-heterogeneous media using Quaternion SVD

abstract: We propose a method that identifies a mode of Rayleigh waves and separates it from body waves and from other modes, using quaternions to represent multi-component data. Being well known the abilities of quaternions to handle rotations in space, we use previous results derived from Le Bihan and Mars (2004) to prove that a Rayleigh-wave mode recorded by an array of vector-sensors can be approximated by a sum of trace-by-trace rotating time signals. Our method decomposes the signal into narrow-frequency bands, which undergo both a velocity correction and a polarisation correction. The aim of these corrections is to reduce the mode of interest to a quasi-monochromatic wave packet with infinite apparent velocity and quasi-circular polarisation. Once written in quaternion notation, we refer to this wave packet as "quaternion brick". Based on theoretical considerations, we prove that this quaternion brick maps into the first quaternion eigenimage of the Quaternion Singular Value Decomposition. We apply this method to synthetic datasets derived from two vertically-heterogeneous models to extract the fundamental mode and we prove that it is correctly separated from either a higher mode of propagation or body waves with negligible residual. Results are presented in both time-offset and frequency-phase slowness domains.


title: Nonrotating black hole in a post-Newtonian tidal environment II

abstract: In the first part of the paper we construct the metric of a tidally deformed, nonrotating black hole. The metric is presented as an expansion in powers of r/b << 1, in which r is the distance to the black hole and b the characteristic length scale of the tidal field --- the typical distance to the remote bodies responsible for the tidal environment. The metric is expanded through order (r/b)^4 and written in terms of a number of tidal multipole moments, the gravitoelectric moments E_{ab}, E_{abc}, E_{abcd} and the gravitomagnetic moments B_{ab}, B_{abc}, B_{abcd}. It differs from the similar construction of Poisson and Vlasov in that the tidal perturbation is presented in Regge-Wheeler gauge instead of the light-cone gauge employed previously. In the second part of the paper we determine the tidal moments by matching the black-hole metric to a post-Newtonian metric that describes a system of bodies with weak mutual gravity. This extends the previous work of Taylor and Poisson (paper I in this sequence), which computed only the leading-order tidal moments, E_{ab} and B_{ab}. The matching is greatly facilitated by the Regge-Wheeler form of the black-hole metric, and this motivates the work carried out in the first part of the paper. The tidal moments are calculated accurately through the first post-Newtonian approximation, and at this order they are independent of the precise nature of the compact body. The moments therefore apply equally well to a rotating black hole, or to a (rotating or nonrotating) neutron star. As an application of this formalism, we examine the intrinsic geometry of a tidally deformed event horizon, and describe it in terms of a deformation function that represents a quadrupolar and octupolar tidal bulge.


title: A Large-Scale Study of Language Models for Chord Prediction

abstract: We conduct a large-scale study of language models for chord prediction. Specifically, we compare N-gram models to various flavours of recurrent neural networks on a comprehensive dataset comprising all publicly available datasets of annotated chords known to us. This large amount of data allows us to systematically explore hyper-parameter settings for the recurrent neural networks---a crucial step in achieving good results with this model class. Our results show not only a quantitative difference between the models, but also a qualitative one: in contrast to static N-gram models, certain RNN configurations adapt to the songs at test time. This finding constitutes a further step towards the development of chord recognition systems that are more aware of local musical context than what was previously possible.


title: First Steps in Non-standard Projective Geometry

abstract: In this article, we will introduce methods of non-standard analysis into projective geometry. Especially, we will analyze the properties of a projective space over a non-Archimedean field. Non-Archimedean fields contain numbers that are smaller than every real number: the so called "infinitesimal" numbers. The theory is well known from non-standard analysis. This enables us to define projective objects that deviate only infinitesimally (in an appropriate metric) from each other. And we show that in most cases operations involving such objects that deviate infinitesimally also experience only infinitesimal change. Another focus will be where this property does not hold true and show that this usually involves discontinuity or degeneration. Furthermore, we will explore common projective concepts like projective transformations, cross-ratios and conics in a non-standard setting.


title: On the bijectivity of families of exponential/generalized polynomial maps

abstract: We start from a parametrized system of $d$ generalized polynomial equations (with real exponents) for $d$ positive variables, involving $n$ generalized monomials with $n$ positive parameters. Existence and uniqueness of a solution for all parameters and for all right-hand sides is equivalent to the bijectivity of (every element of) a family of generalized polynomial/exponential maps. We characterize the bijectivity of the family of exponential maps in terms of two linear subspaces arising from the coefficient and exponent matrices, respectively. In particular, we obtain conditions in terms of sign vectors of the two subspaces and a nondegeneracy condition involving the exponent subspace itself. Thereby, all criteria can be checked effectively. Moreover, we characterize when the existence of a unique solution is robust with respect to small perturbations of the exponents or/and the coefficients. In particular, we obtain conditions in terms of sign vectors of the linear subspaces or, alternatively, in terms of maximal minors of the coefficient and exponent matrices. Finally, we present applications to chemical reaction networks with (generalized) mass-action kinetics.


title: GoSGD: Distributed Optimization for Deep Learning with Gossip Exchange

abstract: We address the issue of speeding up the training of convolutional neural networks by studying a distributed method adapted to stochastic gradient descent. Our parallel optimization setup uses several threads, each applying individual gradient descents on a local variable. We propose a new way of sharing information between different threads based on gossip algorithms that show good consensus convergence properties. Our method called GoSGD has the advantage to be fully asynchronous and decentralized.


title: HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

abstract: In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent executions of a system. Probabilistic hyperproperties express quantitative dependencies between such executions. The standard temporal logics for probabilistic systems, i.e., PCTL and PCTL* can refer only to a single path at a time and, hence, cannot express many probabilistic hyperproperties of interest. The logic proposed in this paper, \HyperPCTL, adds explicit and simultaneous quantification over multiple traces to PCTL. Such quantification allows expressing probabilistic hyperproperties. A model checking algorithm for the proposed logic is also given for discrete-time Markov chains.


title: Darboux polynomials and global phase portraits for the D_2 vector field

abstract: We study a vector field of R^3 equivariant under the D_2 symmetry group, called "the D_2 field" in the literature. We construct the complete list of Darboux polynomials for it, solving the partial differential equation defining them. We also use these polynomials to comment on its global qualitative behaviour. This is meant to be a first step towards the comparison of vector fields based on the module generated by their Darboux polynomials.