title: Simple Scaling Relationships for Stellar Dynamos

abstract: This paper provides a brief overview of dynamo scaling relationships for the degree of equipartition between magnetic and kinetic energies. Three basic approaches are adopted to explore these scaling relationships, with a first look at two simple models: one assuming magnetostrophy and another that includes the effects of inertia. Next, a third scaling relationship is derived that utilizes the assumptions that the dynamo possesses two integral spatial scales and that it is driven by the balance of buoyancy work and ohmic dissipation as studied in Davidson 2013. The results of which are then compared to a suite of convective dynamo simulations that possess a fully convective domain with a weak density stratification and that captured the behavior of the resulting dynamo for a range of convective Rossby numbers (Augustson et al. 2016).


title: Electromagnetic Wave Propagation in GLHUA Invisible Sphere by GL No Scattering Full Wave Modeling and Inversion

abstract: Using GL no scattering full wave modeling and inversion, we create a GLHUA pre cloak electromagnetic (EM) material in the virtual sphere that makes the sphere is invisible. The invisible sphere is called GLHUA sphere. In GLHUA sphere, the Pre cloak relative parameter is not less than 1; the parameters and their derivative are continuous across the boundary r=R2 and the parameters are going to infinity at origin r=0. The phase velocity of EM wave in the sphere is less than light speed and going to zero at origin. The EM wave field excited in the outside of the sphere can not be disturbed by GLHUA sphere. By GL full wave method, we rigorously proved the incident EM wave field excited in outside of GLHUA sphere and propagation through the sphere without any scattering by the sphere, the total EM field in outside of the sphere equal to the incident wave field. Moreover, we prove that in GLHUA sphere with the pre cloak material, when r is going to origin, EM wave field propagation in GLHUA sphere is going to zero. We propose a $N$ dimensional MAXWELL equations. All copyright and patent of the GLHUA EM cloaks,GLHUA sphere and GL modeling and inversion methods are reserved by authors in GL Geophysical Laboratory.


title: Interacting dark energy model in the brane scenario: A Dynamical System Analysis

abstract: The present work is a second in the series of investigation of the background dynamics in brane cosmology when dark energy is coupled to dark matter by a suitable interaction. Here, dark matter is chosen in the form of perfect fluid with barotropic equation of state while a real scalar field with self interacting potential is chosen as dark energy. The scalar field potential is chosen as exponential or hyperbolic in nature and three different choices for the interaction between the dark species are considered. In the background of spatially flat, homogeneous and isotropic Friedmann-Robertson-Walker (FRW) brane model, the evolution equations are reduced to an autonomous system by suitable transformation of variables and a series of critical points are obtained for different interactions. By analyzing the critical points, we have found cosmologically viable model describing an early inflationary scenario to dark energy dominated era connecting through a matter dominated phase.


title: The break-up of free films pulled out of a pure liquid bath

abstract: In this paper, we derive a lubrication model to describe the non-stationary free liquid film that is created when a vertical frame is pulled out of a liquid reservoir at a given velocity. We here focus on the case of a pure liquid, corresponding to a stress-free boundary condition at the liquid/air interfaces of the film, and thus employ an essentially extensional description of the flow. Taking into account van der Waals interactions between the interfaces, we observe that film rupture is well-defined in time as well as in space, which allows us to compute the critical thickness and the film height at the moment of rupture. The theoretical predictions of the model turn out to be in quantitative agreement with experimental measurements of the break-up height of silicone oil films in a wide range of pulling velocities and supporting fiber diameters.


title: Automated capture and delivery of assistive task guidance with an eyewear computer: The GlaciAR system

abstract: In this paper we describe and evaluate a mixed reality system that aims to augment users in task guidance applications by combining automated and unsupervised information collection with minimally invasive video guides. The result is a self-contained system that we call GlaciAR (Glass-enabled Contextual Interactions for Augmented Reality), that operates by extracting contextual interactions from observing users performing actions. GlaciAR is able to i) automatically determine moments of relevance based on a head motion attention model, ii) automatically produce video guidance information, iii) trigger these video guides based on an object detection method, iv) learn without supervision from observing multiple users and v) operate fully on-board a current eyewear computer (Google Glass). We describe the components of GlaciAR together with evaluations on how users are able to use the system to achieve three tasks. We see this work as a first step toward the development of systems that aim to scale up the notoriously difficult authoring problem in guidance systems and where people's natural abilities are enhanced via minimally invasive visual guidance.


title: Applications of nuclear physics to a wider context: from molecules to stars passing through hypernuclei

abstract: In this contribution I will review some of the researches that are currently being pursued in Padova (mainly within the In:Theory and Strength projects), focusing on the interdisciplinary applications of nuclear theory to several other branches of physics, with the aim of contributing to show the centrality of nuclear theory in the Italian scientific scenario and the prominence of this fertile field in fostering new physics. In particular, I will talk about: i) the recent solution of the long-standing "electron screening puzzle" that settles a fundamental controversy in nuclear astrophysics between the outcome of lab experiments on earth and nuclear reactions happening in stars; the application of algebraic methods to very diverse systems such as: ii) the supramolecular complex H2@C60, i.e. a diatomic hydrogen molecule caged in a fullerene and iii) to the spectrum of hypernuclei, i.e. systems made of a Lambda particles trapped in (heavy) nuclei.


title: Synthesis of Methotrexate loaded Cerium fluoride nanoparticles with pH sensitive extended release coupled with Hyaluronic acid receptor with plausible theranostic capabilities for preclinical safety studies

abstract: A key challenge in drug delivery systems is the real time monitoring of delivered drug and subsequent response. Recent advancement in nanotechnology has enabled the design and preclinical implementation of novel drug delivery systems (DDS) with theranostic abilities. Herein, fluorescent cerium fluoride (CeF3) nanoparticles (nps) were synthesized and their surface modified with a coat of polyethylenimine (PEI). Thereafter, Methotrexate was conjugated upon it through glutaraldehyde crosslinking for a pH-sensitive release. This was followed by the addition of a Hyaluronic acid (HA) receptor via 1-Ethyl-3-(3-dimethylaminopropyl)-carbodiimide and N-hydroxysuccinimide (EDC-NHS) chemistry to achieve a possible active drug targeting system. The obtained drug delivery nano-agent retains and exhibits unique photo-luminescent properties attributed to the nps while exhibiting potential theranostic capabilities.


title: Continuous Transitive Maps on the Interval Revisited

abstract: In this note, continuous transitive maps $f$ on the interval $I$ are re-addressed, where $I$ denotes one of the intervals: $(-\infty, \infty)$, $(-\infty, a]$, $[b, \infty)$, $[a, b]$, where $a < b$ are real numbers. Such maps must have a fixed point, say $z$, in the interior of $I$. Some well-known properties of such maps are re-proved in a systematic way according to the following : (1) $f$ moves some point $c \ne z$ away from $z$, i.e., fo some point $c \ne z$, we have $f(c) \le c < z$ or $z < c \le f(c)$; (2) $f$ moves some point $\hat c \ne z$ towards but not "over" $z$, i.e., for some point $\hat c \ne z$, we have $\hat c < f(\hat c) < z$ or $z < f(\hat c) < \hat c$; and (3) $f$ moves all points $x \ne z$ to the other side of $z$, i.e., for all points $x \ne z$, we have $x < z \le f(x)$ and $f(x) \le x < z$. The proofs are arranged in such ways that they yield the same results. For example, Theorem 3 treats maps satisfying Condition (1) or Condition (2) while Theorem 4 treats separately maps satisfying Condition (1) and, Conditions (2) or (3). Characterizations of continuous bitransitive maps on an interval are re-addressed and a new chaotic property of continuous bitransitive maps is also introduced (Theorem 8, p.21). In this revision, we correct Corollary 9 and some errors in the proof of Theorem 8 and move the Appendix to a different paper [15] in which we generalize Theorem 8 for continuous weakly mixing (i.e., bitransitive) maps on intervals to continuous weakly mixing maps and continuous mixing maps on infinite separable locally compact metric spaces.


title: OmegaWINGS: spectroscopy in the outskirts of local clusters of galaxies

abstract: Studies of the properties of low-redshift cluster galaxies suffer, in general, from small spatial coverage of the cluster area. WINGS, the most homogeneous and complete study of galaxies in dense environments to date, obtained spectroscopic redshifts for 48 clusters at a median redshift of 0.05, out to an average distance of approximately 0.5 cluster virial radii. The WINGS photometric survey was recently extended by the VST survey OmegaWINGS to cover the outskirts of a subset of the original cluster sample. In this work, we present the spectroscopic follow-up of 33 of the 46 clusters of galaxies observed with VST over 1 square degree. The aim of this spectroscopic survey is to enlarge the number of cluster members and study the galaxy characteristics and the cluster dynamical properties out to large radii, reaching the virial radius and beyond. We used the AAOmega spectrograph at AAT to obtain fiber-integrated spectra covering the wavelength region between 3800 and 9000 A, with a spectral resolution of 3.5-6 A full width at half maximum (FWHM). Observations were performed using two different configurations and exposure times per cluster. We measured redshifts using both absorption and emission lines and used them to derive the cluster redshifts and velocity dispersions. We present here the redshift measurements for 17985 galaxies, 7497 of which turned out to be cluster members. The sample magnitude completeness is 80% at V=20. Thanks to the observing strategy, the radial completeness turned out to be relatively constant (90%) within the AAOmega field of view. The success rate in measuring redshifts is 95%, at all radii. We provide redshifts for the full sample of galaxies in OmegaWINGS clusters together with updated and robust cluster redshift and velocity dispersions. These data will be publicly accessible through the CDS and VO archives.


title: Dynamos and Differential Rotation: Advances at the Crossroads of Analytics, Numerics, and Observations

abstract: The recent observational, theoretical, and numerical progress made in understanding stellar magnetism is discussed. Particularly, this review will cover the physical processes thought to be at the origin of these magnetic fields and their variability, namely dynamo action arising from the interaction between convection, rotation, radiation and magnetic fields. Some care will be taken to cover recent analytical advances regarding the dynamics and magnetism of radiative interiors, including some thoughts on the role of a tachocline. Moreover, recent and rapidly advancing numerical modeling of convective dynamos will be discussed, looking at rapidly rotating convective systems, grand minima and scaling laws for magnetic field strength. These topics are linked to observations or their observational implications.


title: Order parameter analysis of synchronization transitions on star networks

abstract: Collective behaviors of populations of coupled oscillators have attracted much attention in recent years. In this paper, an order parameter approach is proposed to study the low-dimensional dynam- ical mechanism of collective synchronizations by adopting the star-topology of coupled oscillators as a prototype system. The order parameter equation of star-linked phase oscillators can be obtained in terms of the Watanabe-Strogatz transformation, Ott-Antonsen ansatz, and the ensemble order parameter approach. Different solutions of the order parameter equation correspond to diverse col- lective states, and different bifurcations reveal various transitions among these collective states. The properties of various transitions are revealed in the star-network model by using tools of nonlinear dynamics such as time reversibility analysis and linear stability analysis.


title: A Simple and Accurate Syntax-Agnostic Neural Model for Dependency-based Semantic Role Labeling

abstract: We introduce a simple and accurate neural model for dependency-based semantic role labeling. Our model predicts predicate-argument dependencies relying on states of a bidirectional LSTM encoder. The semantic role labeler achieves competitive performance on English, even without any kind of syntactic information and only using local inference. However, when automatically predicted part-of-speech tags are provided as input, it substantially outperforms all previous local models and approaches the best reported results on the English CoNLL-2009 dataset. We also consider Chinese, Czech and Spanish where our approach also achieves competitive results. Syntactic parsers are unreliable on out-of-domain data, so standard (i.e., syntactically-informed) SRL models are hindered when tested in this setting. Our syntax-agnostic model appears more robust, resulting in the best reported results on standard out-of-domain test sets.


title: Torsion in free centre-by-nilpotent-by-abelian Lie rings of rank 2

abstract: For $c\geq 2$, the free centre-by-(nilpotent-of-class-c-1)-by abelian Lie ring on a set $X$ is the quotient $L/[(L')^c,L]$ where $L$ is the free Lie ring on $X$, and $(L')^c$ denotes the $c$th term of the lower central series of the derived ideal $L'=L^2$ of $L$. In this paper we give a complete description of the torsion subgroup of its additive group in the case where $|X|=2$ and $c$ is a prime number.


title: Around power law for PageRank components in Buckley-Osthus model of web graph

abstract: In the paper we investigate power law for PageRank components for the Buckley-Osthus model for web graph. We compare different numerical methods for PageRank calculation. With the best method we do a lot of numerical experiments. These experiments confirm the hypothesis about power law. At the end we discuss real model of web-ranking based on the classical PageRank approach.


title: Confined Dense Circumstellar Material Surrounding a Regular Type II Supernova: The Unique Flash-Spectroscopy Event of SN 2013fs

abstract: With the advent of new wide-field, high-cadence optical transient surveys, our understanding of the diversity of core-collapse supernovae has grown tremendously in the last decade. However, the pre-supernova evolution of massive stars, that sets the physical backdrop to these violent events, is theoretically not well understood and difficult to probe observationally. Here we report the discovery of the supernova iPTF13dqy = SN 2013fs, a mere ~3 hr after explosion. Our rapid follow-up observations, which include multiwavelength photometry and extremely early (beginning at ~6 hr post-explosion) spectra, map the distribution of material in the immediate environment (<~ 10^15 cm) of the exploding star and establish that it was surrounded by circumstellar material (CSM) that was ejected during the final ~1 yr prior to explosion at a high rate, around 10^-3 solar masses per year. The complete disappearance of flash-ionised emission lines within the first several days requires that the dense CSM be confined to within <~ 10^15 cm, consistent with radio non-detections at 70--100 days. The observations indicate that iPTF13dqy was a regular Type II SN; thus, the finding that the probable red supergiant (RSG) progenitor of this common explosion ejected material at a highly elevated rate just prior to its demise suggests that pre-supernova instabilities may be common among exploding massive stars.


title: Empirical spectral distribution of a matrix under perturbation

abstract: We provide a perturbative expansion for the empirical spectral distribution of a Hermitian matrix with large size perturbed by a random matrix with small operator norm whose entries in the eigenvector basis of the first one are independent with a variance profile. We prove that, depending on the order of magnitude of the perturbation, several regimes can appear, called perturbative and semi-perturbative regimes. Depending on the regime, the leading terms of the expansion are either related to the one-dimensional Gaussian free field or to free probability theory.


title: Condensation to a strongly correlated dark fluid of two dimensional dipolar excitons

abstract: Recently we reported on the condensation of cold, electrostatically trapped dipolar excitons in GaAs bilayer heterostructure into a new, dense and dark collective phase. Here we analyze and discuss in detail the experimental findings and the emerging evident properties of this collective liquid-like phase. We show that the phase transition is characterized by a sharp increase of the number of non-emitting dipoles, by a clear contraction of the fluid spatial extent into the bottom of the parabolic-like trap, and by spectral narrowing. We extract the total density of the condensed phase which we find to be consistent with the expected density regime of a quantum liquid. We show that there are clear critical temperature and excitation power onsets for the phase transition and that as the power further increases above the critical power, the strong darkening is reduced down until no clear darkening is observed. At this point another transition appears which we interpret as a transition to a strongly repulsive yet correlated $e$-$h$ plasma. Based on the experimental findings, we suggest that the physical mechanism that may be responsible for the transition is a dynamical final-state stimulation of the dipolar excitons to their dark spin states, which have a long lifetime and thus support the observed sharp increase in density. Further experiments and modeling will hopefully be able to unambiguously identify the physical mechanism behind these recent observations.


title: Issues in data expansion in understanding criticality in biological systems

abstract: At the point of a second order phase transition also termed as a critical point, systems display long range order and their macroscopic behaviors are independent of the microscopic details making up the system. Due to these properties, it has long been speculated that biological systems that show similar behavior despite having very different microscopics, may be operating near a critical point. Recent methods in neuroscience are making it possible to explore whether criticality exists in neural networks. Despite being large in size, many data sets are still only a minute sample of the neural system and methods towards expanding these data sets have to be considered in order to study the existence of criticality. In this work we develop an analytical method of expanding a dataset to the large N limit so that statements about the critical nature of the data set could be made. We also show using a particular dataset analyzed computationally in literature that expanding data sets keeping the moments of the original data set need not lead to unique values of the critical temperature when the large N limit is considered analytically, despite the mirage of them appearing to do so when analyzed computationally. This suggests that not all available data sets from experiments are amenable for understanding the critically of the underlying system.


title: Feynman-Kac formulas for the ultra-violet renormalized Nelson model

abstract: We derive Feynman-Kac formulas for the ultra-violet renormalized Nelson Hamiltonian with a Kato decomposable external potential and for corresponding fiber Hamiltonians in the translation invariant case. We simultaneously treat massive and massless bosons. Furthermore, we present a non-perturbative construction of a renormalized Nelson Hamiltonian in the non-Fock representation defined as the generator of a corresponding Feynman-Kac semi-group. Our novel analysis of the vacuum expectation of the Feynman-Kac integrands shows that, if the external potential and the Pauli-principle are dropped, then the spectrum of the $N$-particle renormalized Nelson Hamiltonian is bounded from below by some negative universal constant times $g^4N^3$, for all values of the coupling constant $g$. A variational argument also yields an upper bound of the same form for large $g^2N$. We further verify that the semi-groups generated by the ultra-violet renormalized Nelson Hamiltonian and its non-Fock version are positivity improving with respect to a natural self-dual cone, if the Pauli principle is ignored. In another application we discuss continuity properties of elements in the range of the semi-group of the renormalized Nelson Hamiltonian.


title: FogGIS: Fog Computing for Geospatial Big Data Analytics

abstract: Cloud Geographic Information Systems (GIS) has emerged as a tool for analysis, processing and transmission of geospatial data. The Fog computing is a paradigm where Fog devices help to increase throughput and reduce latency at the edge of the client. This paper developed a Fog-based framework named Fog GIS for mining analytics from geospatial data. We built a prototype using Intel Edison, an embedded microprocessor. We validated the FogGIS by doing preliminary analysis. including compression, and overlay analysis. Results showed that Fog computing hold a great promise for analysis of geospatial data. We used several open source compression techniques for reducing the transmission to the cloud.


title: Is the quartic Diophantine equation $A^4+hB^4=C^4+hD^4$ solvable for any integer $h$?

abstract: The Diophantine equation $A^4+hB^4=C^4+hD^4$, where $h$ is a fixed arbitrary positive integer, has been investigated by some authors. Currently, by computer search, the integer solutions of this equation are known for all positive integer values of $h \le 5000$ and $A, B, C, D \le 100000$, except for some numbers, while a solution of this Diophantine equation is not known for arbitrary positive integer values of $h$. Gerardin and Piezas found solutions of this equation when $h$ is given by polynomials of degrees $5$ and $2$ respectively. Also Choudhry presented some new solutions of this equation when $h$ is given by polynomials of degrees $2$, $3$, and $4$. In this paper, by using the elliptic curves theory, we study this Diophantine equation, where $h$ is a fixed arbitrary rational number. We work out some solutions of the Diophantine equation for certain values of $h$, in particular for the values which has not already been found a solution in the range where $A, B, C, D \le 100000$ by computer search. Also we present some new parametric solutions for the Diophantine equation when $h$ is given by polynomials of degrees $3$, $4$. Finally We present two conjectures such that if one of them is correct, then we may solve the above Diophantine equation for arbitrary rational number $h$.


title: Some Remarks on the Hyperk\"ahler Reduction

abstract: We consider a hyperk\"ahler reduction and describe it via frame bundles. Tracing the connection through the various reductions, we recover the results of Gocho and Nakajima. In addition, we show that the fibers of such a reduction are necessarily totally geodesic. As an independent result, we describe O'Neill's submersion tensors on principal bundles.


title: On the Diophantine equations $ \sum_{i=1}^n a_ix_{i} ^6+\sum_{i=1}^m b_iy_{i} ^3= \sum_{i=1}^na_iX_{i}^6\pm\sum_{i=1}^m b_iY_{i} ^3 $

abstract: In this paper, the elliptic curves theory is used for solving the Diophantine equations $\sum_{i=1}^n a_ix_{i} ^6+\sum_{i=1}^m b_iy_{i} ^3= \sum_{i=1}^na_iX_{i}^6\pm\sum_{i=1}^m b_iY_{i} ^3$, where $n$, $m$ $\geq 1$ and $a_i$, $b_i$, are fixed arbitrary nonzero integers. By our method, we may find infinitely many nontrivial positive solutions and also obtain infinitely many nontrivial parametric solutions for the Diophantine equations for every arbitrary integers $n$, $m$, $a_i$ and $b_i$.


title: On the Diophantine equation $ \sum_{i=1}^n a_ix_{i} ^4= \sum_{j=1}^na_j y_{j}^4 $

abstract: In this paper, by using the elliptic curves theory, we study the fourth power Diophantine equation ${ \sum_{i=1}^n a_ix_{i} ^4= \sum_{j=1}^na_j y_{j}^4 }$, where $a_i$ and $n\geq3$ are fixed arbitrary integers. We solve the equation for some values of $a_i$ and $n=3,4$, and find nontrivial solutions for each case in natural numbers. By our method, we may find infinitely many nontrivial solutions for the above Diophantine equation and show, among the other things, that how some numbers can be written as sums of three, four, or more biquadrates in two different ways. While our method can be used for solving the equation for every $a_i$ and $n\geq 3$, this paper will be restricted to the examples where $n=3,4$. In the end, we explain how to solve it in general cases without giving concrete examples.


title: Energy-Efficient Data Collection in Clustered Wireless Sensor Networks employing Distributed DCT

abstract: In this paper, a energy-efficient data collection method is proposed in which an integration between Discrete Cosine Transform (DCT) matrix and clustering in wireless sensor networks (WSNs) is exploited.Based on the fact that sensory data in WSNs is often highly correlated and is suitable to be transformed in DCT domain, we propose that each cluster from the networks only sends a small number of large DCT transformed coefficients to the base-station (BS) for data collection in two common ways, either directly or in multi-hop routing. All sensory data from the sensor network can be recovered based on the large coefficients received at the BS. We further analyze and formulate the communication cost as the power consumption for transmitting data in such networks based on stochastic problems. Some common clustering algorithms are applied and compared to verify the analysis and simulation results. Both noise and noiseless environments for the proposed method are considered.


title: Doubly magic nuclei from Lattice QCD forces at $M_{PS}=$469 MeV/c$^2$

abstract: We perform ab initio self-consistent Green's function calculations of the closed shell nuclei $^{\rm 4}$He, $^{\rm 16}$O and $^{\rm 40}$Ca, based on two-nucleon potentials derived from Lattice QCD simulations, in the flavor SU(3) limit and at the pseudo-scalar meson mass of 469~MeV/c$^{\rm 2}$. The nucleon-nucleon interaction is obtained using the HAL QCD method and its short-distance repulsion is treated by means of ladder resummations outside the model space. Our results show that this approach diagonalises ultraviolet degrees of freedom correctly. Therefore, ground state energies can be obtained from infrared extrapolations even for the relatively hard potentials of HAL QCD. Comparing to previous Brueckner Hartree-Fock calculations, the total binding energies are sensibly improved by the full account of many-body correlations. The results suggest an interesting possible behaviour in which nuclei are unbound at very large pion masses and islands of stability appear at first around the traditional doubly-magic numbers when the pion mass is lowered toward its physical value. The calculated one-nucleon spectral distributions are qualitatively close to those of real nuclei even for the pseudo-scalar meson mass considered here.


title: Nuclear Structure Studies of Neutron-Rich Nuclei : Astrophysical Implications

abstract: It is proposed here to investigate three major properties of the nuclear force that influence the amplitude of shell gaps, the nuclear binding energies as well as the nuclear $\beta$-decay properties far from stability, that are all key ingredients for modeling the r-process nucleosynthesis. These properties are derived from experiments performed in different facilities worldwide, using several various state-of-the-art experimental techniques including transfer and knockout reactions. Expected consequences on the r process nucleosynthesis as well as on the stability of super heavy elements are discussed.


title: On the physical reality of overlooked open clusters

abstract: We present UBVRI and CT1T2 photometry for fifteen catalogued open clusters of relative high brightness and compact appearance. From these unprecedented photometric data sets, covering wavelengths from the blue up to the near-infrared, we performed a thorough assessment of their reality as stellar aggregates. We statistically assigned to each observed star within the object region a probability of being a fiducial feature of that field in terms of its local luminosity function, colour distribution and stellar density. Likewise, we used accurate parallaxes and proper motions measured by the Gaia satellite to help our decision on the open cluster reality. Ten catalogued aggregates did not show any hint of being real physical systems; three of them had been assumed to be open clusters in previous studies, though. On the other hand, we estimated reliable fundamental parameters for the remaining five studied objects, which were confirmed as real open clusters. They resulted to be clusters distributed in a wide age range, 8.0 < log(t yr-1) < 9.4, of solar metal content and placed between 2.0 and 5.5 kpc from the Sun. Their ages and metallicities are in agreement with the presently known picture of the spatial distribution of open clusters in the Galactic disc.


title: Reconstructing Subject-Specific Effect Maps

abstract: Predictive models allow subject-specific inference when analyzing disease related alterations in neuroimaging data. Given a subject's data, inference can be made at two levels: global, i.e. identifiying condition presence for the subject, and local, i.e. detecting condition effect on each individual measurement extracted from the subject's data. While global inference is widely used, local inference, which can be used to form subject-specific effect maps, is rarely used because existing models often yield noisy detections composed of dispersed isolated islands. In this article, we propose a reconstruction method, named RSM, to improve subject-specific detections of predictive modeling approaches and in particular, binary classifiers. RSM specifically aims to reduce noise due to sampling error associated with using a finite sample of examples to train classifiers. The proposed method is a wrapper-type algorithm that can be used with different binary classifiers in a diagnostic manner, i.e. without information on condition presence. Reconstruction is posed as a Maximum-A-Posteriori problem with a prior model whose parameters are estimated from training data in a classifier-specific fashion. Experimental evaluation is performed on synthetically generated data and data from the Alzheimer's Disease Neuroimaging Initiative (ADNI) database. Results on synthetic data demonstrate that using RSM yields higher detection accuracy compared to using models directly or with bootstrap averaging. Analyses on the ADNI dataset show that RSM can also improve correlation between subject-specific detections in cortical thickness data and non-imaging markers of Alzheimer's Disease (AD), such as the Mini Mental State Examination Score and Cerebrospinal Fluid amyloid-$\beta$ levels. Further reliability studies on the longitudinal ADNI dataset show improvement on detection reliability when RSM is used.


title: Observational signatures of linear warps in circumbinary discs

abstract: In recent years an increasing number of observational studies have hinted at the presence of warps in protoplanetary discs, however a general comprehensive description of observational diagnostics of warped discs was missing. We performed a series of 3D SPH hydrodynamic simulations and combined them with 3D radiative transfer calculations to study the observability of warps in circumbinary discs, whose plane is misaligned with respect to the orbital plane of the central binary. Our numerical hydrodynamic simulations confirm previous analytical results on the dependence of the warp structure on the viscosity and the initial misalignment between the binary and the disc. To study the observational signatures of warps we calculate images in the continuum at near-infrared and sub-millimetre wavelengths and in the pure rotational transition of CO in the sub-millimetre. Warped circumbinary discs show surface brightness asymmetry in near-infrared scattered light images as well as in optically thick gas lines at sub-millimetre wavelengths. The asymmetry is caused by self-shadowing of the disc by the inner warped regions, thus the strength of the asymmetry depends on the strength of the warp. The projected velocity field, derived from line observations, shows characteristic deviations, twists and a change in the slope of the rotation curve, from that of an unperturbed disc. In extreme cases even the direction of rotation appears to change in the disc inwards of a characteristic radius. The strength of the kinematical signatures of warps decreases with increasing inclination. The strength of all warp signatures decreases with decreasing viscosity.


title: List Decoding of Insertions and Deletions

abstract: List decoding of insertions and deletions in the Levenshtein metric is considered. The Levenshtein distance between two sequences is the minimum number of insertions and deletions needed to turn one of the sequences into the other. In this paper, a Johnson-like upper bound on the maximum list size when list decoding in the Levenshtein metric is derived. This bound depends only on the length and minimum Levenshtein distance of the code, the length of the received word, and the alphabet size. It shows that polynomial-time list decoding beyond half the Levenshtein distance is possible for many parameters. Further, we also prove a lower bound on list decoding of deletions with with the well-known binary Varshamov-Tenengolts (VT) codes which shows that the maximum list size grows exponentially with the number of deletions. Finally, an efficient list decoding algorithm for two insertions/deletions with VT codes is given. This decoder can be modified to a polynomial-time list decoder of any constant number of insertions/deletions.


title: Topological phase transformations and intrinsic size effects in ferroelectric nanoparticles

abstract: Composite materials comprised of ferroelectric nanoparticles in a dielectric matrix are being actively investigated for a variety of functional properties attractive for a wide range of novel electronic and energy harvesting devices. However, the dependence of these functionalities on shapes, sizes, orientation and mutual arrangement of ferroelectric particles is currently not fully understood. In this study, we utilize a time-dependent Ginzburg-Landau approach combined with coupled-physics finite-element-method based simulations to elucidate the behavior of polarization in isolated spherical PbTiO3 or BaTiO3 nanoparticles embedded in a dielectric medium, including air. The equilibrium polarization topology is strongly affected by particle diameter, as well as the choice of inclusion and matrix materials, with monodomain, vortex-like and multidomain patterns emerging for various combinations of size and materials parameters. This leads to radically different polarization vs electric field responses, resulting in highly tunable size-dependent dielectric properties that should be possible to observe experimentally. Our calculations show that there is a critical particle size below which ferroelectricity vanishes. For the PbTiO3 particle, this size is 2 and 3.4 nm, respectively, for high- and low-permittivity media. For the BaTiO3 particle, it is ~3.6 nm regardless of the medium dielectric strength.


title: A note on the relation between Hartnell's firefighter problem and growth of groups

abstract: The firefighter game problem on locally finite connected graphs was introduced by Bert Hartnell. The game on a graph $G$ can be described as follows: let $f_n$ be a sequence of positive integers; an initial fire starts at a finite set of vertices; at each (integer) time $n\geq 1$, $f_n$ vertices which are not on fire become protected, and then the fire spreads to all unprotected neighbors of vertices on fire; once a vertex is protected or is on fire, it remains so for all time intervals. The graph $G$ has the \emph{$f_n$-containment property} if every initial fire admits an strategy that protects $f_n$ vertices at time $n$ so that the set of vertices on fire is eventually constant. If the graph $G$ has the containment property for a sequence of the form $f_n=Cn^d$, then the graph is said to have \emph{polynomial containment}. In [5], it is shown that any locally finite graph with polynomial growth has polynomial containment; and it is remarked that the converse does not hold. That article also raised the question of whether the equivalence of polynomial growth and polynomial containment holds for Cayley graphs of finitely generated groups. In this short note, we remark how the equivalence holds for elementary amenable groups and for non-amenable groups from results in the literature.


title: Multiview Attenuation Estimation and Correction

abstract: Measuring attenuation coefficients is a fundamental problem that can be solved with diverse techniques such as X-ray or optical tomography and lidar. We propose a novel approach based on the observation of a sample from a few different angles. This principle can be used in existing devices such as lidar or various types of fluorescence microscopes. It is based on the resolution of a nonlinear inverse problem. We propose a specific computational approach to solve it and show the well-foundedness of the approach on simulated data. Some of the tools developed are of independent interest. In particular we propose an efficient method to correct attenuation defects, new robust solvers for the lidar equation as well as new efficient algorithms to compute the Lambert W function and the proximal operator of the logsumexp function in dimension 2.


title: Integral estimates of conformal derivatives and spectral properties of the Neumann-Laplacian

abstract: In this paper we study integral estimates of derivatives of conformal mappings $\varphi:\mathbb D\to\Omega$ of the unit disc $\mathbb D\subset\mathbb C$ onto bounded domains $\Omega$ that satisfy the Ahlfors condition. These integral estimates lead to estimates of constants in Sobolev-Poincar\'e inequalities, and by the Rayleigh quotient we obtain spectral estimates of the Neumann-Laplace operator in non-Lipschitz domains (quasidiscs) in terms of the (quasi)conformal geometry of the domains. Specifically, the lower estimates of the first non-trivial eigenvalues of the Neumann-Laplace operator in some fractal type domains (snowflakes) were obtained.


title: On Low Overlap Among Search Results of Academic Search Engines

abstract: Number of published scholarly articles is growing exponentially. To tackle this information overload, researchers are increasingly depending on niche academic search engines. Recent works have shown that two major general web search engines: Google and Bing, have high level of agreement in their top search results. In contrast, we show that various academic search engines have low degree of agreement among themselves. We performed experiments using 2500 queries over four academic search engines. We observe that overlap in search result sets of any pair of academic search engines is significantly low and in most of the cases the search result sets are mutually exclusive. We also discuss implications of this low overlap.


title: Local theta-regulators of an algebraic number -- p-adic Conjectures

abstract: Let K/Q be Galois and let eta in K* be such that the multiplicative Z[G]-module generated by eta is of Z-rank n.We define the local theta-regulators Delta\_p^theta(eta) in F\_p for the Q\_p-irreducible characters theta of G=Gal(K/Q). Let V\_theta be the theta-irreducible representation. A linear representation L^theta=delta.V\_theta is associated withDelta\_p^theta(eta) whose nullity is equivalent to delta$\ge$1 (Theorem 3.9). Each Delta\_p^theta(eta) yields Reg\_p^theta(eta) modulo p in the factorization $\prod$\_theta (Reg\_p^theta(eta))^phi(1) of Reg\_p^G(eta) := Reg\_p(eta)/p^[K : Q] (normalized p-adic regulator), where phi divides theta is absolutely irreducible.From the probability Prob(Delta\_p^theta(eta) = 0 \& L^theta=delta.V\_theta)$\le$p^(-f.delta^2) (f= residue degree of p in the field of values of phi) and the Borel--Cantelli heuristic, we conjecture that, for p large enough, Reg\_p^G(eta) is a p-adic unit or that p^phi(1) divides exactly Reg\_p^G(eta) (existence of a single theta with f=delta=1); this obstruction may be lifted assuming the existence of a binomial probability law (Sec. 7) confirmed through numerical studies (groups C\_3, C\_5, D\_6). This conjecture would imply that, for all p large enough, Fermat quotients of rationals andnormalized p-adic regulators are p-adic units (Theorem 1.1), whence the fact that number fields are p-rational for p\textgreater{}\textgreater{}0. We recall \S8.7 some deep cohomological results, which may strengthen such conjectures.


title: Stationary patterns of a diffusive predator-prey model with Crowley-Martin functional response

abstract: A diffusive predator-prey system with predator interference and Neumann boundary conditions is considered in this paper. We derive some results on the existence and nonexistence of nonconstant stationary solutions. It is shown that there exist no nonconstant stationary solutions when the effect of the predator interference is strong or the conversion rate of the predator is large, and nonconstant stationary solutions emerge when the diffusion rate of the predator is large.


title: Deep Learning for Logo Recognition

abstract: In this paper we propose a method for logo recognition using deep learning. Our recognition pipeline is composed of a logo region proposal followed by a Convolutional Neural Network (CNN) specifically trained for logo classification, even if they are not precisely localized. Experiments are carried out on the FlickrLogos-32 database, and we evaluate the effect on recognition performance of synthetic versus real data augmentation, and image pre-processing. Moreover, we systematically investigate the benefits of different training choices such as class-balancing, sample-weighting and explicit modeling the background class (i.e. no-logo regions). Experimental results confirm the feasibility of the proposed method, that outperforms the methods in the state of the art.


title: Geometric vulnerability of democratic institutions against lobbying: a sociophysics approach

abstract: An alternative voting scheme is proposed to fill the democratic gap between a president elected democratically via universal suffrage (deterministic outcome, the actual majority decides), and a president elected by one person randomly selected from the population (probabilistic outcome depending on respective supports). Moving from one voting agent to a group of r randomly selected voting agents reduces the probabilistic character of the outcome. Building r such groups, each one electing its president, to constitute a group of the groups with the r local presidents electing a higher-level president, does reduce further the outcome probabilistic aspect. Repeating the process n times leads to a n-level bottom-up pyramidal structure. The hierarchy top president is still elected with a probability but the distance from a deterministic outcome reduces quickly with increasing n. At a critical value n_{c,r} the outcome turns deterministic recovering the same result a universal suffrage would yield. The scheme yields several social advantages like the distribution of local power to the competing minority making the structure more resilient, yet preserving the presidency allocation to the actual majority. An area is produced around fifty percent for which the president is elected with an almost equiprobability slightly biased in favor of the actual majority. However, our results reveal the existence of a severe geometric vulnerability to lobbying. A tiny lobbying group is able to kill the democratic balance by seizing the presidency democratically. It is sufficient to complete a correlated distribution of a few agents at the hierarchy bottom. Moreover, at the present stage, identifying an actual killing distribution is not feasible, which sheds a disturbing light on the devastating effect geometric lobbying can have on democratic hierarchical institutions.


title: Generalized Almost Product Structures and Generalized CRF-structures

abstract: We give several equivalent characterizations of orthogonal subbundles of the generalized tangent bundle defined, up to B-field transform, by almost product and local product structures. We also introduce a pure spinor formalism for generalized CRF-structure and investigate the resulting decomposition of the de Rham operator. As applications we give a characterization of generalized complex manifolds that are locally the product of generalized complex factors and discuss infinitesimal deformations of generalized CRF-structures.


title: Constraint Satisfaction Problems over semilattice block Mal'tsev algebras

abstract: There are two well known types of algorithms for solving CSPs: local propagation and generating a basis of the solution space. For several years the focus of the CSP research has been on `hybrid' algorithms that somehow combine the two approaches. In this paper we present a new method of such hybridization that allows us to solve certain CSPs that has been out of reach for a quite a while. We consider these method on a fairly restricted class of CSPs given by algebras we will call semilattice block Mal'tsev. An algebra A is called semilattice block Mal'tsev if it has a binary operation f, a ternary operation m, and a congruence s such that the quotient A/s with operation $f$ is a semilattice, $f$ is a projection on every block of s, and every block of s is a Mal'tsev algebra with Mal'tsev operation m. We show that the constraint satisfaction problem over a semilattice block Mal'tsev algebra is solvable in polynomial time.


title: Turbulence velocity profiling for high sensitivity and vertical-resolution atmospheric characterization with Stereo-SCIDAR

abstract: As telescopes become larger, into the era of ~40 m Extremely Large Telescopes, the high- resolution vertical profile of the optical turbulence strength is critical for the validation, optimization and operation of optical systems. The velocity of atmospheric optical turbulence is an important parameter for several applications including astronomical adaptive optics systems. Here, we compare the vertical profile of the velocity of the atmospheric wind above La Palma by means of a comparison of Stereo-SCIntillation Detection And Ranging (Stereo- SCIDAR) with the Global Forecast System models and nearby balloon-borne radiosondes. We use these data to validate the automated optical turbulence velocity identification from the Stereo-SCIDAR instrument mounted on the 2.5 m Isaac Newton Telescope, La Palma. By comparing these data we infer that the turbulence velocity and the wind velocity are consistent and that the automated turbulence velocity identification of the Stereo-SCIDAR is precise. The turbulence velocities can be used to increase the sensitivity of the turbulence strength profiles, as weaker turbulence that may be misinterpreted as noise can be detected with a velocity vector. The turbulence velocities can also be used to increase the altitude resolution of a detected layer, as the altitude of the velocity vectors can be identified to a greater precision than the native resolution of the system. We also show examples of complex velocity structure within a turbulent layer caused by wind shear at the interface of atmospheric zones.


title: Stochastic recursions: between Kesten's and Grincevi\v{c}ius-Grey's assumptions

abstract: We study the stochastic recursion $X_n=\Psi_n(X_{n-1})$, where $(\Psi_n)_{n\geq 1}$ is a sequence of i.i.d. random Lipschitz mappings close to the random affine transformation $x\mapsto Ax+B$. We describe the tail behaviour of the stationary solution $X$ under the assumption that there exists $\alpha>0$ such that $\mathbb{E} |A|^{\alpha}=1$ and the tail of $B$ is regularly varying with index $-\alpha<0$. We also find the second order asymptotics of the tail of $X$ when $\Psi(x)=Ax+B$.


title: The left tail of renewal measure

abstract: In the paper, we find exact asymptotics of the left tail of renewal measure for a broad class of two-sided random walks. We only require that an exponential moment of the left tail is finite. Through a simple change of measure approach, our result turns out to be almost equivalent to Blackwell's Theorem.


title: Oscillator versus prefundamental representations II. Arbitrary higher ranks

abstract: We find the $\ell$-weights and the $\ell$-weight vectors for the highest $\ell$-weight $q$-oscillator representations of the positive Borel subalgebra of the quantum loop algebra $U_q(\mathcal L(\mathfrak{sl}_{l+1}))$ for arbitrary values of $l$. Having this, we establish the explicit relationship between the $q$-oscillator and prefundamental representations. Our consideration allows us to conclude that the prefundamental representations can be obtained by tensoring $q$-oscillator representations.


title: Greed is Good: Optimistic Algorithms for Bipartite-Graph Partial Coloring on Multicore Architectures

abstract: In parallel computing, a valid graph coloring yields a lock-free processing of the colored tasks, data points, etc., without expensive synchronization mechanisms. However, coloring is not free and the overhead can be significant. In particular, for the bipartite-graph partial coloring (BGPC) and distance-2 graph coloring (D2GC) problems, which have various use-cases within the scientific computing and numerical optimization domains, the coloring overhead can be in the order of minutes with a single thread for many real-life graphs. In this work, we propose parallel algorithms for bipartite-graph partial coloring on shared-memory architectures. Compared to the existing shared-memory BGPC algorithms, the proposed ones employ greedier and more optimistic techniques that yield a better parallel coloring performance. In particular, on 16 cores, the proposed algorithms perform more than 4x faster than their counterparts in the ColPack library which is, to the best of our knowledge, the only publicly-available coloring library for multicore architectures. In addition to BGPC, the proposed techniques are employed to devise parallel distance-2 graph coloring algorithms and similar performance improvements have been observed. Finally, we propose two costless balancing heuristics for BGPC that can reduce the skewness and imbalance on the cardinality of color sets (almost) for free. The heuristics can also be used for the D2GC problem and in general, they will probably yield a better color-based parallelization performance especially on many-core architectures.


title: Hot Stuff for One Year (HSOY) - A 583 million star proper motion catalogue derived from Gaia DR1 and PPMXL

abstract: Recently, the first installment of data from ESA's Gaia astrometric satellite mission (Gaia-DR1) was released, containing positions of more than 1 billion stars with unprecedented precision, as well as only proper motions and parallaxes, however only for a subset of 2 million objects. The second release, due in late 2017 or early 2018, will include those quantities for most objects. In order to provide a dataset that bridges the time gap between the Gaia-DR1 and Gaia-DR2 releases and partly remedies the lack of proper motions in the former, HSOY ("Hot Stuff for One Year") was created as a hybrid catalogue between Gaia-DR1 and ground-based astrometry, featuring proper motions (but no parallaxes) for a large fraction of the DR1 objects. While not attempting to compete with future Gaia releases in terms of data quality or number of objects, the aim of HSOY is to provide improved proper motions partly based on Gaia data, allowing some studies to be carried out just now or as pilot studies for later larger projects requiring higher-precision data. The HSOY catalogue was compiled using the positions taken from Gaia-DR1 combined with the input data from the PPMXL catalogue, employing the same weighted least-squares technique that was used to assemble the PPMXL catalogue itself. Results. This effort resulted in a four-parameter astrometric catalogue containing 583,000,000 objects, with Gaia-DR1 quality positions and proper motions with precisions from significantly less than 1 mas/yr to 5 mas/yr, depending on the object's brightness and location on the sky.


title: Analog Optical Computing by Half-Wavelength Slabs

abstract: A new approach to perform analog optical differentiation is presented using half-wavelength slabs. First, a half-wavelength dielectric slab is used to design a first order differentiator. The latter works properly for both major polarizations, in contrast to designs based on Brewster effect [Opt. Lett. 41, 3467 (2016)]. Inspired by the proposed dielectric differentiator, and by exploiting the unique features of graphene, we further design and demonstrate a reconfigurable and highly miniaturized differentiator using a half-wavelength plasmonic graphene film. To the best of our knowledge, our proposed graphene-based differentiator is even smaller than the most compact differentiator presented so far [Opt. Lett. 40, 5239 (2015)].


title: Smoothing Properties of Bilinear Operators and Leibniz-Type Rules in Lebesgue and Mixed Lebesgue Spaces

abstract: We prove that bilinear fractional integral operators and similar multipliers are smoothing in the sense that they improve the regularity of functions. We also treat bilinear singular multiplier operators which preserve regularity and obtain several Leibniz-type rules in the contexts of Lebesgue and mixed Lebesgue spaces.


title: Midgar: Detection of people through computer vision in the Internet of Things scenarios to improve the security in Smart Cities, Smart Towns, and Smart Homes

abstract: Could we use Computer Vision in the Internet of Things for using pictures as sensors? This is the principal hypothesis that we want to resolve. Currently, in order to create safety areas, cities, or homes, people use IP cameras. Nevertheless, this system needs people who watch the camera images, watch the recording after something occurred, or watch when the camera notifies them of any movement. These are the disadvantages. Furthermore, there are many Smart Cities and Smart Homes around the world. This is why we thought of using the idea of the Internet of Things to add a way of automating the use of IP cameras. In our case, we propose the analysis of pictures through Computer Vision to detect people in the analysed pictures. With this analysis, we are able to obtain if these pictures contain people and handle the pictures as if they were sensors with two possible states. Notwithstanding, Computer Vision is a very complicated field. This is why we needed a second hypothesis: Could we work with Computer Vision in the Internet of Things with a good accuracy to automate or semi-automate this kind of events? The demonstration of these hypotheses required a testing over our Computer Vision module to check the possibilities that we have to use this module in a possible real environment with a good accuracy. Our proposal, as a possible solution, is the analysis of entire sequence instead of isolated pictures for using pictures as sensors in the Internet of Things.


title: Existence of Traveling wave solutions to parabolic-elliptic-elliptic chemotaxis systems with logistic source

abstract: We study traveling wave solutions of the following chemotaxis systems,$$\begin{cases}u_t=\Delta u-\chi_1\nabla(u\nabla v_1)+\chi_2\nabla(u\nabla v_2)+u(a-bu),\ x\in\mathbb{R}^N\\ 0=\Delta v_1-\lambda_1v_1+\mu_1u,\ x\in\mathbb{R}^N,\\ 0=\Delta v_2-\lambda_2v_2+\mu_2u,\ x\in\mathbb{R}^N,\end{cases}$$where $u(x,t), v_1(x,t)$ and $v_2(x,t)$ represent the population densities of a mobile species, a chemoattractant, and a chemo-repulsion, respectively. In an earlier work, we proved that there is a constant $K\geq0$ such that if $b+\chi_2\mu_2>\chi_1\mu_1+K$, then the steady solution $(\frac{a}{b},\frac{a\mu_1}{b\lambda_1},\frac{a\mu_2}{b\lambda_2})$ is asymptotically stable with respect to positive perturbations. In this paper, we prove that if $b+\chi_2\mu_2>\chi_1\mu_1+K$, then there exist a number $c^*(\chi_1,\mu_1,\lambda_1,\chi_2,\mu_2,\lambda_2)\geq 2\sqrt a$ such that for every $c\in ( c^*(\chi_1,\mu_1,\lambda_1,\chi_2,\mu_2,\lambda_2) , \infty)$ and $\xi\in S^{N-1}$, the system has a traveling wave solution $(u,v_1,v_2)=(U(x\cdot\xi-ct),V_1(x\cdot\xi-ct),V_2(x\cdot\xi-ct))$ with speed $c$ connecting the constant solutions $(\frac{a}{b},\frac{a\mu_1}{b\lambda_1},\frac{a\mu_2}{b\lambda_2})$ and $(0,0,0)$, and it does not have such traveling wave solutions of speed less than $2\sqrt a$. Moreover we prove that$$\lim_{(\chi_1,\chi_2)\to(0^+,0^+)}c^{*}(\chi_1,\mu_1,\lambda_1,\chi_2,\mu_2,\lambda_2)=\begin{cases}2\sqrt a\ \text{if}\ a\leq \min\{\lambda_1, \lambda_2\}\\ \frac{a+\lambda_1}{\sqrt{\lambda_1}}\ \text{if}\ \lambda_1\leq \min\{a, \lambda_2\}\\ \frac{a+\lambda_2}{\sqrt{\lambda_2}}\ \text{if}\ \lambda_2\leq \min\{a, \lambda_1\}\end{cases},\forall \lambda_1,\lambda_2,\mu_1,\mu_2>0,$$and$$\lim_{x\to\infty}\frac{U(x)}{e^{-\sqrt{a}\mu x}}=1,$$ where $\mu$ solves $\sqrt a(\mu+\frac{1}{\mu})=c$ in the interval $(0 , \min\{1,\sqrt{\frac{\lambda_1}{a}},\sqrt{\frac{\lambda_2}{a}}\})$.


title: Top-k Querying of Unknown Values under Order Constraints (Extended Version)

abstract: Many practical scenarios make it necessary to evaluate top-k queries over data items with partially unknown values. This paper considers a setting where the values are taken from a numerical domain, and where some partial order constraints are given over known and unknown values: under these constraints, we assume that all possible worlds are equally likely. Our work is the first to propose a principled scheme to derive the value distributions and expected values of unknown items in this setting, with the goal of computing estimated top-k results by interpolating the unknown values from the known ones. We study the complexity of this general task, and show tight complexity bounds, proving that the problem is intractable, but can be tractably approximated. We then consider the case of tree-shaped partial orders, where we show a constructive PTIME solution. We also compare our problem setting to other top-k definitions on uncertain data.


title: Temperature dependence of the non-local spin Seebeck effect in YIG/Pt nanostructures

abstract: We study the transport of thermally excited non-equilibrium magnons through the ferrimagnetic insulator YIG using two electrically isolated Pt strips as injector and detector. The diffusing magnons induce a non- local inverse spin Hall voltage in the detector corresponding to the so-called non-local spin Seebeck effect (SSE). We measure the non-local SSE as a function of temperature and strip separation. In experiments at room temperature we observe a sign change of the non-local SSE voltage at a characteristic strip separation d0, in agreement with previous investigations. At lower temperatures however, we find a strong temperature dependence of d0. This suggests that both the angular momentum transfer across the YIG/Pt interface as well as the transport mechanism of the magnons in YIG as a function of temperature must be taken into account to describe the non-local spin Seebeck effect.


title: A generalized Cauchy-Lipschitz theorem in low regularity spaces

abstract: We prove well-posedness for some abstract differential equations of the first order. Our result covers the usual case of Lipschitz composition operators. It also contains the case of some integro-differential operators acting on spaces with low regularity indexes. The loss of derivatives induced by such operators has to be lower than one, in order to be dominated by the first order derivative involved in the problem.


title: Classical-to-quantum crossover in electron on-demand emission

abstract: Emergence of a classical particle trajectory concept from the full quantum description is a key feature of quantum mechanics. Recent progress of solid state on-demand sources has brought single-electron manipulation into the quantum regime, however, the quantum-to-classical crossover remains unprobed. Here we describe theoretically a mechanism for generating single-electron wave packets by tunneling from a driven localized state, and show how to tune the degree of quantumness. Applying our theory to existing on-demand sources, we demonstrate the feasibility of an experimental investigation of quantum-to-classical crossover for single electrons, and open up yet unexplored potential for few-electron quantum technology devices.


title: A Systematic Study of the Stochastic Gravitational-Wave Background due to Stellar Core Collapse

abstract: Stellar core collapse events are expected to produce gravitational waves via several mechanisms, most of which are not yet fully understood due to the current limitations in the numerical simulations of these events. In this paper, we begin with an empirical functional form that fits the gravitational-wave spectra from existing simulations of stellar core collapse and integrate over all collapse events in the universe to estimate the resulting stochastic gravitational-wave background. We then use a Gaussian functional form to separately fit and model a low-frequency peak in the core-collapse strain spectra, which likely occurs due to prompt convection. We systematically study the parameter space of both models, as well as the combined case, and investigate their detectability by upcoming gravitational-wave detectors, such as Advanced LIGO and Einstein Telescope. Assuming realistic formation rates for progenitors of core-collapse supernovae, our results indicate that both models are 2--4 orders of magnitude below the expected sensitivity of Advanced LIGO, and 1--2 orders of magnitude below that of the Einstein Telescope.


title: Active cluster crystals

abstract: We study the appearance and properties of cluster crystals (solids in which the unit cell is occupied by a cluster of particles) in a two-dimensional system of self-propelled active Brownian particles with repulsive interactions. Self-propulsion deforms the clusters by depleting particle density inside, and for large speeds it melts the crystal. Continuous field descriptions at several levels of approximation allow to identify the relevant physical mechanisms.


title: Coupled square well model and Fano-phase correspondence

abstract: This paper investigates the Fano-Feshbach resonance with a two-channel coupled-square-well model in both the frequency and time domains. This systems is shown to exhibit Fano lineshape profiles in the energy absorption spectrum. The associated time-dependent dipole response has a phase shift that has recently been understood to be related to the Fano lineshape asymmetric $q$ parameter by $\phi=2arg(q-i)$. The present study demonstrates that the phase-$q$ correspondence is general for any Fano resonance in the weak coupling regime, independent of the transition mechanism.


title: Distributed Algorithm for Collision Avoidance at Road Intersections in the Presence of Communication Failures

abstract: Vehicle-to-vehicle (V2V) communication is a crucial component of the future autonomous driving systems since it enables improved awareness of the surrounding environment, even without extensive processing of sensory information. However, V2V communication is prone to failures and delays, so a distributed fault-tolerant approach is required for safe and efficient transportation. In this paper, we focus on the intersection crossing (IC) problem with autonomous vehicles that cooperate via V2V communications, and propose a novel distributed IC algorithm that can handle an unknown number of communication failures. Our analysis shows that both safety and liveness requirements are satisfied in all realistic situations. We also found, based on a real data set, that the crossing delay is only slightly increased even in the presence of highly correlated failures.


title: Uniqueness of closed self-similar solutions to $\sigma_k^{\alpha}$-curvature flow

abstract: By adapting the test functions introduced by Choi-Daskaspoulos \cite{c-d} and Brendle-Choi-Daskaspoulos \cite{b-c-d} and exploring properties of the $k$-th elementary symmetric functions $\sigma_{k}$ intensively, we show that for any fixed $k$ with $1\leq k\leq n-1$, any strictly convex closed hypersurface in $\mathbb{R}^{n+1}$ satisfying $\sigma_{k}^{\alpha}=\langle X,\nu \rangle$, with $\alpha\geq \frac{1}{k}$, must be a round sphere. In fact, we prove a uniqueness result for any strictly convex closed hypersurface in $\mathbb{R}^{n+1}$ satisfying $F+C=\langle X,\nu \rangle$, where $F$ is a positive homogeneous smooth symmetric function of the principal curvatures and $C$ is a constant.


title: Bayesian log-Gaussian Cox process regression: applications to meta-analysis of neuroimaging working memory studies

abstract: Working memory (WM) was one of the first cognitive processes studied with functional magnetic resonance imaging. With now over 20 years of studies on WM, each study with tiny sample sizes, there is a need for meta-analysis to identify the brain regions that are consistently activated by WM tasks, and to understand the interstudy variation in those activations. However, current methods in the field cannot fully account for the spatial nature of neuroimaging meta-analysis data or the heterogeneity observed among WM studies. In this work, we propose a fully Bayesian random-effects metaregression model based on log-Gaussian Cox processes, which can be used for meta-analysis of neuroimaging studies. An efficient Markov chain Monte Carlo scheme for posterior simulations is presented which makes use of some recent advances in parallel computing using graphics processing units. Application of the proposed model to a real data set provides valuable insights regarding the function of the WM.


title: The decay constants ${\mathbf{f_D}}$ and ${\mathbf{f_{D_{s}}}}$ in the continuum limit of ${\mathbf{N_f=2+1}}$ domain wall lattice QCD

abstract: We present results for the decay constants of the $D$ and $D_s$ mesons computed in lattice QCD with $N_f=2+1$ dynamical flavours. The simulations are based on RBC/UKQCD's domain wall ensembles with both physical and unphysical light-quark masses and lattice spacings in the range 0.11--0.07$\,$fm. We employ the domain wall discretisation for all valence quarks. The results in the continuum limit are $f_D=208.7(2.8)_\mathrm{stat}\left(^{+2.1}_{-1.8}\right)_\mathrm{sys}\,\mathrm{MeV}$ and $f_{D_{s}}=246.4(1.3)_\mathrm{stat}\left(^{+1.3}_{-1.9}\right)_\mathrm{sys}\,\mathrm{MeV}$ and $f_{D_s}/f_D=1.1667(77)_\mathrm{stat}\left(^{+57}_{-43}\right)_\mathrm{sys}$. Using these results in a Standard Model analysis we compute the predictions $|V_{cd}|=0.2185(50)_\mathrm{exp}\left(^{+35}_{-37}\right)_\mathrm{lat}$ and $|V_{cs}|=1.011(16)_\mathrm{exp}\left(^{+4}_{-9}\right)_\mathrm{lat}$ for the CKM matrix elements.


title: On the four-loop static contribution to the gravitational interaction potential of two point masses

abstract: We compute a subset of three, velocity-independent four-loop (and fourth post-Newtonian) contributions to the harmonic-coordinates effective action of a gravitationally interacting system of two point-masses. We find that, after summing the three terms, the coefficient of the total contribution is rational, due to a remarkable cancellation between the various occurrences of $\pi^2$. This result, obtained by a classical field-theory calculation, corrects the recent effective-field-theory-based calculation by Foffa et al. [arXiv:1612.00482]. Besides showing the usefulness of the saddle-point approach to the evaluation of the effective action, and of x-space computations, our result brings a further confirmation of the current knowledge of the fourth post-Newtonian effective action. We also show how the use of the generalized Riesz formula [Phys. Rev. D 57, 7274 (1998)] allows one to analytically compute a certain four-loop scalar master integral (represented by a four-spoked wheel diagram) which was, so far, only numerically computed.


title: Economic information from Smart Meter: Nexus Between Demand Profile and Electricity Retail Price Between Demand Profile and Electricity Retail Price

abstract: In this paper, we demonstrate that a consumer's marginal system impact is only determined by their demand profile rather than their demand level. Demand profile clustering is identical to cluster consumers according to their marginal impacts on system costs. A profile-based uniform-rate price is economically efficient as real-time pricing. We develop a criteria system to evaluate the economic efficiency of an implemented retail price scheme in a distribution system by comparing profile clustering and daily-average clustering. Our criteria system can examine the extent of a retail price scheme's inefficiency even without information about the distribution system's daily cost structure. We analyze data from a real distribution system in China. In this system, targeting each consumer's high-impact days is more efficient than target high-impact consumers.


title: The Influence of Collaboration in Procurement Relationships

abstract: Supply Chain Management often requires independent organizations to work together to achieve shared objectives. This collaboration is necessary when coordinated actions benefit the group more than the uncoordinated efforts of individual firms. Despite the commonly reported benefits that can be gained in close relationships, recent research has indicated that collaboration attempts between purchasing firms and their suppliers have not been as widespread as anticipated. Using a survey of procurement professionals, this research investigates how the purchasing function utilizes collaboration in its supply chain relationships. Structural equation modeling is used to identify how information sharing, decision synchronization, incentive alignment, collaborative communication, and trust impact collaboration, as well as how collaboration impacts performance. Results from 86 survey responses indicate that firms are still not fully utilizing collaborative relationships.


title: Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints

abstract: This paper is concerned with rule-based programs that go wrong. The unwanted behavior of rule applications is non-termination or failure of a computation. We propose a static program analysis of the non-termination problem for recursion in the Constraint Handling Rules (CHR) language. CHR is an advanced concurrent declarative language involving constraint reasoning. It has been closely related to many other rule-based approaches, so the results are of a more general interest. In such languages, non-termination is due to infinite applications of recursive rules. Failure is due to accumulation of contradicting constraints during the computation. We give theorems with so-called misbehavior conditions for potential non-termination and failure (as well as definite termination) of linear direct recursive simplification rules. Logical relationships between the constraints in a recursive rule play a crucial role in this kind of program analysis. We think that our approach can be extended to other types of recursion and to a more general class of rules. Therefore this paper can serve as a basic reference and a starting point for further research.


title: Sur la d\'ecomposabilit\'e empirique des indicateurs de pauvret\'e

abstract: We study the empirical decomposition of poverty indicators. This property is very important and convenient in the context of the fight against poverty. Indeed, it makes it possible to put in place sectoral poverty reduction policies on the basis of a relevant stratification laid down at the outset. The simultaneous impacts of these policies, measured as reduction gains over the population as a whole, is then obtained by aggregating those obtained at each stratum by a relatively simple formula. It turns out that indicators as important as those of Sen and Shorrocks do not verify this property contrary to the elements of the class of Foster - Greer and Thorbecke. Given the data from the 1996 Senegalese Survey of Households (ESAM), we show that the lack of decomposability of these indicators on the income variable for several types of population stratification is practically zero , of the order of one to two per thousand. This makes it possible to use the decomposition of the Sen and Shorrocks indicators without any untoward consequences. An explanatory model of these results is presented for future research.


title: Improved self-energy correction method for accurate and efficient band structure calculation

abstract: The LDA-1/2 method for self-energy correction is a powerful tool for calculating accurate band structures of semiconductors, while keeping the computational load as low as standard LDA. Nevertheless, controversies remain regarding the arbitrariness of choice between (1/2)e and (1/4)e charge stripping from the atoms in group IV semiconductors, the incorrect direct band gap predicted for Ge, and inaccurate band structures for III-V semiconductors. Here we propose an improved method named shell-LDA-1/2 (shLDA-1/2 for short), which is based on a shell-like trimming function for the self-energy potential. With the new approach, we obtained accurate band structures for group IV, and for III-V and II-VI compound semiconductors. In particular, we reproduced the complete band structure of Ge in good agreement with experimental data. Moreover, we have defined clear rules for choosing when (1/2)e or (1/4)e charge ought to be stripped in covalent semiconductors, and for identifying materials for which shLDA-1/2 is expected to fail.


title: Tangle-tree duality: in graphs, matroids and beyond

abstract: We apply a recent duality theorem for tangles in abstract separation systems to derive tangle-type duality theorems for width-parameters in graphs and matroids. We further derive a duality theorem for the existence of clusters in large data sets. Our applications to graphs include new, tangle-type, duality theorems for tree-width, path-width, and tree-decompositions of small adhesion. Conversely, we show that carving width is dual to edge-tangles. For matroids we obtain a duality theorem for tree-width. Our results can be used to derive short proofs of all the classical duality theorems for width parameters in graph minor theory, such as path-width, tree-width, branch-width and rank-width.


title: On a reinterpretation of the Higgs field in supersymmetry and a proposal for new quarks

abstract: In the framework of supersymmetry, when $R$-parity is violated the Higgs doublet superfield $H_d$ can be interpreted as another doublet of leptons, since all of them have the same quantum numbers. Thus Higgs scalars are sleptons and Higgsinos are leptons. We argue that this interpretation can be extended to the second Higgs doublet superfield $H_u$, when right-handed neutrinos are assumed to exist. As a consequence, we advocate that this is the minimal construction where the two Higgs doublets can be interpreted in a natural way as a fourth family of lepton superfields, and that this is more satisfactory than the usual situation in supersymmetry where the Higgses are `disconnected' from the rest of the matter and do not have a three-fold replication. On the other hand, in analogy with the first three families where for each lepton representation there is a quark counterpart, we propose a possible extension of this minimal model including a vector-like quark doublet representation as part of the fourth family. We also discuss the phenomenology of the associated new quarks.


title: Coalescing random walk on unimodular graphs

abstract: Coalescing random walk on a unimodular random rooted graph for which the root has finite expected degree visits each site infinitely often almost surely. A corollary is that an opinion in the voter model on such graphs has infinite expected lifetime. Additionally, we deduce an adaptation of our main theorem that holds uniformly for coalescing random walk on finite random unimodular graphs with degree distribution stochastically dominated by a probability measure with finite mean.


title: Dynamics of Cosmological Perturbations and Reheating in the Anamorphic Universe

abstract: We discuss scalar-tensor realizations of the Anamorphic cosmological scenario recently proposed by Ijjas and Steinhardt. Through an analysis of the dynamics of cosmological perturbations we obtain constraints on the parameters of the model. We also study gravitational Parker particle production in the contracting Anamorphic phase and we compute the fraction between the energy density of created particles at the end of the phase and the background energy density. We find that, as in the case of inflation, a new mechanism is required to reheat the universe.


title: Radon transforms of twisted D-modules on partial flag varieties

abstract: In this paper we study intertwining functors (Radon transforms) for twisted D-modules on partial flag varieties and their relation to the representations of semisimple Lie algebras. We show that certain intertwining functors give equivalences of derived categories of twisted D-modules. This is a generalization of a result by Marastoni. We also show that these intertwining functors from dominant to antidominant direction are compatible with taking global sections.


title: An Anzellotti type pairing for divergence-measure fields and a notion of weakly super-$1$-harmonic functions

abstract: We study generalized products of divergence-measure fields and gradient measures of {\rm BV} functions. These products depend on the choice of a representative of the {\rm BV} function, and here we single out a specific choice which is suitable in order to define and investigate a notion of weak supersolutions for the $1$-Laplace operator.


title: Isochronicity and linearizability of a planar cubic system

abstract: In this paper we investigate the problem of linearizability for a family of cubic complex planar systems of ordinary differential equations. We give a classification of linearizable systems in the family obtaining conditions for linearizability in terms of parameters. We also discuss coexistence of isochronous centers in the systems.


title: Algebras of Information. A New and Extended Axiomatic Foundation

abstract: The basic idea behind information algebras is that information comes in pieces, each referring to a certain question, that these pieces can be combined or aggregated and that the part relating to a given question can be extracted. This algebraic structure can be given different forms. Questions were originally represented by subsets of variables. Pieces of information were then represented by valuations associated with the domains of variables. This leads to an algebraic structure called valuation algebras. The basic axiomatics of this algebraic structure was in essence proposed by Shenoy and Shafer. Here a much more general view of systems of questions is proposed and pieces of information are related to the elements of this system of questions. This leads to a new and extended system of axioms for information algebras. Classical valuation algebras are essentially a special case of this new system. A full discussion of the algebraic theory of this new information algebras is given, including local computation, duality between labeled and domain-free versions of the algebras, order of information, finiteness of information and approximation, compact and continuous information algebras. Finally a rather complete discussion of uncertain information, based on random maps into information algebras is presented. This is shown to represent a generalisation of classical Dempster-Shafer theory.


title: On the Non-Relativistic Groundstate Energy of Positronium in Relativistic Schroedinger Theory

abstract: The \emph{Relativistic Schr\"odinger Theory} (RST) has been set up as an alternative form of particle theory. This theory obeys the fundamental symmetries which are required to hold for any meaningful theory: gauge and Lorentz covariance (RST can be formulated even over a pseudo-Riemannian space-time). But the question is now whether obeying those fundamental symmetries is sufficient for the practical success of a theory, i.e. whether the predictions are in agreement with the experimental findings. In this context, the non-relativistic energy spectrum of positronium has been considered in some precedent papers. Here, the problem is that exact solutions of the RST eigenvalue system cannot be obtained and one has to resort to approximate solutions. For this purpose, a variational method is applied in the present paper which yields the RST groundstate energy smaller than the former results and than its conventional counterpart by some 10\%. Such deviations are also observed when one compares the approximate RST spectrum (up to quantum numbers $n\approx 100$) to the corresponding predictions of the conventional theory. It seems presently not possible to decide whether those deviations are due to RST itself or are merely due to the applied approximation technique. Thus the practical usefulness of RST must remain unclarified for the moment.


title: Towards parallelizable sampling-based Nonlinear Model Predictive Control

abstract: This paper proposes a new sampling-based nonlinear model predictive control (MPC) algorithm, with a bound on complexity quadratic in the prediction horizon N and linear in the number of samples. The idea of the proposed algorithm is to use the sequence of predicted inputs from the previous time step as a warm start, and to iteratively update this sequence by changing its elements one by one, starting from the last predicted input and ending with the first predicted input. This strategy, which resembles the dynamic programming principle, allows for parallelization up to a certain level and yields a suboptimal nonlinear MPC algorithm with guaranteed recursive feasibility, stability and improved cost function at every iteration, which is suitable for real-time implementation. The complexity of the algorithm per each time step in the prediction horizon depends only on the horizon, the number of samples and parallel threads, and it is independent of the measured system state. Comparisons with the fmincon nonlinear optimization solver on benchmark examples indicate that as the simulation time progresses, the proposed algorithm converges rapidly to the "optimal" solution, even when using a small number of samples.


title: Measures and integrals in conditional set theory

abstract: The aim of this article is to establish basic results in a conditional measure theory. The results are applied to prove that arbitrary kernels and conditional distributions are represented by measures in a conditional set theory. In particular, this extends the usual representation results for separable spaces.


title: Mathematical models describing the effects of different tax evasion behaviors

abstract: Microscopic models describing a whole of economic interactions in a closed society are considered. The presence of a tax system combined with a redistribution process is taken into account, as well as the occurrence of tax evasion. In particular, the existence is postulated, in relation to the level of evasion, of different individual taxpayer behaviors. The effects of the mentioned different behaviors on shape and features of the emerging income distribution profile are investigated qualitatively and quantitatively. Numerical solutions show that the Gini inequality index of the total population increases when the evasion level is higher, but does not depend significantly on the evasion spread. For fixed spread, the relative difference between the average incomes of the worst evaders and honest taxpayers increases approximately as a quadratic function of the evasion level.


title: Higgs physics at the Future Circular Collider

abstract: The unique Higgs physics opportunities accessible at the CERN Future Circular Collider (FCC) in electron-positron ($\sqrt{s}$ = 125, 240, 350 GeV) and proton-proton ($\sqrt{s}$ = 100 TeV) collisions, are succinctly summarized. Thanks to the large c.m. energies and enormous luminosities (plus clean experimental conditions in the $e^+e^-$ case), many open fundamental aspects of the Higgs sector of the Standard Model (SM) can be experimentally studied: (i) Measurement of the Higgs Yukawa couplings to the lightest fermions: u,d,s quarks (via rare exclusive $H\to(\rho,\omega,\phi)+\gamma$ decays); and e$^\pm$ (via resonant s-channel $e^+e^-\to H$ production); as well as neutrinos (within low-scale seesaw mass generation scenarios); (ii) Measurement of the Higgs potential (triple $\lambda_3$, and quartic $\lambda_4$ self-couplings), via double and triple Higgs boson production in pp collisions at 100 TeV; (iii) Searches for new physics coupled to the scalar SM sector at scales $\Lambda>$ 6 TeV, thanks to measurements of the Higgs boson couplings with subpercent uncertainties in $e^+e^-\to H\,Z$; and (iv) Searches for dark matter in Higgs-portal interactions, via high-precision measurements of on-shell and off-shell Higgs boson invisible decays. All these measurements are beyond the reach of pp collisions at the Large Hadron Collider. New higher-energy $e^+e^-$ and pp colliders such as FCC are thus required to complete our understanding of the full set of SM Higgs parameters, as well as to search for new scalar-coupled physics in the multi-TeV regime.


title: ChaLearn Looking at People: A Review of Events and Resources

abstract: This paper reviews the historic of ChaLearn Looking at People (LAP) events. We started in 2011 (with the release of the first Kinect device) to run challenges related to human action/activity and gesture recognition. Since then we have regularly organized events in a series of competitions covering all aspects of visual analysis of humans. So far we have organized more than 10 international challenges and events in this field. This paper reviews associated events, and introduces the ChaLearn LAP platform where public resources (including code, data and preprints of papers) related to the organized events are available. We also provide a discussion on perspectives of ChaLearn LAP activities.


title: Revisiting slope influence in turbulent bedload transport: consequences for vertical flow structure and transport rate scaling

abstract: Gravity-driven turbulent bedload transport has been extensively studied over the past century in regard to its importance for Earth surface processes such as natural riverbed morphological evolution. In the present contribution, the influence of the longitudinal channel inclination angle on gravity-driven turbulent bedload transport is studied in an idealised framework considering steady and uniform flow conditions. From an analytical analysis based on the two-phase continuous equations, it is shown that : (i) the classical slope correction of the critical Shields number is based on an erroneous formulation of the buoyancy force, (ii) the influence of the slope is not restricted to the critical Shields number but affects the whole transport formula and (iii) pressure-driven and gravity-driven turbulent bedload transport are not equivalent from the slope influence standpoint. Analysing further the granular flow driving mechanisms, the longitudinal slope is shown to not only influence the fluid bed shear stress and the resistance of the granular bed, but also to affect the fluid flow inside the granular bed - responsible for the transition from bedload transport to debris flow. The relative influence of these coupled mechanisms allows us to understand the evolution of the vertical structure of the granular flow and to predict the transport rate scaling law as a function of a rescaled Shields number. The theoretical analysis is validated with coupled fluid-discrete element simulations of idealised gravity-driven turbulent bedload transport, performed over a wide range of Shields number values, density ratios and channel inclination angles. In particular, all the data are shown to collapse onto a master curve when considering the sediment transport rate as a function of the proposed rescaled Shields number.


title: Deriving environmental contours from highest density regions

abstract: Environmental contours are an established method in probabilistic engineering design, especially in ocean engineering. The contours help engineers to select the environmental states which are appropriate for structural design calculations. Defining an environmental contour means enclosing a region in the variable space which corresponds to a certain return period. However, there are multiple definitions and methods to calculate an environmental contour for a given return period. Here, we analyze the established approaches and present a new concept which we call highest density contour (HDC). We define this environmental contour to enclose the highest density region (HDR) of a given probability density. This region occupies the smallest possible volume in the variable space among all regions with the same included probability, which is advantageous for engineering design. We perform the calculations using a numerical grid to discretize the original variable space into a finite number of grid cells. Each cell's probability is estimated and used for numerical integration. The proposed method can be applied to any number of dimensions, i.e. number of different variables in the joint probability model. To put the highest density contour method in context, we compare it to the established inverse first-order reliability method (IFORM) and show that for common probability distributions the two methods yield similarly shaped contours. In multimodal probability distributions, however, where IFORM leads to contours which are dificult to interpret, the presented method still generates clearly defined contours.


title: On The Transport Theory of Classical Gases in Rindler Space

abstract: We have obtained the Vlasov equation and Boltzmann kinetic equation using Poisson bracket (classical Hamilton equation) and Rindler Hamiltonian. Further, we treat the whole Universe as a statistical system with galaxies as the point particle constituents in large scale structure. Since the collisions of galaxies are very rare phenomena, we assume that the gas with the constituents as point galaxies satisfy Vlasov equation. Considering the astrophysical catastrophic event, e.g., the creation of gravity waves by the collisions of black holes, and further assuming that when such a wave passes through the gas causes a kind of polarization of mass distribution. This polarization of mass distribution will further gives rise to gravitational permittivity or dielectric constant. We have shown that the low frequency gravity waves will be absorbed, whereas the high frequency part will pass through the gas of point galaxies. It is further noticed that the region in space with extremely high gravitational field is transparent to gravity waves. In the other part of this work, using the Boltzmann equation and replacing the collision term by the relaxation time approximation and further assuming a small deviation from the equilibrium configuration of the stellar / galactic plasma in Rindler space, we have obtained the kinetic coefficients. For the first time we have derived an expression for the coefficient of gravitational flow. It has further been shown that in presence of strong gravitational field all the kinetic coefficients become vanishingly small.


title: Constraint Handling Rules - What Else?

abstract: Constraint Handling Rules (CHR) is both an effective concurrent declarative constraint-based programming language and a versatile computational formalism. While conceptually simple, CHR is distinguished by a remarkable combination of desirable features: - semantic foundation in classical and linear logic, - effective and efficient sequential and parallel execution model - guaranteed properties like the anytime online algorithm properties - powerful analysis methods for deciding essential program properties. This overview of CHR research and applications is by no complete. It concentrates on the years since 2000. Up-to-date information on CHR can be found at the CHR web-site www.constraint-handling-rules.org, including the slides of the keynote talk associated with this article, an extensive bibliography, online demo versions and free downloads of the language.


title: WiLiTV: A Low-Cost Wireless Framework for Live TV Services

abstract: With the evolution of HDTV and Ultra HDTV, the bandwidth requirement for IP-based TV content is rapidly increasing. Consumers demand uninterrupted service with a high Quality of Experience (QoE). Service providers are constantly trying to differentiate themselves by innovating new ways of distributing content more efficiently with lower cost and higher penetration. In this work, we propose a cost-efficient wireless framework (WiLiTV) for delivering live TV services, consisting of a mix of wireless access technologies (e.g. Satellite, WiFi and LTE overlay links). In the proposed architecture, live TV content is injected into the network at a few residential locations using satellite dishes. The content is then further distributed to other homes using a house-to-house WiFi network or via an overlay LTE network. Our problem is to construct an optimal TV distribution network with the minimum number of satellite injection points, while preserving the highest QoE, for different neighborhood densities. We evaluate the framework using realistic time-varying demand patterns and a diverse set of home location data. Our study demonstrates that the architecture requires 75 - 90% fewer satellite injection points, compared to traditional architectures. Furthermore, we show that most cost savings can be obtained using simple and practical relay routing solutions.


title: Anomalous Brownian motion via linear Fokker-Planck equations

abstract: According to a traditional point of view Boltzmann entropy is intimately related to linear Fokker-Planck equations (Smoluchowski, Klein-Kramers, and Rayleigh equations) that describe a well-known nonequilibrium phenomenon: (normal) Brownian motion of a particle immersed in a thermal bath. Nevertheless, current researches have claimed that non-Boltzmann entropies (Tsallis and Renyi entropies, for instance) may give rise to anomalous Brownian motion through nonlinear Fokker-Planck equations. The novelty of the present article is to show that anomalous diffusion could be investigated within the framework of non-Markovian linear Fokker-Planck equations. So on the ground of this non-Markovian approach to Brownian motion, we find out anomalous diffusion characterized by the mean square displacement of a free particle and a harmonic oscillator in absence of inertial force as well as the mean square momentum of a free particle in presence of inertial force.


title: A simple holographic scenario for gapped quenches

abstract: We construct gravitational backgrounds dual to a family of field theories parameterized by a relevant coupling. They combine a non-trivial scalar field profile with a naked singularity. The naked singularity is necessary to preserve Lorentz invariance along the boundary directions. The singularity is however excised by introducing an infrared cutoff in the geometry. The holographic dictionary associated to the infrared boundary is developed. We implement quenches between two different values of the coupling. This requires considering time dependent boundary conditions for the scalar field both at the AdS boundary and the infrared wall.


title: Dynamic capillary phenomena using Incompressible SPH

abstract: Grid based fluid simulation methods are not able to monolithically capture complex non-linear dynamics like the rupture of a dynamic liquid bridge between freely colliding solids, an exemplary scenario of capillary forces competing with inertial forces in engineering applications. We introduce a new Incompressible Smoothed Particle Hydrodynamics method for simulating three dimensional fluid-solid interaction flows with capillary (wetting and surface tension) effects at free surfaces. This meshless approach presents significant advantages over grid based approaches in terms of being monolithic and in handling interaction with free solids. The method is validated for accuracy and stability in dynamic scenarios involving surface tension and wetting. We then present three dimensional simulations of crown forming instability following the splash of a liquid drop, and the rupture of a liquid bridge between two colliding solid spheres, to show the method's advantages in the study of dynamic micromechanical phenomena involving capillary flows.


title: A Crevice on the Crane Beach: Finite-Degree Predicates

abstract: First-order logic (FO) over words is shown to be equiexpressive with FO equipped with a restricted set of numerical predicates, namely the order, a binary predicate MSB$_0$, and the finite-degree predicates: FO[Arb] = FO[<, MSB$_0$, Fin]. The Crane Beach Property (CBP), introduced more than a decade ago, is true of a logic if all the expressible languages admitting a neutral letter are regular. Although it is known that FO[Arb] does not have the CBP, it is shown here that the (strong form of the) CBP holds for both FO[<, Fin] and FO[<, MSB$_0$]. Thus FO[<, Fin] exhibits a form of locality and the CBP, and can still express a wide variety of languages, while being one simple predicate away from the expressive power of FO[Arb]. The counting ability of FO[<, Fin] is studied as an application.