title: Experimental proof for resonant diffusion of normal alkanes in LTL and ZSM-12 zeolites

abstract: The intra-crystalline diffusion of normal alkanes in LTL and ZSM-12 zeolite was experimentally studied via gravimetric measurements performed at different temperatures. A periodic dependence of the diffusion coefficient on the number of carbon atoms in alkane was detected, which is an experimental proof for resonant diffusion. The present observations were described on the base of the existing theory of the resonant diffusion and several important parameters of the alkane-zeolite interaction and zeolite vibrations were obtained. In the considered temperature region the diffusion coefficient follows the Arrhenius law with periodic dependences of the pre-exponential factor and activation energy on the number of carbon atoms in alkanes. A compensation effect of simultaneous increases of the pre-exponential factor and the activation energy was also established.


title: Melting and Mixing States of the Earth's Mantle after the Moon-Forming Impact

abstract: The Earth's Moon is thought to have formed by an impact between the Earth and an impactor around 4.5 billion years ago. This impact could have been so energetic that it could have mixed and homogenized the Earth's mantle. However, this view appears to be inconsistent with geochemical studies that suggest that the Earth's mantle was not mixed by the impact. Another plausible outcome is that this energetic impact melted the whole mantle, but the extent of mantle melting is not well understood even though it must have had a significant effect on the subsequent evolution of the Earth's interior and atmosphere. To understand the initial state of the Earth's mantle, we perform giant impact simulations using smoothed particle hydrodynamics (SPH) for three different models: (a) standard: a Mars-sized impactor hits the proto-Earth, (b) fast-spinning Earth: a small impactor hits a rapidly rotating proto-Earth, and (c) sub-Earths: two half Earth-sized planets collide. We use two types of equations of state (MgSiO3 liquid and forsterite) to describe the Earth's mantle. We find that the mantle remains unmixed in (a), but it may be mixed in (b) and (c). The extent of mixing is most extensive in (c). Therefore, (a) is most consistent and (c) may be least consistent with the preservation of the mantle heterogeneity, while (b) may fall between. We determine that the Earth's mantle becomes mostly molten by the impact in all of the models. The choice of the equations of state does not affect these outcomes. Additionally, our results indicate that entropy gains of the mantle materials by a giant impact cannot be predicted well by the Rankine-Hugoniot equations. Moreover, we show that the mantle can remain unmixed on a Moon-forming timescale if it does not become mixed by the impact.


title: A Correlation Analysis Method for Power Systems Based on Random Matrix Theory

abstract: The operating status of power systems is influenced by growing varieties of factors, resulting from the developing sizes and complexity of power systems; in this situation, the modelbased methods need be revisited. A data-driven method, as the novel alternative, on the other hand, is proposed in this paper: it reveals the correlations between the factors and the system status through statistical properties of data. An augmented matrix, as the data source, is the key trick for this method; it is formulated by two parts: 1) status data as the basic part, and 2) factor data as the augmented part. The random matrix theory (RMT) is applied as the mathematical framework. The linear eigenvalue statistics (LESs), such as the mean spectral radius (MSR), are defined to study data correlations through large random matrices. Compared with model-based methods, the proposed method is inspired by a pure statistical approach, without a prior knowledge of operation and interaction mechanism models for power systems and factors. In general, this method is direct in analysis, robust against bad data, universal to various factors, and applicable for real-time analysis. A case study, based on the standard IEEE 118-bus system, validates the proposed method.


title: PCA with Gaussian perturbations

abstract: Most of machine learning deals with vector parameters. Ideally we would like to take higher order information into account and make use of matrix or even tensor parameters. However the resulting algorithms are usually inefficient. Here we address on-line learning with matrix parameters. It is often easy to obtain online algorithm with good generalization performance if you eigendecompose the current parameter matrix in each trial (at a cost of $O(n^3)$ per trial). Ideally we want to avoid the decompositions and spend $O(n^2)$ per trial, i.e. linear time in the size of the matrix data. There is a core trade-off between the running time and the generalization performance, here measured by the regret of the on-line algorithm (total gain of the best off-line predictor minus the total gain of the on-line algorithm). We focus on the key matrix problem of rank $k$ Principal Component Analysis in $\mathbb{R}^n$ where $k \ll n$. There are $O(n^3)$ algorithms that achieve the optimum regret but require eigendecompositions. We develop a simple algorithm that needs $O(kn^2)$ per trial whose regret is off by a small factor of $O(n^{1/4})$. The algorithm is based on the Follow the Perturbed Leader paradigm. It replaces full eigendecompositions at each trial by the problem finding $k$ principal components of the current covariance matrix that is perturbed by Gaussian noise.


title: Three Upsilon Transforms Related to Tempered Stable Distributions

abstract: We discuss the properties of three upsilon transforms, which are related to the class of $p$-tempered $\alpha$-stable ($TS^p_\alpha$) distributions. In particular, we characterize their domains and show how they can be represented as compositions of each other. Further, we show that if $-\infty<\beta<\alpha<2$ and $0<q<p<\infty$ then they can be used to transform the L\'evy measures of $TS^p_\beta$ distributions into those of $TS^q_\alpha$.


title: Mutually Exclusive Modules in Logic Programming

abstract: Logic programming has traditionally lacked devices for expressing mutually exclusive modules. We address this limitation by adopting choice-conjunctive modules of the form $D_0 \& D_1$ where $D_0, D_1$ are a conjunction of Horn clauses and $\&$ is a linear logic connective. Solving a goal $G$ using $D_0 \& D_1$ -- $exec(D_0 \& D_1,G)$ -- has the following operational semantics: $choose$ a successful one between $exec(D_0,G)$ and $exec(D_1,G)$. In other words, if $D_0$ is chosen in the course of solving $G$, then $D_1$ will be discarded and vice versa. Hence, the class of choice-conjunctive modules can capture the notion of mutually exclusive modules.


title: Revisit on How to Derive Asymptotic Profiles to Some Evolution Equations

abstract: We consider the Cauchy problem in ${\bf R}^{n}$ for heat and damped wave equations. We derive asymptotic profiles to those solutions with weighted $L^{1,1}({\bf R}^{n})$ data by presenting a simple method.


title: The NuSTAR View of a QPO Evolution of GRS 1915+105

abstract: We report a timing analysis of the black hole binary GRS 1915+105 with the NuSTAR observatory. A strong type-C QPO below 2 Hz appears in the power density spectrum during the whole observation, whose frequency is correlated with the 3-25 keV count rate. The QPO shows a sudden increase in frequency along with an increase in flux and a softening of the spectrum. We discuss the possible origin of the QPO and the reasons that lead to the QPO frequency variation. It is suggested that the reflection component has little influence on QPO frequency and the increase in QPO frequency could be associated with the inward motion of the outer part of the disk.


title: Non-existence of Physical Classical Solutions to Euler's Equations of Rigid Body Dynamics

abstract: We prove that one cannot construct, for arbitrary initial data, global-in-time physical classical solutions to Euler's equations of continuum rigid body mechanics when the constituent rigid bodies are not perfect spheres. By 'physical' solutions, we mean those that conserve the total linear momentum, angular momentum and kinetic energy of any given initial datum. The reason for absence of classical solutions is due to the non-existence of velocity scattering maps which resolve a collision between two non-spherical rigid bodies in such a way that (i) they do not interpenetrate, and (ii) total linear momentum, angular momentum and kinetic energy of the bodies are conserved through collision. In particular, this implies that when solving Euler's equations, it is necessary to deal with rigid body trajectories which experience infinitely-many collisions in a finite time interval.

categories: math-ph math.CA math.MP physics.class-ph


title: The Discrete Fr\'echet Gap

abstract: We introduce the discrete Fr\'echet gap and its variants as an alternative measure of similarity between polygonal curves. We believe that for some applications the new measure (and its variants) may better reflect our intuitive notion of similarity than the discrete Fr\'echet distance (and its variants), since the latter measure is indifferent to (matched) pairs of points that are relatively close to each other. Referring to the frogs analogy by which the discrete Fr\'echet distance is often described, the discrete Fr\'echet gap is the minimum difference between the longest and shortest positions of the leash needed for the frogs to traverse their point sequences. We present an optimization scheme, which is suitable for any monotone function defined for pairs of distances such as the gap and ratio functions. We apply this scheme to two variants of the discrete Fr\'echet gap, namely, the one-sided discrete Fr\'echet gap with shortcuts and the weak discrete Fr\'echet gap, to obtain $O(n^2 \log^2 n)$-time algorithms for computing them.


title: EERTREE: An Efficient Data Structure for Processing Palindromes in Strings

abstract: We propose a new linear-size data structure which provides a fast access to all palindromic substrings of a string or a set of strings. This structure inherits some ideas from the construction of both the suffix trie and suffix tree. Using this structure, we present simple and efficient solutions for a number of problems involving palindromes.


title: Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers

abstract: We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n \in \mathbb{Q})$ and $(x^n \in \mathbb{Z})$. Our decision procedure combines computation over real algebraic cells with the rational root theorem and witness construction via algebraic number density arguments.


title: Reducing systematic errors in time-frequency resolved mode number analysis

abstract: The present paper describes the effect of magnetic pick-up coil transfer functions on mode number analysis in magnetically confined fusion plasmas. Magnetic probes mounted inside the vacuum chamber are widely used to characterize the mode structure of magnetohydrodynamic modes, as, due to their relative simplicity and compact nature, several coils can be distributed over the vessel. Phase differences between the transfer functions of different magnetic pick-up coils lead to systematic errors in time- and frequency resolved mode number analysis. This paper presents the first in-situ, end-to-end calibration of a magnetic pick-up coil system which was carried out by using an in-vessel driving coil on ASDEX Upgrade. The effect of the phase differences in the pick-up coil transfer functions is most significant in the 50-250 kHz frequency range, where the relative phase shift between the different probes can be up to 1 radian (~60{\deg}). By applying a correction based on the transfer functions we found smaller residuals of mode number fitting in the considered discharges. In most cases an order of magnitude improvement was observed in the residuals of the mode number fits, which could open the way to investigate weaker electromagnetic oscillations with even high mode numbers.


title: Two-dimensional electron gas at the PbTiO$_3$/SrTiO$_3$ interface: an ab initio study

abstract: In the polar catastrophe scenario, polar discontinuity accounts for the driving force of the formation of a two-dimensional electron gas (2DEG) at the interface between polar and non-polar insulators. In this paper, we substitute the usual, non-ferroelectric, polar material with a ferroelectric thin film and use the ferroelectric polarization as the source for polar discontinuity. We use ab initio simulations to systematically investigate the stability, formation and properties of the two-dimensional free-carrier gases formed in PbTiO$_3$/SrTiO$_3$ heterostructures under realistic mechanical and electrical boundary conditions. Above a critical thickness, the ferroelectric layers can be stabilized in the out-of-plane monodomain configuration due to the electrostatic screening provided by the free-carriers. Our simulations also predict that the system can be switched between three stable configurations (polarization up, down or zero), allowing the non-volatile manipulation of the free charge density and sign at the interface. Furthermore, the link between ferroelectric polarization and free charge density demonstrated by our analysis constitutes compelling support for the polar catastrophe model that is used to rationalize the formation of 2DEG at oxide interfaces.


title: A fast, always positive definite and normalizable approximation of non-Gaussian likelihoods

abstract: In this paper we extent the previously published DALI-approximation for likelihoods to cases in which the parameter dependency is in the covariance matrix. The approximation recovers non-Gaussian likelihoods, and reduces to the Fisher matrix approach in the case of Gaussianity. It works with the minimal assumptions of having Gaussian errors on the data, and a covariance matrix that possesses a converging Taylor approximation. The resulting approximation works in cases of severe parameter degeneracies and in cases where the Fisher matrix is singular. It is at least $1000$ times faster than a typical Monte Carlo Markov Chain run over the same parameter space. Two example applications, to cases of extremely non-Gaussian likelihoods, are presented -- one demonstrates how the method succeeds in reconstructing completely a ring-shaped likelihood. A public code is released here: http://lnasellentin.github.io/DALI/


title: Efficient Reverse k Nearest Neighbor evaluation for hierarchical index

abstract: "Reverse Nearest Neighbor" query finds applications in decision support systems, profile-based marketing, emergency services etc. In this paper, we point out a few flaws in the branch and bound algorithms proposed earlier for computing monochromatic RkNN queries over data points stored in hierarchical index. We give suitable counter examples to validate our claims and propose a correct algorithm for the corresponding problem. We show that our algorithm is correct by identifying necessary conditions behind correctness of algorithms for this problem.


title: Neutrino mass matrices with one texture zero and a vanishing neutrino mass

abstract: Assuming Majorana nature of neutrinos, we investigate the singular one texture zero neutrino mass matrices in the flavor basis. We find that for the normal mass ordering with $m_1=0$, all the six one texture zero classes are now ruled out at 3$\sigma$ confidence level, whereas for inverted mass ordering with $m_3=0$ only four classes out of total six can accommodate the latest neutrino oscillation data at 3$\sigma$ confidence level. Moreover, only two classes can accommodate the present data at 1$\sigma$ confidence level. We examine the phenomenological implications of the allowed classes for the effective Majorana mass, Dirac and Majorana CP-violating phases. Working within the framework of type-I seesaw mechanism, we present simple discrete Abelian symmetry models leading to all the phenomenologically allowed classes.


title: Modeling and Computation of Mean Field Equilibria in Producers' Game with Emission Permits Trading

abstract: In this paper, we present a mean field game to model the production behaviors of a very large number of producers, whose carbon emissions are regulated by government. Especially, an emission permits trading scheme is considered in our model, in which each enterprise can trade its own permits flexibly. By means of the mean field equilibrium, we obtain a Hamilton-Jacobi-Bellman (HJB) equation coupled with a Kolmogorov equation, which are satisfied by the adjoint state and the density of producers (agents), respectively. Then, we propose a so-called fitted finite volume method to solve the HJB equation and the Kolmogorov equation. The efficiency and the usefulness of this method are illustrated by the numerical experiments. Under different conditions, the equilibrium states as well as the effects of the emission permits price are examined, which demonstrates that the emission permits trading scheme influences the producers' behaviors, that is, more populations would like to choose a lower rather than a higher emission level when the emission permits are expensive.


title: Robust Collaborative Nonnegative Matrix Factorization For Hyperspectral Unmixing (R-CoNMF)

abstract: The recently introduced collaborative nonnegative matrix factorization (CoNMF) algorithm was conceived to simultaneously estimate the number of endmembers, the mixing matrix, and the fractional abundances from hyperspectral linear mixtures. This paper introduces R-CoNMF, which is a robust version of CoNMF. The robustness has been added by a) including a volume regularizer which penalizes the distance to a mixing matrix inferred by a pure pixel algorithm; and by b) introducing a new proximal alternating optimization (PAO) algorithm for which convergence to a critical point is guaranteed. Our experimental results indicate that R-CoNMF provides effective estimates both when the number of endmembers are unknown and when they are known.


title: Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

abstract: Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that are embedded in those systems and are in charge of detecting faults in an automated and timely manner by reading data from sensors and triggering predefined alarms. The design of effective FDI components is an extremely hard problem, also due to the lack of a complete theoretical foundation, and of precise specification and validation techniques. In this paper, we present the first formal approach to the design of FDI components for discrete event systems, both in a synchronous and asynchronous setting. We propose a logical language for the specification of FDI requirements that accounts for a wide class of practical cases, and includes novel aspects such as maximality and trace-diagnosability. The language is equipped with a clear semantics based on temporal epistemic logic, and is proved to enjoy suitable properties. We discuss how to validate the requirements and how to verify that a given FDI component satisfies them. We propose an algorithm for the synthesis of correct-by-construction FDI components, and report on the applicability of the design approach on an industrial case-study coming from aerospace.


title: Constraint algebra of general relativity from a formal continuum limit of canonical tensor model

abstract: Canonical tensor model (CTM for short below) is a rank-three tensor model formulated as a totally constrained system in the canonical formalism. In the classical case, the constraints form a first-class constraint Poisson algebra with structures similar to that of the ADM formalism of general relativity, qualifying CTM as a possible discrete formalism for quantum gravity. In this paper, we show that, in a formal continuum limit, the constraint Poisson algebra of CTM with no cosmological constant exactly reproduces that of the ADM formalism. To this end, we obtain the expression of the metric tensor field in general relativity in terms of one of the dynamical rank-three tensors in CTM, and determine the correspondence between the constraints of CTM and those of the ADM formalism. On the other hand, the cosmological constant term of CTM seems to induce non-local dynamics, and is inconsistent with an assumption about locality of the continuum limit.


title: Cross-cap singularities counted with sign

abstract: There is presented a method for computing the algebraic number of cross-cap singularities for mapping from m dimensional compact manifold with boundary M into R^(2m-1), m is odd. As an application, the intersection number of an immersion g from (m-1)-dimensional sphere to R^(2m-2) is described as the algebraic number of cross-caps of a mapping naturally associated with g.


title: Inhomogeneous discrete-time exclusion processes

abstract: We study discrete time Markov processes with periodic or open boundary conditions and with inhomogeneous rates in the bulk. The Markov matrices are given by the inhomogeneous transfer matrices introduced previously to prove the integrability of quantum spin chains. We show that these processes have a simple graphical interpretation and correspond to a sequential update. We compute their stationary state using a matrix ansatz and express their normalization factors as Schur polynomials. A connection between Bethe roots and Lee-Yang zeros is also pointed out.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI


title: Urban Morphometrics: Towards a Science of Urban Evolution

abstract: Urban theorists, social reformists and philosophers have considered the city as a living organism since Plato. However, despite extraordinary advancements in evolutionary biology, now being used to explain social and cultural phenomena, a proper science of evolution in cities has never been established since Geddes' work at the dawn of the Town Planning discipline. Commencing in the tradition of Urban Morphology, this research develops and validates a statistically reliable and universally applicable urban taxonomy. The research solidifies existing definitions of built form at the scale of the urban fabric and identifies the constituent elements of form in 40 contemporary UK cities. Quantifiable measurements of these elements allow mathematical descriptions of their organization and mutual relationships. Further, an optimized list of indices with maximum discriminatory potential distinguishes between cases from four historically characterised categories: 1) Historical, 2) Industrial, 3) New Towns, 4) Sprawl. Finally, a dendrogram is produced that shows the tree of similarity between cases, where the great divide between pre and post WWII war urban form is demonstrated. This work shows that: a) it is conceptually sound and viable to measure urban fabric utilizing public, big-data repositories, b) the proposed urban morphometrics system accurately characterises the structure of urban form and clusters cases properly based on their historical origins, c) scientific models of biological evolution can be applied to urban analysis to understand underlying structural similarities.


title: HST observations of planetary aurorae, a unique tool to study giant magnetospheres

abstract: Ultraviolet (UV) planetary astronomy is a unique tool to probe planetary environments of the solar system and beyond. But despite a rising interest for new generation giant UV telescopes regularly proposed to international agencies, none has been selected yet, leaving the Hubble Space Telescope (HST) as the most powerful UV observatory in activity. HST regularly observed the auroral emissions of the Jupiter, Saturn and Uranus systems, leading to significant discoveries and achievements. This rich legacy remains of high interest for further statistical and long-term studies, but new observations are necessary to comparatively tackle pending questions, under varying solar or seasonal cycles.


title: Evidence of quantum dimer excitations in Sr$_3$Ir$_2$O$_7$

abstract: The magnetic excitation spectrum in the bilayer iridate Sr$_3$Ir$_2$O$_7$ has been investigated using high-resolution resonant inelastic x-ray scattering (RIXS) performed at the iridium L$_3$ edge and theoretical techniques. A study of the systematic dependence of the RIXS spectrum on the orientation of the wavevector transfer, $\mathbf{Q}$, with respect to the iridium-oxide bilayer has revealed that the magnon dispersion is comprised of two branches well separated in energy and gapped across the entire Brillouin zone. Our results contrast with those of an earlier study which reported the existence of a single dominant branch. While these earlier results were interpreted as two overlapping modes within a spin-wave model of weakly coupled iridium-oxide planes, our results are more reminiscent of those expected for a system of weakly coupled dimers. In this latter approach the lower and higher energy modes find a natural explanation as those corresponding to transverse and longitudinal fluctuations, respectively. We have therefore developed a bond-operator theory which describes the magnetic dispersion in Sr$_3$Ir$_2$O$_7$ in terms of quantum dimer excitations. In our model dimerisation is produced by the leading Heisenberg exchange, $J_c$, which couples iridium ions in adjacent planes of the bilayer. The Hamiltonian also includes in plane exchange, $J$, as well as further neighbour couplings and relevant anisotropies. The bond-operator theory provides an excellent account of the dispersion of both modes, while the measured $\mathbf{Q}$ dependence of the RIXS intensities is in reasonable qualitative accord with the spin-spin correlation function calculated from the theory. We discuss our results in the context of the quantum criticality of bilayer dimer systems in the presence of anisotropic interactions derived from strong spin-orbit coupling.


title: End-to-end people detection in crowded scenes

abstract: Current people detectors operate either by scanning an image in a sliding window fashion or by classifying a discrete set of proposals. We propose a model that is based on decoding an image into a set of people detections. Our system takes an image as input and directly outputs a set of distinct detection hypotheses. Because we generate predictions jointly, common post-processing steps such as non-maximum suppression are unnecessary. We use a recurrent LSTM layer for sequence generation and train our model end-to-end with a new loss function that operates on sets of detections. We demonstrate the effectiveness of our approach on the challenging task of detecting people in crowded scenes.


title: Compositional Verification for Timed Systems Based on Automatic Invariant Generation

abstract: We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main challenge is to obtain pertinent global timing constraints from the timings in the components alone. To this end, we make use of auxiliary clocks to automatically generate new invariants which capture the constraints induced by the synchronisations between components. The method has been implemented in the RTD-Finder tool and successfully experimented on several benchmarks.


title: An Exchange Rate Target Zone Model with a Terminal Condition and Mean-Reverting Fundamentals

abstract: This paper proposes a target zones exchange rate model with a terminal condition of entering a currency zone. It is assumed that the exchange rate is a function of the fundamental and time. Another essential assumptions of the model is that the fundamental process is bounded inside a band and that terminal condition for the exchange rate holds. The fundamental is specified in two ways: as a regulated Brownian motion and Ornstein-Uhlenbeck processes. For the case of the Brownian motion process the closed form solution of the problem is obtained, whereas for the Ornstein-Uhlenbeck process the closed form solution does not exist, therefore we had to use numerical method for solving of the problem. Both specifications are compared numerically.


title: Cavity-assisted manipulation of freely rotating silicon nanorods in high vacuum

abstract: Optical control of nanoscale objects has recently developed into a thriving field of research with far-reaching promises for precision measurements, fundamental quantum physics and studies on single-particle thermodynamics. Here, we demonstrate the optical manipulation of silicon nanorods in high vacuum. Initially, we sculpture these particles into a silicon substrate with a tailored geometry to facilitate their launch into high vacuum by laser-induced mechanical cleavage. We manipulate and trace their center-of-mass and rotational motion through the interaction with an intense intra-cavity field. Our experiments show optical forces on nanorotors three times stronger than on silicon nanospheres of the same mass. The optical torque experienced by the spinning rods will enable cooling of the rotational motion and torsional opto-mechanics in a dissipation-free environment.


title: The Complexity of the Path-following Solutions of Two-dimensional Sperner/Brouwer Functions

abstract: There are a number of results saying that for certain "path-following" algorithms that solve PPAD-complete problems, the solution obtained by the algorithm is PSPACE-complete to compute. We conjecture that these results are special cases of a much more general principle, that all such algorithms compute PSPACE-complete solutions. Such a general result might shed new light on the complexity class PPAD. In this paper we present a new PSPACE-completeness result for an interesting challenge instance for this conjecture. Chen and Deng~\cite{CD} showed that it is PPAD-complete to find a trichromatic triangle in a concisely-represented Sperner triangulation. The proof of Sperner's lemma --- that such a solution always exists --- identifies one solution in particular, that is found via a natural "path-following" approach. Here we show that it is PSPACE-complete to compute this specific solution, together with a similar result for the computation of the path-following solution of two-dimensional discrete Brouwer functions.


title: Spectral multipliers, Bochner-Riesz means and uniform Sobolev inequalities for elliptic operators

abstract: This paper comprises two parts. In the first, we study $L^p$ to $L^q$ bounds for spectral multipliers and Bochner-Riesz means with negative index in the general setting of abstract self-adjoint operators. In the second we obtain the uniform Sobolev estimates for constant coefficients higher order elliptic operators $P(D)-z$ and all $z\in {\mathbb C}\backslash [0, \infty)$, which give an extension of the second order results of Kenig-Ruiz-Sogge \cite{KRS}. Next we use perturbation techniques to prove the uniform Sobolev estimates for Schr\"odinger operators $P(D)+V$ with small integrable potentials $V$. Finally we deduce spectral multiplier estimates for all these operators, including sharp Bochner-Riesz summability results.


title: Normal metal tunnel junction-based superconducting quantum interference proximity transistor: the N-SQUIPT

abstract: We report the fabrication and characterization of an alternative design for a superconducting quantum interference proximity transistor (SQUIPT) based on a normal metal (N) probe. The absence of direct Josephson coupling between the proximized metal nanowire and the N probe allows us to observe the full modulation of the wire density of states around zero voltage and current \textit{via} the application of an external magnetic field. This results into a drastic suppression of power dissipation which can be as low as a few $\sim 10^{-17}$ W. In this context the interferometer allows an improvement of up to four orders of magnitude with respect to earlier SQUIPT designs, and makes it ideal for extra-low power cryogenic applications. In addition, the N-SQUIPT has been recently predicted to be the enabling candidate for the implementation of coherent caloritronic devices based on proximity effect.


title: Entropy Games and Matrix Multiplication Games

abstract: Two intimately related new classes of games are introduced and studied: entropy games (EGs) and matrix multiplication games (MMGs). An EG is played on a finite arena by two-and-a-half players: Despot, Tribune and the non-deterministic People. Despot wants to make the set of possible People's behaviors as small as possible, while Tribune wants to make it as large as possible.An MMG is played by two players that alternately write matrices from some predefined finite sets. One wants to maximize the growth rate of the product, and the other to minimize it. We show that in general MMGs are undecidable in quite a strong sense.On the positive side, EGs correspond to a subclass of MMGs, and we prove that such MMGs and EGs are determined, and that the optimal strategies are simple. The complexity of solving such games is in NP\&coNP.


title: Several new classes of Boolean functions with few Walsh transform values

abstract: In this paper, several new classes of Boolean functions with few Walsh transform values, including bent, semi-bent and five-valued functions, are obtained by adding the product of two or three linear functions to some known bent functions.Numerical results show that the proposed class contains cubic bent functions that are affinely inequivalent to all known quadratic ones. Meanwhile, we determine the distribution of the Walsh spectrum of five-valued functions constructed in this paper.


title: Another approach to the Kan-Quillen model structure

abstract: By careful analysis of the comparison map from a simplicial set to its image under Kan's ex-infinity functor we obtain a new and combinatorial proof that it is a weak homotopy equivalence. Moreover, we obtain a presentation of it as a strong anodyne extension. From this description we are able to quickly deduce some basic facts about ex-infinity and hence provide a new construction of the Kan-Quillen model structure on simplicial sets, which avoids the use of topological spaces or minimal fibrations.


title: Collision-Induced Glitch/Anti-Glitches

abstract: We suggest that the collision of a small solid body with a pulsar can lead to an observable glitch/anti-glitch. The glitch amplitude depends on the mass of the small body and the impact parameter as well. In the collision, a considerable amount of potential energy will be released either in the form of a short hard X-ray burst or as a relatively long-lasting soft X-ray afterglow. The connection between the glitch amplitude and the X-ray energetics can help to diagnose the nature of these timing anomalies.


title: Systematic comparison of trip distribution laws and models

abstract: Trip distribution laws are basic for the travel demand characterization needed in transport and urban planning. Several approaches have been considered in the last years. One of them is the so-called gravity law, in which the number of trips is assumed to be related to the population at origin and destination and to decrease with the distance. The mathematical expression of this law resembles Newton's law of gravity, which explains its name. Another popular approach is inspired by the theory of intervening opportunities which argues that the distance has no effect on the destination choice, playing only the role of a surrogate for the number of intervening opportunities between them. In this paper, we perform a thorough comparison between these two approaches in their ability at estimating commuting flows by testing them against empirical trip data at different scales and coming from different countries. Different versions of the gravity and the intervening opportunities laws, including the recently proposed radiation law, are used to estimate the probability that an individual has to commute from one unit to another, called trip distribution law. Based on these probability distribution laws, the commuting networks are simulated with different trip distribution models. We show that the gravity law performs better than the intervening opportunities laws to estimate the commuting flows, to preserve the structure of the network and to fit the commuting distance distribution although it fails at predicting commuting flows at large distances. Finally, we show that the different approaches can be used in the absence of detailed data for calibration since their only parameter depends only on the scale of the geographic unit.


title: On integral schemes over symmetric monoidal categories

abstract: We propose notions of "Noetherian" and "integral" for schemes over an abelian symmetric monoidal category $(\mathcal C,\otimes,1)$. For Noetherian integral schemes, we construct a "function field" that is a commutative monoid object of $(\mathcal C,\otimes,1)$. Under certain conditions, we show that a Noetherian scheme over $(\mathcal C,\otimes,1)$ is integral if and only if it is reduced and irreducible.


title: Author Identification using Multi-headed Recurrent Neural Networks

abstract: Recurrent neural networks (RNNs) are very good at modelling the flow of text, but typically need to be trained on a far larger corpus than is available for the PAN 2015 Author Identification task. This paper describes a novel approach where the output layer of a character-level RNN language model is split into several independent predictive sub-models, each representing an author, while the recurrent layer is shared by all. This allows the recurrent layer to model the language as a whole without over-fitting, while the outputs select aspects of the underlying model that reflect their author's style. The method proves competitive, ranking first in two of the four languages.


title: A discontinuous isoperimetric profile for a complete Riemannian manifold

abstract: The first known example of a complete Riemannian manifold whose isoperimetric profile is discontinuous is given.


title: Diffusion of Cosmic Rays in a Multiphase Interstellar Medium Swept-Up by a Supernova Remnant Blast Wave

abstract: Supernova remnants (SNRs) are one of the most energetic astrophysical events and are thought to be the dominant source of Galactic cosmic rays (CRs). A recent report on observations from the Fermi satellite has shown a signature of pion decay in the gamma-ray spectra of SNRs. This provides strong evidence that high-energy protons are accelerated in SNRs. The actual gamma-ray emission from pion decay should depend on the diffusion of CRs in the interstellar medium. In order to quantitatively analyse the diffusion of high-energy CRs from acceleration sites, we have performed test particle numerical simulations of CR protons using a three-dimensional magnetohydrodynamics (MHD) simulation of an interstellar medium swept-up by a blast wave. We analyse the diffusion of CRs at a length scale of order a few pc in our simulated SNR, and find the diffusion of CRs is precisely described by a Bohm diffusion, which is required for efficient acceleration at least for particles with energies above 30 TeV for a realistic interstellar medium. Although we find the possibility of a superdiffusive process (travel distance proportional to t^0.75) in our simulations, its effect on CR diffusion at the length scale of the turbulence in the SNR is limited.


title: Resource Allocation for Mixed RF and Hybrid RF/FSO Relaying

abstract: In this paper, we consider a mixed RF and hybrid RF/FSO system where several mobile users transmit their data over an RF link to a relay node (e.g. a small cell base station) and the relay forwards the information to a destination (e.g. a macro cell base station) over a hybrid RF/FSO backhaul link. The relay and the destination employ multiple antennas for transmission and reception over the RF links while each mobile user has a single antenna. The RF links are full-duplex with respect to the FSO link and half-duplex with respect to each other, i.e., either the user-relay RF link or the relay-destination RF link is active. For this communication setup, we derive the optimal resource allocation policy for sharing the RF bandwidth resource between the RF links. Our numerical results show the effectiveness of the proposed communication architecture and resource allocation policy, and their superiority compared to existing schemes which employ only one type of backhaul link.


title: Bose-Einstein condensation and critical behavior of two-component bosonic gases

abstract: We study Bose-Einstein condensation (BEC) in three-dimensional two-component bosonic gases, characterizing the universal behaviors of the critical modes arising at the BEC transitions. For this purpose, we use field-theoretical (FT) renormalization-group (RG) methods and perform mean-field and numerical calculations. The FT RG analysis is based on the Landau-Ginzburg-Wilson Phi4 theory with two complex scalar fields which has the same symmetry as the bosonic system. In particular, for identical bosons with exchange Z_2,e symmetry, coupled by effective density-density interactions, the global symmetry is Z_2e X U(1) X U(1). At the BEC transition it may break into Z_2,e X Z_2 X Z_2 when both components condense simultaneously, or to U(1) X Z_2 when only one component condenses. This implies different universality classes for the corresponding critical behaviors. Numerical simulations of the two-component Bose-Hubbard model in the hard-core limit support the RG prediction: when both components condense simultaneously, the critical behavior is controlled by a decoupled XY fixed point, with unusual slowly-decaying scaling corrections arising from the on-site inter-species interaction.


title: FM-index for dummies

abstract: The FM-index is a celebrated compressed data structure for full-text pattern searching. After the first wave of interest in its theoretical developments, we can observe a surge of interest in practical FM-index variants in the last few years. These enhancements are often related to a bit-vector representation, augmented with an efficient rank-handling data structure. In this work, we propose a new, cache-friendly, implementation of the rank primitive and advocate for a very simple architecture of the FM-index, which trades compression ratio for speed. Experimental results show that our variants are 2--3 times faster than the fastest known ones, for the price of using typically 1.5--5 times more space.


title: Parsing Natural Language Sentences by Semi-supervised Methods

abstract: We present our work on semi-supervised parsing of natural language sentences, focusing on multi-source crosslingual transfer of delexicalized dependency parsers. We first evaluate the influence of treebank annotation styles on parsing performance, focusing on adposition attachment style. Then, we present KLcpos3, an empirical language similarity measure, designed and tuned for source parser weighting in multi-source delexicalized parser transfer. And finally, we introduce a novel resource combination method, based on interpolation of trained parser models.


title: Integration of differential graded manifolds

abstract: We consider the problem of integration of L_\infty-algebroids (differential graded manifolds) to L_\infty-groupoids. We first construct a "big" Kan simplicial manifold (Fr\'echet or Banach) whose points are solutions of a (generalized) Maurer-Cartan equation. The main analytic trick in our work is an integral transformation sending the solutions of the Maurer-Cartan equation to closed differential forms. Following ideas of Ezra Getzler we then impose a gauge condition which cuts out a finite-dimensional simplicial submanifold. This "smaller" simplicial manifold is (the nerve of) a local Lie k-groupoid. The gauge condition can be imposed only locally in the base of the L_\infty-algebroid; the resulting local k-groupoids glue up to a coherent homotopy, i.e. we get a homotopy coherent diagram from the nerve of a good cover of the base to the (simplicial) category of local Lie k-groupoids. Finally we show that a m-symplectic differential graded manifold integrates to a local m-symplectic Lie k-groupoid; globally these assemble to form an A_\infty-functor. As a particular case for m=2 we obtain integration of Courant algebroids.


title: Inference based method for realignment of single trial neuronal responses

abstract: Neuronal responses to sensory stimuli or neuronal responses related to behaviour are often extracted by averaging neuronal activity over large number of experimental trials. Such trial-averaging is carried out to reduce noise and to reduce the influence of other signals unrelated to the corresponding stimulus or behaviour. However, if the recorded neuronal responses are jittered in time with respect to the corresponding stimulus or behaviour, averaging over trials may distort the estimation of the underlying neuronal response. Here, we present an algorithm, named dTAV algorithm, for realigning the recorded neuronal activity to an arbitrary internal trigger. Using simulated data, we show that the dTAV algorithm can reduce the jitter of neuronal responses for signal to noise ratios of 0.2 or higher, i.e. in cases where the standard deviation of the noise is up to five times larger than the neuronal response amplitude. By removing the jitter and, therefore, enabling more accurate estimation of neuronal responses, the dTAV algorithm can improve analysis and interpretation of the responses and improve the accuracy of systems relaying on asynchronous detection of events from neuronal recordings.


title: Surfaces of globally $F$-regular type are of Fano type

abstract: We prove that a projective surface of globally $F$-regular type defined over a field of characteristic zero is of Fano type.


title: Radial velocity eclipse mapping of exoplanets

abstract: Planetary rotation rates and obliquities provide information regarding the history of planet formation, but have not yet been measured for evolved extrasolar planets. Here we investigate the theoretical and observational perspective of the Rossiter-McLauglin effect during secondary eclipse (RMse) ingress and egress for transiting exoplanets. Near secondary eclipse, when the planet passes behind the parent star, the star sequentially obscures light from the approaching and receding parts of the rotating planetary surface. The temporal block of light emerging from the approaching (blue-shifted) or receding (red-shifted) parts of the planet causes a temporal distortion in the planet's spectral line profiles resulting in an anomaly in the planet's radial velocity curve. We demonstrate that the shape and the ratio of the ingress-to-egress radial velocity amplitudes depends on the planetary rotational rate, axial tilt and impact factor (i.e. sky-projected planet spin-orbital alignment). In addition, line asymmetries originating from different layers in the atmosphere of the planet could provide information regarding zonal atmospheric winds and constraints on the hot spot shape for giant irradiated exoplanets. The effect is expected to be most-pronounced at near-infrared wavelengths, where the planet-to-star contrasts are large. We create synthetic near-infrared, high-dispersion spectroscopic data and demonstrate how the sky-projected spin axis orientation and equatorial velocity of the planet can be estimated. We conclude that the RMse effect could be a powerful method to measure exoplanet spins.


title: Performance Evaluation Of Qos In Wimax Network

abstract: OPNET Modeler is used to simulate the architecture and to calculate the performance criteria (i.e. throughput, delay and data dropped) that slightly concerned in network estimation. It is concluded that our models shorten the time quite a bit for obtaining the performance measures of an end-to-end delay as well as throughput can be used as an effective tool for this purpose.


title: Pre-explosion companion stars in Type Iax supernovae

abstract: Type Iax supernovae (SNe Iax) are proposed as one new sub-class of SNe Ia since they present observational properties that are sufficiently distinct from the bulk of SNe Ia. SNe Iax are the most common of all types of peculiar SNe by both number and rate, with an estimated rate of occurrence of about 5-30% of the total SN Ia rate. However, the progenitor systems of SNe Iax are still uncertain. Analyzing pre-explosion images at SN Iax positions provides a direct way to place strong constraints on the nature of progenitor systems of SNe Iax. In this work, we predict pre-explosion properties of binary companion stars in a variety of potential progenitor systems by performing detailed binary evolution calculations with the one-dimensional stellar evolution code STARS. This will be helpful for constraining progenitor systems of SNe Iax from their pre-explosion observations. With our binary evolution calculations, it is found that the non-degenerate helium (He) companion star to both a massive C/O WD (> 1.1 solar mass) and a hybrid C/O/Ne WD can provide an explanation for the observations of SN~2012Z-S1, but the hybrid WD+He star scenario is more favorable.


title: LightPanel: Active Mobile Platform for Dense 3D Modelling

abstract: In this paper we introduce a novel platform for dense 3D modelling. This platform is an active image acquisition setup assisted with a set of light sources and a distance sensor. The hardware setup is designed for being mounted on a mobile robot which is remotely driven to create accurate dense 3D models from out-of-reach objects. For this reason, the object is actively illuminated by the imaging setup and Photometric Stereo is used to recover the dense 3D model. The proposed image acquisition setup, called LightPanel, is described from design to calibration and discusses the practical challenges of using Photometric Stereo under uncontrolled lighting conditions.


title: Non-Zero Component Graph of a Finite Dimensional Vector Space

abstract: In this paper, we introduce a graph structure, called non-zero component graph on finite dimensional vector spaces. We show that the graph is connected and find its domination number and independence number. We also study the inter-relationship between vector space isomorphisms and graph isomorphisms and it is shown that two graphs are isomorphic if and only if the corresponding vector spaces are so. Finally, we determine the degree of each vertex in case the base field is finite.


title: Role of helicity for large- and small-scale turbulent fluctuations

abstract: The effect of the helicity on the dynamics of the turbulent flows is investigated. The aim is to disentangle the role of helicity in fixing the direction, the intensity and the fluctuations of the energy transfer across the inertial range of scales. We introduce an external parameter, $\alpha$, that controls the mismatch between the number of positive and negative helically polarized Fourier modes. We present the first set of direct numerical simulations of Navier-Stokes equations from the fully symmetrical case, $\alpha=0$, to the fully asymmetrical case, $\alpha=1$, when only helical modes of one sign survive. We found a singular dependency of the direction of the energy cascade on $\alpha$, measuring a positive forward flux as soon as only a few modes with different helical polarities are present. On the other hand, small-scales fluctuations are sensitive only to the degree of mode-reduction, leading to a vanishing intermittency already for values of $\alpha \sim 0.1$ and independently of the degree of mirror symmetry-breaking. Our findings suggest that intermittency is the result of a global mode-coupling in Fourier space.


title: Unforeseen high temperature and humidity stability of FeCl$_3$ intercalated few layer graphene

abstract: We present the first systematic study of the stability of the structure and electrical properties of FeCl$_3$ intercalated few-layer graphene to high levels of humidity and high temperature. Complementary experimental techniques such as electrical transport, high resolution transmission electron microscopy and Raman spectroscopy conclusively demonstrate the unforeseen stability of this transparent conductor to a relative humidity up to $100 \%$ at room temperature for 25 days, to a temperature up to $150\,^\circ$C in atmosphere and up to a temperature as high as $620\,^\circ$C in vacuum, that is more than twice higher than the temperature at which the intercalation is conducted. The stability of FeCl$_3$ intercalated few-layer graphene together with its unique values of low square resistance and high optical transparency, makes this material an attractive transparent conductor in future flexible electronic applications.


title: Learning with Clustering Structure

abstract: We study supervised learning problems using clustering constraints to impose structure on either features or samples, seeking to help both prediction and interpretation. The problem of clustering features arises naturally in text classification for instance, to reduce dimensionality by grouping words together and identify synonyms. The sample clustering problem on the other hand, applies to multiclass problems where we are allowed to make multiple predictions and the performance of the best answer is recorded. We derive a unified optimization formulation highlighting the common structure of these problems and produce algorithms whose core iteration complexity amounts to a k-means clustering step, which can be approximated efficiently. We extend these results to combine sparsity and clustering constraints, and develop a new projection algorithm on the set of clustered sparse vectors. We prove convergence of our algorithms on random instances, based on a union of subspaces interpretation of the clustering structure. Finally, we test the robustness of our methods on artificial data sets as well as real data extracted from movie reviews.


title: Generalized Niederer's transformation for quantum Pais-Uhlenbeck oscillator

abstract: We extend, to the quantum domain, the results obtained in [Nucl. Phys. B 885 (2014) 150] and [Phys. Lett. B 738 (2014) 405] concerning the Niederer's transformation for the Pais-Uhlenbeck oscillator. Namely, the quantum counterpart (an unitary operator) of the transformation which maps the free higher derivatives theory into the Pais-Uhlenbeck oscillator is constructed. Some consequences of this transformation are discussed.


title: Sequential Consistency and Concurrent Data Structures

abstract: Linearizability, the de facto correctness condition for concurrent data structure implementations, despite its intuitive appeal is known to lead to poor scalability. This disadvantage has led researchers to design scalable data structures satisfying consistency conditions weaker than linearizability. Despite this recent trend, sequential consistency as a strictly weaker consistency condition than linearizability has received no interest. In this paper, we investigate the applicability of sequential consistency as an alternative correctness criterion for concurrent data structure implementations. Our first finding formally justifies the reluctance in moving towards sequentially consistent data structures: Implementations in which each thread modifies only its thread-local variables are sequentially consistent for various standard data structures such as pools, queues and stacks. We also show that for almost all data structures, and the data structures we consider in this paper, it is possible to have sequentially consistent behaviors in which a designated thread does not synchronize at all. As a potential remedy, we define a hierarchy of quantitatively strengthened variants of sequential consistency such that the stronger the variant the more synchronization it enforces which at the limit is equal to that enforced by linearizability.


title: Nonlinear $q$-voter model with inflexible zealots

abstract: We study the dynamics of the nonlinear $q$-voter model with inflexible zealots in a finite well-mixed population. In this system, each individual supports one of two parties and is either a susceptible voter or an inflexible zealot. At each time step, a susceptible adopts the opinion of a neighbor if this belongs to a group of $q\geq 2$ neighbors all in the same state, whereas inflexible zealots never change their opinion. In the presence of zealots of both parties the model is characterized by a fluctuating stationary state and, below a zealotry density threshold, the distribution of opinions is bimodal. After a characteristic time, most susceptibles become supporters of the party having more zealots and the opinion distribution is asymmetric. When the number of zealots of both parties is the same, the opinion distribution is symmetric and, in the long run, susceptibles endlessly swing from the state where they all support one party to the opposite state. Above the zealotry density threshold, when there is an unequal number of zealots of each type, the probability distribution is single-peaked and non-Gaussian. These properties are investigated analytically and with stochastic simulations. We also study the mean time to reach a consensus when zealots support only one party.

categories: physics.soc-ph cond-mat.stat-mech cs.SI nlin.AO q-bio.PE


title: Subsampled terahertz data reconstruction based on spatio-temporal dictionary learning

abstract: In this paper, the problem of terahertz pulsed imaging and reconstruction is addressed. It is assumed that an incomplete (subsampled) three dimensional THz data set has been acquired and the aim is to recover all missing samples. A sparsity-inducing approach is proposed for this purpose. First, a simple interpolation is applied to incomplete noisy data. Then, we propose a spatio-temporal dictionary learning method to obtain an appropriate sparse representation of data based on a joint sparse recovery algorithm. Then, using the sparse coefficients and the learned dictionary, the 3D data is effectively denoised by minimizing a simple cost function. We consider two types of terahertz data to evaluate the performance of the proposed approach; THz data acquired for a model sample with clear layered structures (e.g., a T-shape plastic sheet buried in a polythene pellet), and pharmaceutical tablet data (with low spatial resolution). The achieved signal-to-noise-ratio for reconstruction of T-shape data, from only 5% observation was 19 dB. Moreover, the accuracies of obtained thickness and depth measurements for pharmaceutical tablet data after reconstruction from 10% observation were 98.8%, and 99.9%, respectively. These results, along with chemical mapping analysis, presented at the end of this paper, confirm the accuracy of the proposed method.


title: Surface code architecture for donors and dots in silicon with imprecise and nonuniform qubit couplings

abstract: A scaled quantum computer with donor spins in silicon would benefit from a viable semiconductor framework and a strong inherent decoupling of the qubits from the noisy environment. Coupling neighbouring spins via the natural exchange interaction according to current designs requires gate control structures with extremely small length scales. We present a silicon architecture where bismuth donors with long coherence times are coupled to electrons that can shuttle between adjacent quantum dots, thus relaxing the pitch requirements and allowing space between donors for classical control devices. An adiabatic SWAP operation within each donor/dot pair solves the scalability issues intrinsic to exchange-based two-qubit gates, as it does not rely on sub-nanometer precision in donor placement and is robust against noise in the control fields. We use this SWAP together with well established global microwave Rabi pulses and parallel electron shuttling to construct a surface code that needs minimal, feasible local control.


title: New Insights into Time Series Analysis - I - Correlated observations

abstract: The first step when investigating time varying data is the detection of any reliable changes in star brightness. This step is crucial to decreasing the processing time by reducing the number of sources processed in later, slower steps. Variability indices and their combinations have been used to identify variability patterns and to select non-stochastic variations, but the separation of true variables is hindered because of wavelength-correlated systematics of instrumental and atmospheric origin, or due to possible data reduction anomalies. The main aim is to review the current inventory of correlation variability indices and measure the efficiency for selecting non-stochastic variations in photometric data. The WFCAM Science Archive (WSA) were used to test the different indices. We improve the panchromatic variability indices and introduce a new set of variability indices for preselecting variable star candidates. Using the WFCAMCAL Variable Star Catalogue (WVSC1) we delimit the efficiency of each variability index. Moreover we test new insights about these indices to improve the efficiency of detection of time-series data dominated by correlated variations. We propose five new variability indices which display a high efficiency for the detection of variable stars. We determine the best way to select variable stars using these and the current tool inventory. In addition, we propose an universal analytical expression to select likely variables using the fraction-of-fluctuations on these indices (f_fluc). The f_fluc can be used as an universal way to analyse photometric data since it displays a only weak dependency with the instrument properties. The variability indices computed in this new approach allow us to reduce misclassification and these will be implemented in an automatic classifier which will be addressed in a forthcoming paper in this series.


title: Bayesian nonparametric inference for discovery probabilities: credible intervals and large sample asymptotics

abstract: Given a sample of size $n$ from a population of individuals belonging to different species with unknown proportions, a popular problem of practical interest consists in making inference on the probability $D_{n}(l)$ that the $(n+1)$-th draw coincides with a species with frequency $l$ in the sample, for any $l=0,1,\ldots,n$. This paper contributes to the methodology of Bayesian nonparametric inference for $D_{n}(l)$. Specifically, under the general framework of Gibbs-type priors we show how to derive credible intervals for a Bayesian nonparametric estimation of $D_{n}(l)$, and we investigate the large $n$ asymptotic behaviour of such an estimator. Of particular interest are special cases of our results obtained under the specification of the two parameter Poisson--Dirichlet prior and the normalized generalized Gamma prior, which are two of the most commonly used Gibbs-type priors. With respect to these two prior specifications, the proposed results are illustrated through a simulation study and a benchmark Expressed Sequence Tags dataset. To the best our knowledge, this illustration provides the first comparative study between the two parameter Poisson--Dirichlet prior and the normalized generalized Gamma prior in the context of Bayesian nonparemetric inference for $D_{n}(l)$.


title: Response of atmospheric ground level temperatures to changes in the total solar irradiance

abstract: The attribution of part of global warming to changes in the total solar irradiance (TSI) is an important topic which is not, yet, fully understood. Here, we examine the TSI induced temperature (T) changes on a variety of time scales, from one day to centuries and beyond, using a variety of assumptions. Also considered is the latitude variation of the T-TSI correlations, where it appears that over most of the globe there is a small increase in the sensitivity of temperature to TSI in time. It is found that the mean global sensitivity (alpha)measured in K(Wm-2)-1 varies from about 0.003 for 1 day, via 0.05 for 11-years to about 0.2 for decades to centuries. We conclude that mean global temperature changes related to TSI are not significant from 1975 onwards. Before 1975, when anthropogenic gases were less important, many of the temperature changes can be attributed to TSI variations. Over much longer periods of time, from Kyear to Myear, the TSI changes are more efficient still, the sensitivity alpha increasing ro about 0.5. Since 1975 the changes in mean global temperature are not due to TSI changes, but rather to the increasing atmospheric CO2 content.


title: Linear-Time Sequence Comparison Using Minimal Absent Words & Applications

abstract: Sequence comparison is a prerequisite to virtually all comparative genomic analyses. It is often realized by sequence alignment techniques, which are computationally expensive. This has led to increased research into alignment-free techniques, which are based on measures referring to the composition of sequences in terms of their constituent patterns. These measures, such as $q$-gram distance, are usually computed in time linear with respect to the length of the sequences. In this article, we focus on the complementary idea: how two sequences can be efficiently compared based on information that does not occur in the sequences. A word is an {\em absent word} of some sequence if it does not occur in the sequence. An absent word is {\em minimal} if all its proper factors occur in the sequence. Here we present the first linear-time and linear-space algorithm to compare two sequences by considering {\em all} their minimal absent words. In the process, we present results of combinatorial interest, and also extend the proposed techniques to compare circular sequences.


title: Wiener-Khinchin theorem for nonstationary scale-invariant processes

abstract: We derive a generalization of the Wiener-Khinchin theorem for nonstationary processes by introducing a time-dependent spectral density that is related to the time-averaged power. We use the nonstationary theorem to investigate aging processes with asymptotically scale-invariant correlation functions. As an application, we analyze the power spectrum of three paradigmatic models of anomalous diffusion: scaled Brownian motion, fractional Brownian motion and diffusion in a logarithmic potential. We moreover elucidate how the nonstationarity of generic subdiffusive processes is related to the infrared catastrophe of 1/f-noise.


title: A class of auxetic three-dimensional lattices

abstract: We propose a class of auxetic three-dimensional lattice structures. The elastic microstructure can be designed in order to have omni-directional Poisson's ratio arbitrarily close to the stability limit -1. The cubic behavior of the periodic system has been fully characterized; the minumum and maximum Poisson's ratio and the associated principal directions are given as a function of the microstructural parameters. The initial microstructure is then modified into a body centered-cubic system that can achieve a Poisson's ratio lower than -1 and that can also behave as an isotropic three-dimensional auxetic structure.


title: Gravitational waves induced by spinor fields

abstract: In realistic model-building, spinor fields with various masses are present. During inflation, spinor field may induce gravitational waves as a second order effect. In this paper, we calculate the contribution of single massive spinor field to the power spectrum of primordial gravitational wave by using retarded Green propagator. We find that the correction is scale-invariant and of order $H^4/M_P^4$ for arbitrary spinor mass $m_{\psi}$. Additionally, we also observe that when $m_\psi \gtrsim H$, the dependence of correction on $m_\psi/H$ is nontrivial.


title: The uncertainty principle in Clifford analysis

abstract: In this paper, we provide the Heisenberg's inequality and the Hardy's theorem for the Clifford-Fourier transform on $\mathbb{R}^m$.


title: A short proof of the Marchenko-Pastur theorem

abstract: We prove the Marchenko-Pastur theorem for random matrices with i.i.d. rows and a general dependence structure within the rows by a simple modification of the standard Cauchy-Stieltjes resolvent method.


title: Logical Inference by DNA Strand Algebra

abstract: Based on the concept of DNA strand displacement and DNA strand algebra we have developed a method for logical inference which is not based on silicon based computing. Essentially, it is a paradigm shift from silicon to carbon. In this paper we have considered the inference mechanism, viz. modus ponens, to draw conclusion from any observed fact. Thus, the present approach to logical inference based on DNA strand algebra is basically an attempt to develop expert system design in the domain of DNA computing. We have illustrated our methodology with respect to worked out example. Our methodology is very flexible for implementation of different expert system applications.


title: Decoupled Deep Neural Network for Semi-supervised Semantic Segmentation

abstract: We propose a novel deep neural network architecture for semi-supervised semantic segmentation using heterogeneous annotations. Contrary to existing approaches posing semantic segmentation as a single task of region-based classification, our algorithm decouples classification and segmentation, and learns a separate network for each task. In this architecture, labels associated with an image are identified by classification network, and binary segmentation is subsequently performed for each identified label in segmentation network. The decoupled architecture enables us to learn classification and segmentation networks separately based on the training data with image-level and pixel-wise class labels, respectively. It facilitates to reduce search space for segmentation effectively by exploiting class-specific activation maps obtained from bridging layers. Our algorithm shows outstanding performance compared to other semi-supervised approaches even with much less training images with strong annotations in PASCAL VOC dataset.


title: Dispersion and limit theorems for random walks associated with hypergeometric functions of type BC

abstract: The spherical functions of the noncompact Grassmann manifolds $G_{p,q}(\mathbb F)=G/K$ over the (skew-)fields $\mathbb F=\mathbb R, \mathbb C, \mathbb H$ with rank $q\ge1$ and dimension parameter $p>q$ can be described as Heckman-Opdam hypergeometric functions of type BC, where the double coset space $G//K$ is identified with the Weyl chamber $ C_q^B\subset \mathbb R^q$ of type B. The corresponding product formulas and Harish-Chandra integral representations were recently written down by M. R\"osler and the author in an explicit way such that both formulas can be extended analytically to all real parameters $p\in[2q-1,\infty[$, and that associated commutative convolution structures $*_p$ on $C_q^B$ exist. In this paper we introduce moment functions and the dispersion of probability measures on $C_q^B$ depending on $*_p$ and study these functions with the aid of this generalized integral representation. Moreover, we derive strong laws of large numbers and central limit theorems for associated time-homogeneous random walks on $(C_q^B, *_p)$ where the moment functions and the dispersion appear in order to determine drift vectors and covariance matrices of these limit laws explicitely. For integers $p$, all results have interpretations for $G$-invariant random walks on the Grassmannians $G/K$. Besides the BC-cases we also study the spaces $GL(q,\mathbb F)/U(q,\mathbb F)$, which are related to Weyl chambers of type A, and for which corresponding results hold. For the rank-one-case $q=1$, the results of this paper are well-known in the context of Jacobi-type hypergroups on $[0,\infty[$.


title: Aging Wiener-Khinchin Theorem

abstract: The Wiener-Khinchin theorem shows how the power spectrum of a stationary random signal $I(t)$ is related to its correlation function $\left\langle I(t)I(t+\tau)\right\rangle$. We consider non-stationary processes with the widely observed aging correlation function $\langle I(t) I(t+\tau) \rangle \sim t^\gamma \phi_{\rm EN}(\tau/t)$ and relate it to the sample spectrum. We formulate two aging Wiener-Khinchin theorems relating the power spectrum to the time and ensemble averaged correlation functions, discussing briefly the advantages of each. When the scaling function $\phi_{\rm EN}(x)$ exhibits a non-analytical behavior in the vicinity of its small argument we obtain aging $1/f$ type of spectrum. We demonstrate our results with three examples: blinking quantum dots, single file diffusion and Brownian motion in a logarithmic potential, showing that our approach is valid for a wide range of physical mechanisms.


title: Soft Modes, Localization and Two-Level Systems in Spin Glasses

abstract: In the three-dimensional Heisenberg spin glass in a random field we study the properties of the inherent structures that are obtained by an instantaneous cooling from infinite temperature. For not too large field the density of states $g(\omega)$ develops localized soft {\em plastic} modes and reaches zero as $\omega^4$ (for large fiels a gap appears). When we perturb the system adding a force along the softest mode one reaches very similar minima of the energy, separated by small barriers, that appear to be good candidates for classical two-level systems.


title: Network inference and community detection, based on covariance matrices, correlations and test statistics from arbitrary distributions

abstract: In this paper we propose methodology for inference of binary-valued adjacency matrices from various measures of the strength of association between pairs of network nodes, or more generally pairs of variables. This strength of association can be quantified by sample covariance and correlation matrices, and more generally by test-statistics and hypothesis test p-values from arbitrary distributions. Community detection methods such as block modelling typically require binary-valued adjacency matrices as a starting point. Hence, a main motivation for the methodology we propose is to obtain binary-valued adjacency matrices from such pairwise measures of strength of association between variables. The proposed methodology is applicable to large high-dimensional data-sets and is based on computationally efficient algorithms. We illustrate its utility in a range of contexts and data-sets.


title: ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

abstract: The systematic modelling of \emph{dynamic spatial systems} [9] is a key requirement in a wide range of application areas such as comonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning ---a crucial requirement within dynamic spatial systems-- based on Answer Set Programming Modulo Theories (ASPMT). ASPMT(QS) consists of a (qualitative) spatial representation module (QS) and a method for turning tight ASPMT instances into Sat Modulo Theories (SMT) instances in order to compute stable models by means of SMT solvers. We formalise and implement concepts of default spatial reasoning and spatial frame axioms using choice formulas. Spatial reasoning is performed by encoding spatial relations as systems of polynomial constraints, and solving via SMT with the theory of real nonlinear arithmetic. We empirically evaluate ASPMT(QS) in comparison with other prominent contemporary spatial reasoning systems. Our results show that ASPMT(QS) is the only existing system that is capable of reasoning about indirect spatial effects (i.e. addressing the ramification problem), and integrating geometric and qualitative spatial information within a non-monotonic spatial reasoning context.


title: XLES Part I: Introduction to Extended Large Eddy Simulation

abstract: Direct numerical simulation (DNS), mostly used in fundamental turbulence research, is limited to low turbulent intensities due the current and future computer resources. Standard turbulence models, like RaNS (Reynolds averaged Navier-Stokes) and LES (Large Eddy Simulation), are applied to flows in engineering, but they miss small scale effects, which are frequently of importance, see e.g. the whole area of reactive flows, flows with apparent Prandtl or Schmidt number effects, or even wall bounded flows. A recent alternative to these standard approaches is the one-dimensional turbulence (ODT) model, which is limited to 1D sub-domains. In two papers we will provide a generalized filter strategy, called XLES (extended LES), including a formal theory (part I) and one special approach in the XLES family of models, called ODTLES (in part II (see Glawe et al. (2015))). ODTLES uses an ODT sub-grid model to describe all turbulent scales not represented by XLES, which leaves the larger scales to be simulated in 3D. This allows a turbulence modeling approach with a 3D resolution mainly independent of the turbulent intensity. Thus ODTLES is able to compute highly turbulent flows in domains of moderate complexity affordably and including the full range of turbulent and diffusive scales. The convergence of XLES to DNS is shown and the unconventional XLES advection approach is investigated in basic numerical tests. In part II, highly turbulent channel and duct flow results are discussed and show the future potential of XLES and ODTLES.


title: Entropy Based Detection And Behavioral Analysis Of Hybrid Covert Channeling Secured Communication

abstract: Covert channels is a vital setup in the analysing the strength of security in a network.Covert Channel is illegitimate channelling over the secured channel and establishes a malicious conversation.The trapdoor set in such channels proliferates making covert channel sophisticated to detect their presence in network firewall.This is due to the intricate covert scheme that enables to build robust covert channel over the network.From an attacker's perspective this will ameliorate by placing multiple such trapdoors in different protocols in the rudimentary protocol stack. This leads to a unique scenario of Hybrid Covert Channel, where different covert channel trapdoors exist at the same instance of time in same layer of protocol stack. For detection agents to detect such event is complicated due to lack of knowledge over the different covert schemes. To improve the knowledge of the detection engine to detect the hybrid covert channel scenario it is required to explore all possible clandestine mediums used in the formation of such channels. This can be explored by different schemes available and their entropy impact on hybrid covert channel. The environment can be composed of resources and subject under at-tack and subject which have initiated the attack (attacker). The paper sets itself an objective to understand the different covert schemes and the attack scenario (modelling) and possibilities of covert mediums along with metric for detection.


title: General Mixed Multi-Soliton Solutions to One-Dimensional Multicomponent Yajima-Oikawa System

abstract: In this paper, we derive a general mixed (bright-dark) multi-soliton solution to a one-dimensional multicomponent Yajima-Oikawa (YO) system, i.e., the (M+1)-component YO system comprised of M-component short waves (SWs) and one-component long wave (LW) for all possible combinations of nonlinearity coefficients including positive, negative and mixed types. With the help of the KP-hierarchy reduction method, we firstly construct two types of general mixed N-soliton solution (two-bright-one-dark soliton and one-bright-two-dark one for SW components) to the (3+1)-component YO system in detail. Then by extending the corresponding analysis to the (M+1)-component YO system, a general mixed N-soliton solution in Gram determinant form is obtained. The expression of the mixed soliton solution also contains the general all bright and all dark N-soliton solution as special cases. Besides, the dynamical analysis shows that the inelastic collision can only take place among SW components when at least two SW components have bright solitons in mixed type soliton solution. Whereas, the dark solitons in SW components and the bright soliton in LW component always undergo usual elastic collision.


title: On relative weighted entropies with central moments weight functions

abstract: Following [1], the aim of this paper is to analyze the relative weighted entropy involving the central moments weight functions. We compare the standard relative entropy with the weighted case in two particular forms of Gaussian distributions. As an application, the weighted deviance information criterion is proposed.


title: Variance Reduction using Nonreversible Langevin Samplers

abstract: A standard approach to computing expectations with respect to a given target measure is to introduce an overdamped Langevin equation which is reversible with respect to the target distribution, and to approximate the expectation by a time-averaging estimator. As has been noted in recent papers, introducing an appropriately chosen nonreversible component to the dynamics is beneficial, both in terms of reducing the asymptotic variance and of speeding up convergence to the target distribution. In this paper we present a detailed study of the dependence of the asymptotic variance on the deviation from reversibility. Our theoretical findings are supported by numerical simulations.


title: Post-Reconstruction Deconvolution of PET Images by Total Generalized Variation Regularization

abstract: Improving the quality of positron emission tomography (PET) images, affected by low resolution and high level of noise, is a challenging task in nuclear medicine and radiotherapy. This work proposes a restoration method, achieved after tomographic reconstruction of the images and targeting clinical situations where raw data are often not accessible. Based on inverse problem methods, our contribution introduces the recently developed total generalized variation (TGV) norm to regularize PET image deconvolution. Moreover, we stabilize this procedure with additional image constraints such as positivity and photometry invariance. A criterion for updating and adjusting automatically the regularization parameter in case of Poisson noise is also presented. Experiments are conducted on both synthetic data and real patient images.


title: Characterization of equality in Zhong-Yang type (sharp) spectral gap estimates for metric measure spaces

abstract: We prove that a compact $RCD^*(0,N)$ (or equivalently $RCD(0,N)$) metric measure space, $\left(X, d, m \right)$, with $\diam X \le d$ and its first (nonzero) eigenvalue of the Laplacian (in the sense of Ambrosio-Gigli-Savar\'{e}) , $\lambda_1 = \frac{\pi^2}{d^2}$, has to be a circle or a line segment with diameter, $\pi$. This completely characterizes the equality in Zhong-Yang type sharp spectral gap estimates in the metric measure setting with Riemannian lower Ricci bounds. Among such spaces, are the familiar Riemannian manifolds with $\Ric \ge 0$, $(0,N)-$ Bakry-\'{E}mery manifolds, $(0,n)-$ Ricci limit spaces and non-negatively curved Alexandrov spaces. Inspired by Gigli's proof of the non-smooth splitting theorem, the key idea in the proof of our result, is to show that the underlying metric measure space (perhaps minus a closed subset of co-dimension, $1$) splits off an interval isometrically whenever there exists a weakly harmonic potential $f$ whose gradient flow trajectories are geodesics (i.e. multiples of $f$ are Kantorovich potentials at least for short time and on suitable domains). This is standard in Riemannian geometry due to the de Rham's decomposition theorem which is a key ingredient in the proof of the Cheeger-Gromoll's celebrated splitting theorem.


title: Conservation relation of nonclassicality and entanglement for Gaussian states in a beam-splitter

abstract: We study the relation between single-mode nonclassicality and two-mode entanglement in a beam-splitter. We show that not all of the nonclassicality (entanglement potential) is transformed into two-mode entanglement for an incident single-mode light. Some of the entanglement potential remains as single-mode nonclassicality in the two entangled output modes. Two-mode entanglement generated in the process can be equivalently quantified as the increase in the minimum uncertainty widths (or decrease in the squeezing) of the output states compared to the input states. We use the nonclassical depth and logarithmic negativity as single-mode nonclassicality and entanglement measures, respectively. We realize that a conservation relation between the two quantities can be adopted for Gaussian states, if one works in terms of uncertainty width. This conservation relation is extended to many sets of beam-splitters.


title: XLES Part II: From Extended Large Eddy Simulation to ODTLES

abstract: In turbulence research and flow applications, turbulence models like RaNS (Reynolds averaged Navier-Stokes) models and LES (Large Eddy Simulation) are used. Both models filter the governing flow equations. Thus a scale separation approach is introduced for modeling purposes with the large scales simulated using a numerical scheme while smaller scales are assumed to be less important and might be modeled more or less easily. Unfortunately small scales are frequently of big importance, e.g. in reactive flows, wall bounded flows, or flows with significant Prandtl or Schmidt number effects. Recent alternatives to these standard models are the class of models based on the one-dimensional turbulence (ODT) idea, like ODTLES. The ability of ODT to capture highly turbulent flows (recently up to $Re_\tau = 6\times 10^5$) allows ODTLES to realize 3D resolutions basically independent of the turbulent intensity. In two papers we provide a formal theory and application of an innovative modeling strategy for highly turbulent flows in domains of moderate complexity: In part I (see Glawe et al. (2015)) a new general filtering approach, called XLES (extended LES), is introduced. Contrary to LES, XLES is based on 2D filtering of the governing equations, whereby additional small scale terms are interpreted numerically. In this work a new ansatz for the ODTLES model is introduced as one special approach in the XLES family of models by incorporating the ODT model into XLES. The ODT model introduces microstructures not captured by the XLES filtered equations. To illustrate the ODTLES model capabilities, turbulent channel and duct flows up to friction Reynolds number $Re_\tau = 10000$ are studied.


title: Objective Reality of Pointer States

abstract: It is shown that the nature of quantum states that emerge from decoherence is such that one can {\em measure} the expectation value of any observable of the system in a single measurement. This can be done even when such pointer states are a priori unknown. The possibility of measuring the expectation value of any observable, without any prior knowledge of the state, points to the objective existence of such states.


title: Recognize Foreign Low-Frequency Words with Similar Pairs

abstract: Low-frequency words place a major challenge for automatic speech recognition (ASR). The probabilities of these words, which are often important name entities, are generally under-estimated by the language model (LM) due to their limited occurrences in the training data. Recently, we proposed a word-pair approach to deal with the problem, which borrows information of frequent words to enhance the probabilities of low-frequency words. This paper presents an extension to the word-pair method by involving multiple `predicting words' to produce better estimation for low-frequency words. We also employ this approach to deal with out-of-language words in the task of multi-lingual speech recognition.


title: Electronic properties of transition metal atoms on Cu$_2$N/Cu(100)

abstract: We study the nature of spin excitations of individual transition metal atoms (Ti, V, Cr, Mn, Fe, Co and Ni) deposited on a Cu$_2$N/Cu(100) surface using both spin-polarized density functional theory (DFT) and exact diagonalization of an Anderson model derived from DFT. We use DFT to compare the structural, electronic and magnetic properties of different transition metal adatoms on the surface. We find that the average occupation of the transition metal d shell, main contributor to the magnetic moment, is not quantized, in contrast with the quantized spin in the model Hamiltonians that successfully describe spin excitations in this system. In order to reconcile these two pictures, we build a multi-orbital Anderson Hamiltonian for the d shell of the transition metal hybridized with the p orbitals of the adjacent Nitrogen atoms, by means of maximally localized Wannier function representation of the DFT Hamiltonian. The exact solutions of this model have quantized total spin, without quantized charge at the d shell. We propose that the quantized spin of the models actually belongs to many-body states with two different charge configurations in the d shell, hybridized with the p orbital of the adjacent Nitrogen atoms. This scenario implies that the measured spin excitations are not fully localized at the transition metal.


title: A universal result for consecutive random subdivision of polygons

abstract: We consider consecutive random subdivision of polygons described as follows. Given an initial convex polygon with $d\ge 3$ edges, we choose a point at random on each edge, such that the proportions in which these points divide edges are i.i.d. copies of some random variable $\xi$. These new points form a new (smaller) polygon. By repeatedly implementing this procedure we obtain a sequence of random polygons. The aim of this paper is to show that under very mild non-degenerateness conditions on $\xi$, the shapes of these polygons eventually become "flat" The convergence rate to flatness is also investigated; in particular, in the case of triangles ($d=3$), we show how to calculate the exact value of the rate of convergence, connected to Lyapunov exponents. Using the theory of products of random matrices our paper greatly generalizes the results of Volkov (2013) which are achieved mostly by using ad hoc methods.


title: Tautochrone in the damped cycloidal pendulum

abstract: The tautochrone on a cycloid curve is usually considered without drag force. In this work, we investigate the motion of a damped cycloidal pendulum under presence of a drag force. Using the Lagrange formulation, and considering linear dependence with velocity for damping force, we found the dynamics of the system to remain tautochrone. This dictates the possibility for studying the tautochrone experimentally, e.g. the cycloidal pendulum in water or oil.


title: Localization of fremions in rotating electromagnetic fields

abstract: Parameters of localization are defined in the lab and rotating frame for solutions of the Dirac equation in the field of a traveling circularly polarized electromagnetic wave and constant magnetic field. The radius of localization is of the order of the electromagnetic wavelength and lesser.


title: Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning

abstract: Declarative spatial reasoning denotes the ability to (declaratively) specify and solve real-world problems related to geometric and qualitative spatial representation and reasoning within standard knowledge representation and reasoning (KR) based methods (e.g., logic programming and derivatives). One approach for encoding the semantics of spatial relations within a declarative programming framework is by systems of polynomial constraints. However, solving such constraints is computationally intractable in general (i.e. the theory of real-closed fields). We present a new algorithm, implemented within the declarative spatial reasoning system CLP(QS), that drastically improves the performance of deciding the consistency of spatial constraint graphs over conventional polynomial encodings. We develop pruning strategies founded on spatial symmetries that form equivalence classes (based on affine transformations) at the qualitative spatial level. Moreover, pruning strategies are themselves formalised as knowledge about the properties of space and spatial symmetries. We evaluate our algorithm using a range of benchmarks in the class of contact problems, and proofs in mereology and geometry. The empirical results show that CLP(QS) with knowledge-based spatial pruning outperforms conventional polynomial encodings by orders of magnitude, and can thus be applied to problems that are otherwise unsolvable in practice.


title: Quantum Effects on all Lagrangian Points and Prospects to Measure Them in the Earth-Moon System

abstract: The one-loop long distance quantum corrections to the Newtonian potential imply tiny but observable effects in the restricted three-body problem of celestial mechanics, i.e., both at the Lagrangian points of stable equilibrium and at those of unstable equilibrium the Newtonian values of planetoid's coordinates are changed by a few millimetres in the Earth-Moon system. First, we find that the equations governing the position of both noncollinear and collinear quantum libration points are algebraic fifth degree and ninth degree equations, respectively. Second, we discuss the prospects to measure, with the help of laser ranging, the above departure from the equilateral triangle picture, which is a challenging task. On the other hand, a modern version of the planetoid is the solar sail, and much progress has been made, in recent years, on the displaced periodic orbits of solar sails at all libration points. By taking into account the quantum corrections to the Newtonian potential, displaced periodic orbits of the solar sail at libration points are again found to exist.


title: Existence of positive solution for a nonlinear elliptic equation with saddle-like potential and nonlinearity with exponential critical growth in $\mathbb{R}^{2}$

abstract: In this paper, we use variational methods to prove the existence of positive solution for the following class of elliptic equation $$ -\epsilon^{2}\Delta{u}+V(z)u=f(u) \,\,\, \mbox{in} \,\,\, \mathbb{R}^{2}, $$ where $\epsilon >0$ is a positive parameter, $V$ is a saddle-like potential and $f$ has an exponential critical growth.


title: Sampling of bosonic qubits

abstract: The boson sampling problem has brought a lot of attention in the quantum information field because it is not efficiently solvable with a classical computer; nonetheless it can be implemented with linear optical interferometers with single-boson sources. Recently, we introduced a more general problem, the multi-boson correlation sampling problem, which allows us to take advantage of the multi-mode spectral distribution of the bosonic sources together with time-correlated measurements in order to achieve sampling not only over the output ports of the interferometer but also over the joint detection times. This problem was analyzed for both single-photon sources and thermal sources. In this work, we demonstrate that it is possible to use single qubit bosonic sources in order to sample not only over the described "space-time" degree of freedom but also over all the possible exponential number of multi-qubit output states.


title: Four-boson bound states from a functional renormalisation group

abstract: We use the functional renormalisation group to study the spectrum of three- and four-body states in bosonic systems around the unitary limit. Our effective action includes all energy-independent contact interactions in the four-atom sector and we introduce a running trimer field to eliminate couplings that involve the atom-atom-dimer channel. The results show qualitatively similar behaviour to those from exact approaches. The truncated action we use leads to overbinding of the two four-body states seen in those treatments. It also generates a third state, although only for a very narrow range of two-body scattering lengths.


title: Boosted Horizon of a Boosted Space-Time Geometry

abstract: We apply the ultrarelativistic boosting procedure to map the metric of Schwarzschild-de Sitter spacetime into a metric describing de Sitter spacetime plus a shock-wave singularity located on a null hypersurface, by exploiting the picture of the embedding of an hyperboloid in a five-dimensional Minkowski spacetime. After reverting to the usual four-dimensional formalism, we also solve the geodesic equation and evaluate the Riemann curvature tensor of the boosted Schwarzschild-de Sitter metric by means of numerical calculations, which make it possible to reach the ultrarelativistic regime gradually by letting the boost velocity approach the speed of light. Eventually, the analysis of the Kretschmann invariant (and of the geodesic equation) shows the global structure of space- time, as we demonstrate the presence of a "scalar curvature singularity" within a 3-sphere and find that it is also possible to define what we have called "boosted horizon", a sort of elastic wall where all particles are surprisingly pushed away. This seems to suggest that such "boosted geometries" are ruled by a sort of "antigravity effect" since all geodesics seem to refuse entering the "boosted horizon" and are "reflected" by it, even though their initial conditions are aimed at driving the particles towards the "boosted horizon" itself.


title: Neutrino Mass Matrices with Two Vanishing Elements/Cofactors

abstract: We study the phenomenological implications of the recent neutrino data for class B of two texture zeros and two vanishing cofactors for Majorana neutrinos in the flavor basis. We find that classes $B_{1}$($B_2$) of two texture zeros and classes $B_5$($B_6$) of two vanishing cofactors have similar predictions for neutrino oscillation parameters for the same mass hierarchy. Similar predictions for classes $B_3$($B_4$) of two texture zeros and classes $B_3$($B_4$) of two vanishing cofactors are expected. However, a preference for a shift in the quadrant of the Dirac-type CP violating phase($\delta$) in contrast to the earlier analysis has been predicted for a relatively large value of the reactor neutrino mixing angle($\theta_{13}$) for class B of two texture zeros and two vanishing cofactors for an inverted mass spectrum. No such shift in the quadrant of $\delta$ has been found for the normal mass spectrum.